Zoltan Kovács, Simon Weitzhofer, T. Recio,
"Implementing theorem proving in GeoGebra by exact check of a statement in a bounded number of test cases"
, in Universidad de Alcala: Proceedings EACA 2012, 2012
Original Titel:
Implementing theorem proving in GeoGebra by exact check of a statement in a bounded number of test cases