Authoring presentation for OpenMath

Authors:
Shahid Manzoor;Paul Libbrecht;Carsten Ullrich;Erica Melis
Affiliations:
Deutsches Forschungszentrum für Künstliche Intelligenz;Deutsches Forschungszentrum für Künstliche Intelligenz;Deutsches Forschungszentrum für Künstliche Intelligenz;Deutsches Forschungszentrum für Künstliche Intelligenz
Venue:
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Year:
2005

Citing 2
Cited 6

OpenMath, MathML, and XSL

ACM SIGSAM Bulletin - Special issue of OpenMath
A Flexible and Efficient Presentation-Architecture for Adaptive Hypermedia: Description and Technical Evaluation

ICALT '04 Proceedings of the IEEE International Conference on Advanced Learning Technologies

Quality of Experience-LAOS: create once, use many, use anywhere

International Journal of Learning Technology
Notations for Living Mathematical Documents

Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Notations around the world: census and exploitation

AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Communities of practice in MKM: an extensional model

MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Authoring leactivemath calculus content

MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Methods to access and retrieve mathematical content in ACTIVEMATH

ICMS'06 Proceedings of the Second international conference on Mathematical Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

Some mathematical objects can have more than one notation. When a system compiles mathematical material from multiple sources, a management effort to maintain uniform and appropriate notations becomes necessary. Additionally, the need arises to facilitate the notations editing of the mathematical objects with authoring tools. In this paper, we present our work towards those needs. We have designed a framework that defines an authoring cycle supported by series of tools, which eases the creation of notations for the symbols in the process of publishing mathematics for the web.