Where the Truth Lies (in Automatic Theorem Proving in Elementary Geometry).

Tomás Recio Francisco Botana

Published in: ICCSA (2) (2004)

Keyphrases

automatic theorem proving
three dimensional
neural network
database
artificial intelligence
school children
machine learning
information systems
image sequences
multiscale
artificial neural networks
viewpoint