A cellular decomposition algorithm for semialgebraic sets
- 1 January 1979
- book chapter
- Published by Springer Nature
- p. 301-315
- https://doi.org/10.1007/3-540-09519-5_82
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic DecompositionACM SIGSAM Bulletin, 1976
- Quantifier elimination for real closed fields by cylindrical algebraic decompostionPublished by Springer Nature ,1975
- Triangulations of algebraic setsProceedings of Symposia in Pure Mathematics, 1975
- Topologische Begründung des Kalküls der abzählenden GeometrieMathematische Annalen, 1930