Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra.

Zoltán Kovács Róbert Vajda

Published in: CoRR (2022)

Keyphrases

parametric models
sufficient conditions
data mining
information systems
decision trees
mixed integer
geometric information
linear inequalities