Experiments with State-of-the-art Automated Provers on Problems in Tarskian Geometry.

Josef Urban Robert Veroff

Published in: IWIL@LPAR (2015)

Keyphrases

problems involving
decision trees
image segmentation
search engine
information systems
e learning
case study
special case
probabilistic model
optimization problems
application domains
theorem proving
semi automated
practical problems