An Interactive Calculus Theorem-Prover for Continuity Properties.
Patrick SuppesShuzo TakahashiPublished in: J. Symb. Comput. (1989)
Keyphrases
- theorem prover
- computer algebra
- automated theorem proving
- automated deduction
- term rewriting
- natural deduction
- timed automata
- proof search
- theorem proving
- computer algebra systems
- automated reasoning
- inference rules
- first order logic
- formal proof
- higher order logic
- boolean algebra
- formal semantics
- mathematical knowledge
- desirable properties
- proof planning
- computer graphics
- sequent calculus
- machine learning
- higher order
- formal language
- algebraic structure
- proof procedure