Trivializing the Proof of Trivial Theorems.
Yves KodratoffJacqueline CastaingPublished in: IJCAI (1983)
Keyphrases
- proof search
- sequent calculus
- cut elimination
- linear logic
- theorem prover
- mathematical proofs
- theorem proving
- interactive theorem proving
- proof planning
- proof theory
- natural deduction
- inference rules
- three dimensional
- data sets
- hidden markov models
- bayesian networks
- digital topology
- image processing
- neural network
- databases
- geometry theorem proving
- real time