Author:
Udovicic Mirna,Kovacevic Dragana
Publisher
Springer International Publishing
Reference6 articles.
1. Tarski, A.: A Decision Method for Elementary Algebra and Geometry, 2nd edn. RAND, Santa Monica (1957)
2. Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition-preliminary report. ACM SIGSAM Bull. 8(3), 80–90 (1974). Proceedings of EUROSAM 1974
3. Collins, G.E.: Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition. In: Automata Theory for Formal Languages, 2nd GI Conference. LNCS, vol. 33, pp. 134–183. Springer (1975)
4. Arnon, D.S.: Algorithms for the geometry and semi-algebraic sets. Technical report 436, Ph.D. thesis. Computer Science Department, University of Wisconsin-Madison (1981)
5. Sturm, T., Weispfenning, V.: Computational geometry problems in REDLOG. In: Automated Deduction in Geometry. LNAI, vol. 1360, pp. 58–86. Springer (1998)