52 Result(s)
within
Mathematical Logic and Formal Languages
Symbolic and Algebraic Manipulation
Michael Kohlhase
Chapter
Computer Science
-
Chapter
Metadata (Modules DC and CC)
Metadata is “data about data” — in the case of OMDoc data about documents, such as titles, authorship, language usage, or administrative aspects like modification dates, distribution rights, and identifiers. To a...
-
Chapter
Mathematical Text (Modules MTXT and RT)
The everyday mathematical language used in textbooks, conversations, and written onto blackboards all over the world consists of a rigorous, slightly stylized version of natural language interspersed with math...
-
Chapter
Complex Theories (Modules CTH and DG)
In Section 15.6 we have presented a notion of theory and inheritance that is sufficient for simple applications like content dictionaries that informally (though presumably rigorously) define the static meanin...
-
Chapter
Setting the Stage for Open Mathematical Documents
In this part of the book we will look at the problem of marking up mathematical knowledge and mathematical documents in general, situate the OMDoc format, and compare it to other formats like OpenMath and MathML.
-
Chapter and Conference Paper
A Search Engine for Mathematical Formulae
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes them with substitution tree inde...
-
Chapter
Abstract Data Types (Module ADT)
Most specification languages for mathematical theories support definition mechanisms for sets that are inductively generated by a set of constructors and recursive functions on these under the heading of abstract...
-
Chapter
Auxiliary Elements (Module EXT)
Up to now, we have been mainly concerned with providing elements for marking up the inherent structure of mathematical knowledge in mathematical statements and theories. Now, we interface OMDoc documents with the...
-
Chapter
Markup for Mathematical Knowledge
Mathematicians make use of various kinds of documents (e.g. e-mails, letters, pre-prints, journal articles, and textbooks) for communicating mathematical knowledge. Such documents employ specialized notational...
-
Chapter
Document Models for OMDoc
In almost all XML applications, there is a tension between the document view and the object view of data; after all, XML is a document-oriented interoperability framework for exchanging data objects. The quest...
-
Chapter
An OMDoc Primer
This part of the book provides an easily approachable description of the OMDoc format by way of paradigmatic examples of OMDoc documents. The primer should be used alongside the formal descriptions of the languag...
-
Chapter
OMDoc Resources
In this chapter we will describe various public resources for working with the OMDoc format.
-
Chapter
OpenMath Content Dictionaries
Content Dictionaries are structured documents used by the OpenMath standard [BCC + 04] to codify knowledge about mathematical symbols and concepts used in the representation of mathematical formulae. They differ ...
-
Chapter
Transforming OMDoc by XSLT Style Sheets
In the introduction we have stated that one of the design intentions behind OMDoc is to separate content from presentation, and leave the latter to the user. In this section, we will briefly touch upon presentati...
-
Chapter
Quick-Reference Table to the OMDoc Elements
-
Chapter
A Development Graph for Elementary Algebra
We will now use the technique presented in the last chapter for the elementary algebraic hierarchy. Figure 7.1 gives an overview of the situation. We will build up theories for semigroups, monoids, groups, and...
-
Chapter
The RelaxNG Schema for OMDoc
We reprint the modularized RelaxNG schema for OMDoc here. It is available at http://www.mathweb.org/omdoc/rnc and con...
-
Chapter
Courseware and the Narrative/Content Distinction
In this chapter we will look at another type of mathematical document: courseware; in this particular case a piece from an introductory course “Fundamentals of Computer Science” (Course 15-211 at Carnegie Mell...
-
Chapter
Document Infrastructure (Module DOC)
Mathematical knowledge is largely communicated by way of a specialized set of documents (e.g. e-mails, letters, pre-prints, journal articles, and textbooks). These employ special notational conventions and vis...
-
Chapter
Mathematical Objects (Module MOBJ)
A distinguishing feature of mathematics is its ability to represent and manipulate ideas and objects in symbolic form as mathematical formulae. OMDoc uses the OpenMath and Content-MathML formats to represent math...
-
Chapter
Representing Proofs (Module PF)
Proofs form an essential part of mathematics and modern sciences. Conceptually, a proof is a representation of uncontroversial evidence for the truth of an assertion.
