A Aralex Aachen research explorer

January 01, 1998 book-chapter

An Improved Projection Operation for Cylindrical Algebraic Decomposition

Texts & monographs in symbolic computation/Texts and monographs in symbolic computation

DOI: 10.1007/978-3-7091-9459-1_12 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 5 stored of 125

On Projective Delineability
2024 International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) conference-paper Computer Science Polynomial and algebraic computation Open access

0

citations
Merging Adjacent Cells During Single Cell Construction
2024 Lecture notes in computer science conference-paper Computer Science Polynomial and algebraic computation

2

citations
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
2020 Journal of Logical and Algebraic Methods in Programming article Computer Science Polynomial and algebraic computation Open access

34

citations
New Opportunities for the Formal Proof of Computational Real Geometry?
2020 arXiv (Cornell University) preprint Computer Science Polynomial and algebraic computation Open access

6

citations
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)
2020 CEUR Workshop Proceedings article Computer Science Logic, programming, and type systems Open access

0

citations

5 results

References 0