Outline
Statements that are true on parts, false on parts
by Z. Kovács, T. Recio and M.P. Vélez
The notion of true on components was introduced by Zhou, Wang and Sun in their paper “Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method”, J. Automat. Reasoning 59 (3), 331-344, 2017. In this GeoGebraBook we exemplify the meaning of this definition, but we use the notion true on parts, false on parts that is based on a slightly different, simpler approach (see an arXiv paper for some details).
