Current status of the i2GATP common format

Abstract

The I2GATP format is an extension of the I2G (Intergeo) common format aimed 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 linking such tools, as well as allowing the use of geometric knowledge kept in different repositories. In this article we report the current status of the I2GATP format and its accompanying components: the XSD files with the specification of the format; the C++ library 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 I2GATP; the integration with repositories of geometric knowledge.