Literate sources for content dictionaries
2013 (English)In: MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics, Aachen: Redaktion Sun SITE, Informatik V, RWTH Aachen , 2013Conference paper (Refereed)
It is suggested that a LaTeX document could be used as the Literate Programming source of an OpenMath content dictionary. Several approaches to literate programming are reviewed and a possible implementation is sketched.
Place, publisher, year, edition, pages
Aachen: Redaktion Sun SITE, Informatik V, RWTH Aachen , 2013.
, CEUR Workshop Proceedings, ISSN 1613-0073 ; 1010
OpenMath, content dictionary, literate programming, notation, XML, LaTeX, end-user development
Research subject Mathematics/Applied Mathematics
IdentifiersURN: urn:nbn:se:mdh:diva-21082OAI: oai:DiVA.org:mdh-21082DiVA: diva2:642954
MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICMco-located with Conferences on Intelligent Computer Mathematics (CICM 2013), Bath, UK, July 9 - 10