An XML-Format for Conjectures in Geometry (Work-in-Progress)

TL;DR

This paper proposes an extension to the i2g format to include geometric conjectures, enhancing interoperability among geometry software tools and repositories for better sharing and analysis.

Contribution

An extension of the i2g format is introduced to describe geometric conjectures, enabling integration across various geometry software systems.

Findings

Extended i2g format successfully describes geometric conjectures.

Integration with GeoThms, TGTP, and Web Geometry Laboratory demonstrated.

Facilitates linking and sharing of geometric constructions and conjectures.

Abstract

With a large number of software tools dedicated to the visualisation and/or demonstration of properties of geometric constructions and also with the emerging of repositories of geometric constructions, there is a strong need of linking them, and making them and their corpora, widely usable. A common setting for interoperable interactive geometry was already proposed, the i2g format, but, in this format, the conjectures and proofs counterparts are missing. A common format capable of linking all the tools in the field of geometry is missing. In this paper an extension of the i2g format is proposed, this extension is capable of describing not only the geometric constructions but also the geometric conjectures. The integration of this format into the Web-based GeoThms, TGTP and Web Geometry Laboratory systems is also discussed.