"A Combination of Nonstandard Analysis and Geometry Theorem Proving, with ..."

Jacques D. Fleuriot, Lawrence C. Paulson (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics