A Aralex Aachen research explorer

January 01, 1998 book

Quantifier Elimination and Cylindrical Algebraic Decomposition

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

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

Authors 0

Author list not loaded yet.

Cited by 5 stored of 414

Levelwise construction of a single cylindrical algebraic cell
2023 Journal of Symbolic Computation article Computer Science Polynomial and algebraic computation Open access

10

citations
Termination of triangular polynomial loops
2023 Formal Methods in System Design article Computer Science Logic, programming, and type systems Open access

8

citations
WITHDRAWN: Levelwise construction of a single cylindrical algebraic cell
2023 Journal of Symbolic Computation retraction Computer Science Polynomial and algebraic computation

1

citations
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

0

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

5 results

References 0