Specification and Integration of Theorem Provers and Computer Algebra Systems.
Piergiorgio BertoliJacques CalmetFausto GiunchigliaKarsten HomannPublished in: Fundam. Informaticae (1999)
Keyphrases
- computer algebra systems
- theorem prover
- computer algebra
- theorem proving
- automated reasoning
- inference rules
- first order logic
- term rewriting
- automated deduction
- specification language
- natural deduction
- proof planning
- knowledge representation
- learning algorithm
- search algorithm
- higher order logic
- artificial intelligence