Literate sources for content dictionaries
نویسنده
چکیده
It is suggested that a LTEX 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.
منابع مشابه
Literate Sources for Content Dictionaries: A Progress Report
At OM2013, the author suggested and sketched a system that would use LTEX documents as Literate Programming sources for content dictionaries. This paper reports on the progress that has since been made with this system. One important milestone that has been reached is that valid .ocd files with CDDefinitions, FMPs, CMPs, and Examples are being generated.
متن کاملxmLP - a Literate Programming Tool for XML & Text
LitProg [Literate Programming] is a technique created by Donald Knuth to make computer programs readable and maintainable. This article introduces LitProg, demonstrates what a literate program looks like, and describes the LitProg tool “xmLP”, which can be used to literately develop program sources (or other control file sources) whose content is XML or text. Rendered by www.RenderX.com xmLP — ...
متن کاملOpenMath Content Dictionaries for SI Quantities and Units
We document the creation of a new set of OpenMath content dictionaries to support the expression of quantities and units under the International System of Units (SI). While preserving many of the concepts embodied in the original content dictionaries, these new content dictionaries provide a foundation for quantities and units that is compliant with international standards. We respond to questi...
متن کاملContent Dictionaries for Relational Algebra
ABSTARCT: The OpenMath language has been used to create mathematical objects in an XML-based language for establishing content dictionaries for various mathematical concepts. The content dictionaries are an excellent tool for both educational and research purposes. This research investigates the creation of content dictionaries for relational algebra, a theoretical language for describing opera...
متن کاملA Definition of Literary Literacy: a Content Analysis of Literature Syllabuses and Interviews with Portuguese Lecturers of Literature
A DEFINITION OF LITERARY LITERACY: A CONTENT ANALYSIS OF LITERATURE SYLLABUSES AND INTERVIEWS WITH PORTUGUESE LECTURERS OF LITERATURE Rita Baleiro School of Management, Hospitality and Tourism, University of the Algarve (Portugal) [email protected] Abstract: The aim of this paper is to present a definition of literary literacy in the context of majors in languages, literatures and cultures, in P...
متن کامل