Automated Theorem Prover Assisted Program Calculations.
Dipak L. ChaudhariOm P. DamaniPublished in: IFM (2014)
Keyphrases
- theorem prover
- automated reasoning
- theorem proving
- first order logic
- inference rules
- term rewriting
- computer algebra
- automated deduction
- automated theorem proving
- formal proof
- formal semantics
- semi automated
- natural deduction
- higher order logic
- computer programs
- boolean algebra
- mathematical knowledge
- proof search
- timed automata
- proof planning
- machine learning
- computer algebra systems
- simulated annealing
- learning algorithm