Davenport, James H. (2015) Solving computational problems in real algebra/geometry Annales Mathematicae et Informaticae. 44. pp. 47-57. ISSN 1787-5021 (Print), 1787-6117 (Online)