We present some current achievements in the software package
GeoGebra
Discovery that provides
several symbolic tools and commands to mechanically discover (and verify symbolically) relationships
on planar geometry constructions.
Our presentation includes the novel Discover

and Relation

tools, and the Compare command.
Our proposal successfully makes the cycle
‘conjecturing-checking-proving’ in elementary geometry even more accessible for general users, focusing
not only on educational uses but research as well.