A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic

Reliable Computing

Volumn 5, Issue 3, 1999, Pages 337-346

  Strzebonski, Adam ^a  

^a JAGIELLONIAN UNIVERSITY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346391972     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1009924521389     Document Type: Article

References (14)

1. Akritas, A., Bocharov, A., and Strzebonski, A.: Implementation of Real Root Isolation Algorithms in Mathematica, in: International Conference INTERVAL'94, Abstracts, St.Petersburg, Russia, 1994, pp. 23-27.
2. Caviness, B. and Johnson, J., (eds): Quantifier Elimination and Cylindrical Algebraic Decomposition, Springer-Verlag, 1998.
3. Collins, G. E.: Quantifier Elimination for the Elementary Theory of Real Closed Fields by Cylindrical Algebraic Decomposition, Lect. Notes Comput. Sci. 33 (1975), pp. 134-183.
4. Collins, G. E. and Hong, H.: Partial Cylindrical Algebraic Decomposition for Quantifier Elimination, J. Symbolic Comp. 12 (1991), pp. 299-328.
5. Hong, H.: An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition, in: Proceedings of ISSAC, 1990, pp. 261-264.
6. Jirstrand, M.: Constructive Methods for Inequality Constraints in Control, Linkoping Studies in Science and Technology, Dissertations 527 (1998).
7. Keiper, J. B. and Withoff, D.: Numerical Computation in Mathematica, in: Course Notes, Mathematica Conference, 1992.
8. McCallum, S.: An Improved Projection for Cylindrical Algebraic Decomposition, in: Caviness, B. and Johnson, J. (eds), Quantifier Elimination and Cylindrical Algebruic Decomposition, Springer-Verlag, 1998.
9. McCallum, S.: An Improved Projection for Cylindrical Algebraic Decomposition of Three Dimensional Space, J. Symbolic Comp. 5 (1988), pp. 141-161.
10. McCallum, S.: Using Cylindrical Algebraic Decomposition, The Computer Journal 36 (5) (1993), pp. 432-438.
11. Mitrinovic, D., Pecaric, J. E., and Volenec, V.: Recent Advances in Geometric Inequalities, Kluwer Academic Publishers, 1989.
12. Strzebonski, A.: An Algorithm for Systems of Strong Polynomial Inequalities, The Mathematica Journal 4 (4) (1994), pp. 74-77.
13. Strzebonski, A.: Computing in the Field of Complex Algebraic Numbers, J. Symbolic Comp. 24 (1997), pp. 647-656.
14. Wolfram, S.: The Mathematica Book, 3rd. Ed., 1996.