Overview
- The book serves as an introduction and survey of the field of algorithmic quantifier elimination
Part of the book series: Texts & Monographs in Symbolic Computation (TEXTSMONOGR)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (20 papers)
Keywords
About this book
Reviews
Editors and Affiliations
Bibliographic Information
Book Title: Quantifier Elimination and Cylindrical Algebraic Decomposition
Editors: Bob F. Caviness, Jeremy R. Johnson
Series Title: Texts & Monographs in Symbolic Computation
DOI: https://doi.org/10.1007/978-3-7091-9459-1
Publisher: Springer Vienna
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag/Wien 1998
Softcover ISBN: 978-3-211-82794-9Published: 16 April 1998
eBook ISBN: 978-3-7091-9459-1Published: 06 December 2012
Series ISSN: 0943-853X
Series E-ISSN: 2197-8409
Edition Number: 1
Number of Pages: XIX, 431
Number of Illustrations: 16 b/w illustrations
Topics: Symbolic and Algebraic Manipulation, Math Applications in Computer Science, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Algebraic Geometry, Algorithms