![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Math Literate Knowledge Management via Induced Material
Mathematicians integrate acquired knowledge into a mental model. For trained mathematicians, the mental model seems to include not just the bare facts, but various induced forms of knowledge, and the amount of...
-
Chapter and Conference Paper
A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics
In the traditional knowledge dissemination process in mathematics and sciences, authors write semi-selfcontained articles which are then published in journals, conference proceedings, preprint archives, and/or...
-
Chapter and Conference Paper
System Description: MathHub.info
We present the MathHub.info system, a development environment for active mathematical documents and an archive for flexiformal mathematics. It offers a rich interface for reading, writing, and interacting with ma...
-
Chapter and Conference Paper
System Description: A Semantics-Aware to-Office Converter
We present a to-Office conversion plugin for ML that can bri...
-
Chapter and Conference Paper
A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics
To understand mathematical language we have to understand the words of mathematics. In particular, for machine-supported knowledge management and digital libraries, we need machine-actionable terminology datab...
-
Chapter and Conference Paper
Realms: A Structure for Consolidating Knowledge about Mathematical Theories
Since there are different ways of axiomatizing and develo** a mathematical theory, knowledge about a such a theory may reside in many places and in many forms within a library of formalized mathematics. We i...
-
Chapter and Conference Paper
Flexary Operators for Formalized Mathematics
We study representation formats that allow formally defining what we call flexary operators: functions that take arbitrarily many arguments, like ...
-
Chapter and Conference Paper
A Universal Machine for Biform Theory Graphs
Broadly speaking, there are two kinds of semantics-aware assistant systems for mathematics: proof assistants express the semantic in logic and emphasize deduction, and computer algebra systems express the sema...
-
Chapter and Conference Paper
The Planetary Project: Towards eMath3.0
The Planetary develops a general framework – the Planetary – for social semantic portals that support users in interacting with STEM (Science/Technology/Engineering/Mathematics) documents. Developed from an initi...
-
Chapter and Conference Paper
Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset
The Mathematics Subject Classification (MSC) is a widely used scheme for classifying documents in mathematics by subject. Its traditional, idiosyncratic conceptualization and representation makes the scheme ha...
-
Chapter and Conference Paper
MathWebSearch 0.5: Scaling an Open Formula Search Engine
MathWebSearch is an open-source, open-format, content-oriented search engine for mathematical formulae. It is a complete system capable of crawling, indexing, and querying expressions based on th...
-
Chapter and Conference Paper
Semantic Alliance: A Framework for Semantic Allies
We present an architecture and software framework for semantic allies: Semantic systems that complement existing software applications with semantic services and interactions based on a background ontology. On...
-
Chapter and Conference Paper
Extending MKM Formats at the Statement Level
Successful representation and markup languages find a good balance between giving the user freedom of expression, enforcing the fundamental semantic invariants of the modeling framework, and allowing machine s...
-
Chapter
Appendix
In this appendix, we document the changes of the OMDoc format over the versions, provide quick reference tables, and discuss the validation helps.
-
Chapter
The OMDoc Document Format
The OMDoc ( Open Mathematical Documents) format is a content markup scheme for (collections of) mathematical documents including articles, textbooks, interactive books, and courses. OMDoc also serves as the con...
-
Chapter
OMDoc Applications, Tools, and Projects
In this part we will address current applications, tools and projects using the OMDoc format. We will first discuss the possibilities and tools of processing documents in the OMDoc format via style sheets with th...
-
Chapter
Quick-Reference Table to the OMDoc Attributes
-
Chapter
The RelaxNG Schemata for Mathematical Objects
For completeness we reprint the RelaxNG schemata for the external formats OMDoc makes use of.
-
Chapter
Communication with and Between Mathematical Software Systems
OMDoc can be used as content language for communication protocols between mathematical software systems on the Internet. The ability to specify the context and meaning of the mathematical...
-
Chapter
OMDoc as a Modular Format
A modular approach to design is generally accepted as best practice in the development of any type of complex application. It separates the application’s functionality into a number of “building blocks” or “mo...