Examples of Automatic Theorem Proving a Real Geometry.

Ahmed Guergueb Jean Mainguené Marie-Françoise Roy

Published in: ISSAC (1994)

Keyphrases

automatic theorem proving
three dimensional
real life
training examples
databases
data mining
machine learning
information retrieval
training data
bayesian networks
data structure
object recognition
information technology
artificial neural networks