Automatizing Geometric Proofs and Constructions.

Beat D. Brüderlin

Published in: Workshop on Computational Geometry (1988)

Keyphrases

geometric structure
database
genetic algorithm
theorem prover
geometric constraints
decision procedures
data sets
neural network
artificial intelligence
artificial neural networks