Tactics for Hierarchical Proof.
David AspinallEwen DenneyChristoph LüthPublished in: Math. Comput. Sci. (2010)
Keyphrases
- artificial intelligence
- coarse to fine
- theorem prover
- image processing
- hierarchical representation
- hierarchical model
- theorem proving
- geometry theorem proving
- database
- mathematical proofs
- automated theorem proving
- hierarchical classification
- hierarchical clustering
- hidden markov models
- three dimensional
- decision trees
- multimedia
- neural network