References

References#

[BraytonEtAl-1984]

R. Brayton, G. Hatchel, C. McMullen, and A. Sangiovanni-Vincentelli, Logic Minimization Algorithms for VLSI Synthesis, Kluwer Academic Publishers, Boston, MA, 1984. doi:10.1007/978-1-4613-2821-6

[Burhenne-1990]

Klaus-Dieter Burhenne. Implementierung eines Algorithmus zur Quantorenelimination für lineare reelle Probleme. Diploma Thesis, University of Passau, Germany, 1990

[DolzmannSturm-1997]

A. Dolzmann, T. Sturm. Simplification of Quantifier-Free Formulae over Ordered Fields. J. Symb. Comput. 24(2):209–231, 1997. Open access at doi:10.1006/jsco.1997.0123

[DolzmannSturmWeispfenning-1998]

A. Dolzmann, T. Sturm, V. Weispfenning. A New Approach for Automatic Theorem Proving in Real Geometry. J. Autom. Reasoning 21(3):357–380, 1998. doi:10.1023/A:1006031329384

[Kosta-2016]

M. Kosta. New Concepts for Real Quantifier Elimination by Virtual Substitution. Doctoral dissertation, Saarland University, Germany, December 2016. doi:10.22028/D291-26679

[Sturm-1999]

T. Sturm. Real Quantifier Elimination in Geometry. Doctoral Dissertation, FMI, University of Passau, Germany, 1999.

[Sturm-2018]

T. Sturm. Thirty Years of Virtual Substitution: Foundations, Techniques, Applications. Proc. ISSAC 2018, pp.11–16, ACM Press, 2018. doi:10.1145/3208976.3209030