Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals

Leonardo Mendonça de Moura, Grant Olney Passmore. Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals. In Maria Paola Bonacina, editor, Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings. Volume 7898 of Lecture Notes in Computer Science, pages 178-192, Springer, 2013. [doi]

Abstract

Abstract is missing.