César Muñoz, David Lester. Real Number Calculations and Theorem Proving. In Joe Hurd, Thomas F. Melham, editors, Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings. Volume 3603 of Lecture Notes in Computer Science, pages 195-210, Springer, 2005. [doi]
Abstract is missing.