Related references
Note: Only part of the references are listed.A Mechanical Geometer
Francisco Botana et al.
MATHEMATICS IN COMPUTER SCIENCE (2021)
Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick
Manuel Ladra et al.
REVISTA DE LA REAL ACADEMIA DE CIENCIAS EXACTAS FISICAS Y NATURALES SERIE A-MATEMATICAS (2020)
Rewriting input expressions in complex algebraic geometry provers
Z. Kovacs et al.
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE (2019)
Detecting truth, just on parts
Zoltan Kovacs et al.
REVISTA MATEMATICA COMPLUTENSE (2019)
Automated Reducible Geometric Theorem Proving and Discovery by Grobner Basis Method
Jie Zhou et al.
JOURNAL OF AUTOMATED REASONING (2017)
Automated Theorem Proving in GeoGebra: Current Achievements
Francisco Botana et al.
JOURNAL OF AUTOMATED REASONING (2015)
On Protocols for the Automated Discovery of Theorems in Elementary Geometry
G. Dalzotto et al.
JOURNAL OF AUTOMATED REASONING (2009)