1. The intergeo file format in progress;Abánades,2009
2. Mathematical knowledge management in HELM;Asperti,2003
3. MOWGLI—a new approach for the content description in digital documents;Asperti,2002
4. Electronic geometry textbook: a geometric textbook knowledge management system;Chen,2010
5. Formal representation and automated transformation of geometric statements;Chen,2010