Integrating Computer Algebra with Proof Planning.

Manfred Kerber Michael Kohlhase Volker Sorge

Published in: DISCO (1996)

Keyphrases

computer algebra
proof planning
theorem prover
theorem proving
proof search
concept formation
first order logic
building intelligent
inference rules
automated theorem provers
computer algebra systems
bayesian networks
predicate calculus
natural deduction