research
∙
02/08/2022
Symbolic Comparison of Geometric Quantities in GeoGebra
Comparison of geometric quantities usually means obtaining generally tru...
share
research
∙
02/08/2022
Automated Discovery of Geometrical Theorems in GeoGebra
We describe a prototype of a new experimental GeoGebra command and tool,...
research
∙
01/03/2022
Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra
We introduced the package/subsystem GeoGebra Discovery to GeoGebra which...
research
∙
01/03/2022
GeoGebra Discovery in Context
In our contribution we will reflect, through a collection of selected ex...
research
∙
01/03/2022
Online Generation of Proofs Without Words
Understanding geometric relationships with little mathematical knowledge...
research
∙
12/28/2021
Proceedings of the 13th International Conference on Automated Deduction in Geometry
Automated Deduction in Geometry (ADG) is a forum to exchange ideas and v...
research
∙
07/24/2020
Towards Automated Discovery of Geometrical Theorems in GeoGebra
We describe a prototype of a new experimental GeoGebra command and tool ...
research
∙
03/25/2020
Two almost-circles, and two real ones
Implicit locus equations in GeoGebra allow the user to do experiments wi...
research
∙
02/28/2020
Towards a Geometry Automated Provers Competition
The geometry automated theorem proving area distinguishes itself by a la...
research
∙
02/16/2018
Detecting truth on components
We investigate and generalize to an extended framework the notion of 'tr...
research
∙
07/31/2017
A note about Euler's inequality and automated reasoning with dynamic geometry
Using implicit loci in GeoGebra Euler's R≥ 2r inequality can be investig...
research
∙
04/27/2017
No, This is not a Circle
A popular curve shown in introductory maths textbooks, seems like a circ...
research
∙
03/03/2016