Keyphrases
- automated theorem proving
- natural deduction
- proof search
- proof procedure
- provably correct
- theorem prover
- theorem proving
- sequent calculus
- linear logic
- computer algebra
- proof theoretic
- inference rules
- automated deduction
- first order logic
- cut elimination
- automated theorem provers
- proof planning
- real time
- optical flow
- multiscale
- databases
- data sets