The Kinds of Truth of Geometry Theorems.

Michael Bulmer Desmond Fearnley-Sander Timothy Stokes

Published in: Automated Deduction in Geometry (2000)

Keyphrases

three dimensional
database systems
databases
neural network
image segmentation
expert systems
machine learning
computer vision
bayesian networks
geometric features