References#
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
Klaus-Dieter Burhenne. Implementierung eines Algorithmus zur Quantorenelimination für lineare reelle Probleme. Diploma Thesis, University of Passau, Germany, 1990
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
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
M. Kosta. New Concepts for Real Quantifier Elimination by Virtual Substitution. Doctoral dissertation, Saarland University, Germany, December 2016. doi:10.22028/D291-26679
T. Sturm. Real Quantifier Elimination in Geometry. Doctoral Dissertation, FMI, University of Passau, Germany, 1999.
T. Sturm. Thirty Years of Virtual Substitution: Foundations, Techniques, Applications. Proc. ISSAC 2018, pp.11–16, ACM Press, 2018. doi:10.1145/3208976.3209030