Quantifier elimination for real closed fields by cylindrical algebraic decompostion

other

Author(s): George E. Collins

Publication date (Online): May 25 2005

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 1975

Publication date (Online): May 25 2005

Pages: 134-183

DOI: 10.1007/3-540-07407-4_17

SO-VID: 3bfbb95b-5360-4adc-a5a3-210a9df97ad4

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 117

On the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifolds
Authors: Jacob Schwartz, Micha Sharir
Combinatorial complexity bounds for arrangements of curves and spheres
Authors: Kenneth L. Clarkson, Herbert Edelsbrunner, Leonidas J Guibas …
Termination of rewriting
Authors: Nachum Dershowitz

See all cited by