56 Result(s)
within
Chapter
Michael Kohlhase
Information Storage and Retrieval
Mathematical Logic and Formal Languages
-
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
The LaTeXML Daemon: Editable Math on the Collaborative Web
The language of the ${T\kern-.1667em\lower.7ex\hbox{E}\kern-.125emX}/{\rm L\kern-.36em\raise.3ex\hbox{\sc a}\kern-.15em T\kern-.1667em...
-
Chapter and Conference Paper
Project Abstract: Logic Atlas and Integrator (LATIN)
LATIN aims at develo** methods, techniques, and tools for interfacing logics and related formal systems. These systems are at the core of mathematics and computer science and are implemented in systems like ...
-
Chapter and Conference Paper
A Foundational View on Integration Problems
The integration of reasoning and computation services across system and language boundaries is a challenging problem of computer science. In this paper, we use integration for the scenario where we have two sy...
-
Chapter and Conference Paper
Licensing the Mizar Mathematical Library
The Mizar Mathematical Library (MML) is a large corpus of formalised mathematical knowledge. It has been constructed over the course of many years by a large number of authors and maintainers. Yet the legal statu...
-
Chapter and Conference Paper
Combining Source, Content, Presentation, Narration, and Relational Representation
In this paper, we try to bridge the gap between different dimensions/incarnations of mathematical knowledge: MKM representation formats (content), their human-oriented languages (source, presentation), their n...
-
Chapter and Conference Paper
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics
Mathematical knowledge is a central component in science, engineering, and technology (documentation). Most of it is represented informally, and – in contrast to published research mathematics – subject to con...
-
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.
