16 Result(s)
within
Chapter
Conference Paper
Michael Kohlhase
Computer Science
Mathematical Logic and Formal Languages
Symbolic and Algebraic Manipulation
-
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 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 and Conference Paper
Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge
We propose an infrastructure for collaborative content management and version control for structured mathematical knowledge. This will enable multiple users to work jointly on mathematical theories with minima...
-
Chapter and Conference Paper
OMDoc: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge
In this paper we present an extension OMDoc to the Open- Math standard that allows the representation of the semantics and structure of various kinds of mathematical documents, including articles, textbooks, i...
