A Practical Program of Automated Proving for a Class of Geometric Inequalities.

Lu Yang Ju Zhang

Published in: Automated Deduction in Geometry (2000)

Keyphrases

database
facet defining inequalities
semi automated
computer programs
sufficient conditions
data sets
computer aided
machine learning
real world
neural network
support vector
semi automatic
multiscale
fully automated
multi class classification
program execution
planar graphs