Detecting truth on components.
Zoltán Ambrus Kovács, Tomás Recio, María Pilar Vélez · arXiv (Cornell University) · 2018
We investigate and generalize to an extended framework the notion of 'true on components' introduced by Zhou, Wang and Sun in their paper Automated Reducible Geometric Theorem Proving and Discovery by Gr\obner Basis Method, J. Automat. Reasoning 59 (3), 331-344, 2017. A new, simple criterion is presented for a statement to be simultaneously not generally true and not generally false (i.e. true on components), and its performance is exemplified through the implementation of this test in the dynamic geometry program GeoGebra.