Toward Sharing Libraries of Mathematics between Theorem Provers.
Douglas J. HowePublished in: FroCoS (1998)
Keyphrases
- theorem prover
- computer algebra
- computer algebra systems
- mathematical knowledge
- theorem proving
- inference rules
- automated reasoning
- first order logic
- automated theorem proving
- automated deduction
- term rewriting
- digital libraries
- multimedia
- computer science
- higher order logic
- knowledge sharing
- natural deduction
- timed automata
- proof planning
- data sharing
- information sharing
- proof search
- formal semantics
- knowledge representation