Real Number Calculations and Theorem Proving.

César A. Muñoz David R. Lester

Published in: TPHOLs (2005)

Keyphrases

theorem proving
small number
first order logic
automated reasoning
machine learning
graphical models
inference rules
combinatorial search
parallel search
theorem prover
automated deduction
term rewriting