Automated Discovering and Proving for Geometric Inequalities.

Lu Yang Xiaorong Hou Bican Xia

Published in: Automated Deduction in Geometry (1998)

Keyphrases

semi automated
sufficient conditions
data driven
fully automated
computer aided
linear inequalities
multiscale
information systems
search engine
search algorithm
computer vision
geometric constraints
geometric structure
mixed integer
genetic algorithm
geometric information
real world