Artikel in einem Konferenzbericht,

Authoring Presentation for OpenMath

, , , und .
Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, Volume 3863 von LNCS, Seite 33--48. Heidelberg, Springer, (2006)
DOI: 10.1007/11618027

Zusammenfassung

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.

Tags

Nutzer

  • @carstenullrich

Kommentare und Rezensionen