Automatic Theorem Generation in Plane Geometry.

Rajiv Bagai Vasant Shanbhogue Jan M. Zytkow Shang-Ching Chou

Published in: ISMIS (1993)

Keyphrases

three dimensional
fully automatic
data sets
euclidean geometry
real time
neural network
learning algorithm
artificial intelligence
data driven
semi automatic
von neumann
projective geometry