Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski.

Christopher W. Brown Zoltán Kovács Róbert Vajda

Published in: ADG (2021)

Keyphrases

sufficient conditions
decision support
linear inequalities
machine learning
computer vision
metadata
three dimensional
linear programming
geometric structure