Keyphrases
- cut elimination
- sequent calculus
- proof search
- theorem proving
- natural deduction
- differential equations
- linear logic
- inference rules
- theorem prover
- mathematical proofs
- formal proof
- modal logic
- wide class
- data sets
- formal proofs
- digital topology
- equational theories
- decision procedures
- computer algebra
- multiresolution
- video sequences
- multi agent
- genetic algorithm