(Deep) FAIR mathematics

scientific article published in 2020

A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics

article

A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics

article

A Foundational View on Integration Problems

A Mathematical Approach to Ontology Authoring and Documentation

A Proof Theoretic Interpretation of Model Theoretic Hiding

article published in 2012

A Search Engine for Mathematical Formulae

scientific article published in 2006

A Universal Machine for Biform Theory Graphs

A scalable module system

An Integrated Development Environment for Collections

article

Applying Semantic Techniques to Search and Analyze Bug Tracking Data

Bringing Mathematics to the Web of Data: The Case of the Mathematics Subject Classification

article by Christoph Lange et al published 2012 in Lecture Notes in Computer Science

Classification of Alignments Between Concepts of Formal Mathematical Systems

Combining Source, Content, Presentation, Narration, and Relational Representation

Compensating the Computational Bias of Spreadsheets with MKM Techniques

article

Context-Aware Adaptation: A Case Study On Mathematical Notations

Die Beweisentwicklungsumgebung $\Omega$ -M krp

Dimensions of Formality: A Case Study for MKM in Software Engineering

scholarly article by Andrea Kohlhase et al published 2010 in Lecture Notes in Computer Science

Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs

Extending MKM Formats at the Statement Level

Faceted Search for Mathematics

Flexary Operators for Formalized Mathematics

Formal Management of CAD/CAM Processes

Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences

article

Full Semantic Transparency: Overcoming Boundaries of Applications

Higher-Order Multi-Valued Resolution

Higher-order semantics and extensionality

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach

Knowledge-Based Interoperability for Mathematical Software Systems

Licensing the Mizar Mathematical Library

MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems

MBase: Representing mathematical Knowledge in a Relational Data Base

Maintaining islands of consistency via versioned links

Making PVS Accessible to Generic Services by Interpretation in a Universal Format

Mashups Using Mathematical Knowledge

Math Literate Knowledge Management via Induced Material

MathWebSearch 0.5: Scaling an Open Formula Search Engine

article

Mathematical Models as Research Data via Flexiformal Theory Graphs

Mathematical models as research data in numerical simulation of opto-electronic devices

Modeling task experience in user assistance systems

NTCIR-11 Math-2 Task Overview ⬇️

conference paper published in 2014

Notations for Living Mathematical Documents

Project Abstract: Logic Atlas and Integrator (LATIN)

Publishing Math Lecture Notes as Linked Data

Realms: A Structure for Consolidating Knowledge about Mathematical Theories

article

Reasoning without believing: on the mechanisation of presuppositions and partiality

article by Manfred Kerber & Michael Kohlhase published December 2012 in Journal of Applied Non-Classical Logics

Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset

article by Christoph Lange et al published 2012 in Lecture Notes in Computer Science

Representing, Archiving, and Searching the Space of Mathematical Knowledge

STEX+

SWiM

Scripting Documents with XQuery: Virtual Documents in TNTBase

Semantic Alliance: A Framework for Semantic Allies

Semantic Knowledge Management for Education

Semantic transparency in user assistance systems

Semantics of OpenMath and MathML3

Software Citations, Information Systems, and Beyond

Spreadsheet Interaction with Frames: Exploring a Mathematical Practice

article

System Description: A Semantics-Aware to-Office Converter

System Description: MathHub.info

System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving

article by Andreas Franke & Michael Kohlhase published 1999 in Lecture Notes in Computer Science

TNTBase: Versioned Storage for XML

The Flexiformalist Manifesto

The LaTeXML Daemon: Editable Math on the Collaborative Web

The Mizar Mathematical Library in OMDoc: Translation and Applications

The Planetary Project: Towards eMath3.0

The Planetary System: Executable Science, Technology, Engineering and Math Papers

The Planetary System: Web 3.0 & Active Documents for STEM

article

The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics

Towards Logical Frameworks in the Heterogeneous Tool Set Hets

article

Towards MKM in the Large: Modular Representation and Scalable Software Architecture

scholarly article by Michael Kohlhase et al published 2010 in Lecture Notes in Computer Science

Towards a Community of Practice Toolkit Based on Semantically Marked Up Artifacts

Towards a flexible notion of document context

Transforming Large Collections of Scientific Publications to XML

Transforming the arχiv to XML

Unification in order-sorted type theory

Unifying Math Ontologies: A Tale of Two Standards

Using as a Semantic Markup Format

Virtual Theories – A Uniform Interface to Mathematical Knowledge Bases

Visual Structure in Mathematical Expressions

Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics