Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts and Monographs in Symbolic Computation)
Contributors: Bob F. Caviness (Editor); Jeremy R. Johnson (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 4, 2004
Language: eng
Format: Paperback
Number of pages: 431
ISBN-13: 9783211827949
Subjects: Algebraic geometry; Computer aided design (CAD); Congresses; Algebra; Algorithms (Computer Programming); Mathematics; Science/Mathematics; Data processing; Algebra - General; Computer Science; Algebraic Computation; Computers / Computer Science; Symbolic Computation; Symbolisches Rechnen; Algorithms; Decomposition method