Specification and Integration of Theorem Provers and Computer Algebra Systems.
Piergiorgio BertoliJacques CalmetFausto GiunchigliaKarsten HomannPublished in: AISC (1998)
Keyphrases
- computer algebra systems
- theorem prover
- computer algebra
- theorem proving
- automated reasoning
- first order logic
- automated theorem proving
- inference rules
- higher order logic
- term rewriting
- data integration
- automated deduction
- proof search
- formal semantics
- high level
- specification language
- proof planning
- formal specification