Keyphrases
- affine invariant
- theorem proving
- theorem prover
- affine transformation
- image registration
- natural deduction
- mathematical proofs
- piecewise affine
- formal proofs
- weak perspective
- equational theories
- formal proof
- affine invariance
- cut elimination
- proof search
- sequent calculus
- social networks
- decision procedures
- expert systems