An XML-Format for Conjectures in Geometry (Work-in-Progress) by Pedro Quaresma.
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.
The author notes open questions as:
- The xml format must be complemented with an extensive set of converters allowing the exchange of information between as many geometric tools as possible.
- The databases queries, as in TGTP, raise the question of selecting appropriate keywords. A fine grain index and/or an appropriate geometry ontology should be addressed.
- The i2gatp format does not address proofs. Should we try to create such a format? The GATPs produce proofs in quite different formats, maybe the construction of such unifying format it is not possible and/or desirable in this area.
The “keywords,” “fine grained index,” “geometry ontology,” question yells “topic map” to me.
You?
PS: Converters and different formats also say “topic map,” just not as loudly to me. Your volume may vary. (YVMV)
.