Affordable Access

A Preprocessor Based on Clause Normal Forms and Virtual Substitutions to Parallelize Cylindrical Algebraic Decomposition

Authors
Type
Preprint
Publication Date
Submission Date
Identifiers
arXiv ID: 1112.5352
Source
arXiv
External links

Abstract

Statistics

Seen <100 times