Using Java Geometry Expert as Guide in the Preparations for Math Contests

Ganglmayr, Ines, Kovács, Zoltán

arXiv.org Artificial Intelligence 

The use of technical media in Austrian mathematics lessons is largely limited to the GeoGebra medium. GeoGebra [5] proved to be a great tool to visualize and analyze classroom problems, but certain tasks like proving geometric facts rigorously by using a visual explanation is not supported by GeoGebra. As an alternative approach, we focus on introducing JGEX [6] as opposed to GeoGebra, specifically in the area of competition tasks. Geometric proofs are no longer an important part of secondary school curriculum in Austria and many other countries. Formerly, however, Euclidean plane geometry and proving more complicated facts was a part of the expected knowledge of secondary level.