Title: Theorem Proving with the Real Numbers
Subjects: Automatic theorem proving