A Geometric Procedure with Prover9.

Ranganathan Padmanabhan Robert Veroff

Published in: Automated Reasoning and Mathematics (2013)

Keyphrases

geometric information
e learning
theorem proving
theorem prover
real time
image segmentation
geometric reasoning
iterative procedure
geometric structure
hidden markov models
object recognition
decision trees
multimedia
decision making
artificial intelligence
machine learning
neural network