CISUC

XML-based Format for Geometry

Authors

Abstract

With a large number of tools focusing on visualising geometrical constructions or on proving properties of constructed objects (or both), there is an emerging need of linking them, and making them and their corpora, widely usable. A common setting that links these tools would be important in the field of geometrical constructions and in their role in education. In this paper we propose a common, xml-based, interchange format for descriptions of geometrical constructions and proofs. We also present a xml library providing support for dynamic geometry software and automatic theorem provers, and its integration into our web-based GeoThms system.

Keywords

Mathematical Knowledge Management, Geometry, Digital Libraries

Subject

Electronic Publishing

Conference

Communicating Mathematics in the Digital Era, August 2006


Cited by

Year 2014 : 1 citations

 Chen, Xiaoyu, Representation and automated transformation of geometric statements, JSSC 27,2. Doi: 10.1007/s11424-014-0316-0

Year 2013 : 1 citations

 Chen, Xiaoyu and Wang, Dongming, Formalization and Specification of Geometric Knowledge Objects, MCS 7(4). Doi: 10.1007/s11786-013-0167-4

Year 2010 : 1 citations

 Janicic, Predrag, Geometry Constructions Language, JAR 44(1-2). Doi: 10.1007/s10817-009-9135-8