59 Result(s)
within
Chapter
Michael Kohlhase
Computer Science
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
Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
Since Mathematics really is about what mathematicians do, in this paper, we will look at the mathematical practice of framing, in which an object of interest is viewed in terms of well-understood mathematical str...
-
Chapter and Conference Paper
Unifying Math Ontologies: A Tale of Two Standards
One of the fundamental and seemingly simple aims of mathematical knowledge management (MKM) is to develop and standardize formats that allow to “represent the meaning of the objects of mathematics”. The open f...
-
Chapter and Conference Paper
A Mathematical Approach to Ontology Authoring and Documentation
The semantic web ontology languages RDFS and OWL are widely used but limited in both their expressivity and their support for modularity and integrated documentation. Expressivity, modularity, and documentatio...
-
Chapter and Conference Paper
Compensating the Computational Bias of Spreadsheets with MKM Techniques
Spreadsheets are mathematical documents that are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direct approach to computation. In t...
-
Chapter and Conference Paper
Transforming the arχiv to XML
We describe an experiment of transforming large collections of documents to more machine-understandable representations. Concre...
-
Chapter and Conference Paper
Notations for Living Mathematical Documents
Notations are central for understanding mathematical discourse. Readers would like to read notations that transport the meaning well and prefer notations that are familiar to them. Therefore, authors optimize ...
-
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.
