Current Status of the I2GATP Common Format



The itogatp format is an extension of the {\itog} (Intergeo) common format to support conjectures and proofs produced by Geometric Automatic Theorem Provers. The goal in building such a format is to provide a communication channel between different tools from the field of geometry, allowing, in such a way, the linking of such tools as well as the use of geometric knowledge kept in different repositories.

In this article we report the current status of the itogatp format and its accompanying components: the XSD files with the specification of the format; the C++ programs to create the container with all the information regarding a geometric problem or to break it into its components; the filters to convert from/to geometric tools formats to/from \itogatp; the integration with repositories of geometric knowledge.


Geometry, XML common formats


Common format for Geometry constructions, theorems and proofs


10th International Workshop on Automated Deduction in Geometry, 9-11 July 2014, University of Coimbra, Portugal. , June 2014


Cited by

No citations found