A Aralex Aachen research explorer

January 01, 1998 book-chapter

A New Approach to Quantifier Elimination for Real Algebra

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

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

Authors 0

Author list not loaded yet.

Cited by 1 stored of 71

Experiments with Automated Reasoning in the Class
2022 Lecture notes in computer science conference-paper Computer Science Teaching and Learning Programming Open access

1

citations

1 result

References 0