Combining Theorem Proving and Symbolic Mathematical Computing.
Karsten HomannJacques CalmetPublished in: AISMC (1994)
Keyphrases
- theorem proving
- computer algebra systems
- mathematical knowledge
- theorem prover
- first order logic
- automated deduction
- automated reasoning
- term rewriting
- inference rules
- decision procedures
- automatic programming
- proof planning
- logical inference
- automated theorem proving
- parallel search
- consequence finding
- geometry theorem proving
- proof procedure
- predicate calculus
- natural deduction
- connectionist learning
- computer algebra
- artificial intelligence
- combinatorial search
- distributed search