
Towards Automated Discovery of Geometrical Theorems in GeoGebra
We describe a prototype of a new experimental GeoGebra command and tool ...
read it

Two almostcircles, and two real ones
Implicit locus equations in GeoGebra allow the user to do experiments wi...
read it

Towards a Geometry Automated Provers Competition
The geometry automated theorem proving area distinguishes itself by a la...
read it

Detecting truth on components
We investigate and generalize to an extended framework the notion of 'tr...
read it

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...
read it

No, This is not a Circle
A popular curve shown in introductory maths textbooks, seems like a circ...
read it

GeoGebra Tools with Proof Capabilities
We report about significant enhancements of the complex algebraic geomet...
read it
Zoltán Kovács
is this you? claim profile