Keyphrases
- mathematical proofs
- theorem prover
- interactive theorem proving
- theorem proving
- natural deduction
- automated theorem provers
- formal proof
- proof search
- automated theorem proving
- cut elimination
- decision procedures
- sequent calculus
- inference rules
- mathematical knowledge
- proof planning
- cognitive processes
- linear logic
- computer algebra
- database
- real time
- databases
- neural network
- machine learning
- image processing
- web services
- image sequences
- natural language
- first order logic
- proof procedure