A Aralex Aachen research explorer

January 01, 1998 book-chapter Open access

A Decision Method for Elementary Algebra and Geometry

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

DOI: 10.1007/978-3-7091-9459-1_3 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 5 stored of 1,682

Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

1

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
Termination of Polynomial Loops
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

12

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