GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically.

Published in: Automated Deduction in Geometry (2002)

Keyphrases

automatically generated
machine learning
information retrieval
image retrieval
database
real time
databases
search engine
information systems
case study
image segmentation
similarity measure
multi agent
digital libraries
hidden markov models