11 Result(s)
within
Michael Kohlhase
Mathematics
-
Article
Open AccessBig Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge
-
Article
Semantics of OpenMath and MathML3
Even though OpenMath has been around for more than 10 years, there is still confusion about the “semantics of OpenMath”. As the recent MathML3 recommendation semantically bases Content MathML on OpenMath Objects,...
-
Article
Transforming Large Collections of Scientific Publications to XML
We describe an experiment transforming large collections of L a TEX documents to more machine-understandable representations. Concretely, we are translating the collection of sci...
-
Chapter and Conference Paper
An Integrated Development Environment for Collections
Authoring documents in MKM formats like OMDoc is a very tedious task. After years of working on a semantically annotated corpus of docu...
-
Chapter and Conference Paper
Dimensions of Formality: A Case Study for MKM in Software Engineering
We study the formalization of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection markup formats can cope with an open-ended, mu...
-
Chapter and Conference Paper
Towards MKM in the Large: Modular Representation and Scalable Software Architecture
MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large, highly interconnected corpora: “MKM in the ...
-
Article
Using
as a Semantic Markup Format
One of the great problems of Mathematical Knowledge Management (MKM) systems is to obtain access to a sufficiently large corpus of mathematical knowledge to allow the management/search/navigation techniques de...
-
Chapter and Conference Paper
Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch
The interest of the field of Mathematical Knowledge Management is predicated on the assumption that by investing into markup or formalization of mathematical knowledge, we can reap benefits in managing (creati...
-
Chapter and Conference Paper
Extended Formula Normalization for ε-Retrieval and Sharing of Mathematical Knowledge
Even though only a tiny fraction of mathematical knowledge is available digitally (e.g in theorem prover or computer algebra libraries, in documents with content-markup), our current retrieval methods are alre...
-
Chapter and Conference Paper
CPoint: Dissolving the Author’s Dilemma
Automated knowledge management techniques critically depend on the availability of semantically enhanced documents which are hard to come by in practice. Starting from a detailed look at the motivations of use...
-
Chapter and Conference Paper
A Tableau Calculus for Partial Functions
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions usi...
