Title: Theorem proving with the real numbers
First published: 1998
Subjects: Automatic theorem proving, HOL, Automatisches Beweisverfahren, Computeralgebra, Reelle Zahl
LC classification: QA76.9.A96 H37 1998