Dei: A Theorem Prover for Terms with Integer Exponents.

Hicham Bensaid Ricardo Caferra Nicolas Peltier

Published in: CADE (2009)

Keyphrases

theorem prover
theorem proving
inference rules
automated theorem proving
first order logic
term rewriting
automated reasoning
boolean algebra
computer algebra
co occurrence
automated deduction
decision trees
desirable properties
proof planning