Integrating Computer Algebra into Proof Planning.

Manfred Kerber Michael Kohlhase Volker Sorge

Published in: J. Autom. Reason. (1998)

Keyphrases

computer algebra
proof planning
theorem prover
theorem proving
proof search
concept formation
first order logic
computer algebra systems
inference rules
building intelligent
automated theorem provers
genetic algorithm
artificial intelligence
pattern recognition