Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,General Mathematics,Statistics and Probability,Applied Mathematics,General Mathematics,Statistics and Probability
Reference27 articles.
1. A. Tarski, A Decision Method for Elementary Algebra and Geometry, University of California Press, Berkeley (1951).
2. G. E. Collins, ?Quantifier elmimination for real closed fields by cylindrical algebraic decomposition,? Lect. Notes Comput. Sci.,33, 134?183 (1975).
3. Kh. R. Vyutrikh, ?Decision method for the theory of real closed fields,? Kibernet. Sb., No. 18, 100?124 (1981).
4. C. Yu. Grigor'ev and N. N. Vorobjov, Jr., ?Solving systems of polynomial inequalities in subexponential time,? J. Symb. Comput.,5, 37?64 (1988).
5. N. N. Vorob'ev, Jr. and D. Yu. Grigor'ev, ?Solution of systems of polynomial inequalities over real closed fields in subexponential time,? Zap. Nauchn. Sem. Leningr. Otd. Mat. Inst. Akad. Nauk SSSR,174, 3?36 (1988).