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

DOI10.1007/978-3-319-08434-3_13zbMath1304.68173OpenAlexW56438983WikidataQ57389316 ScholiaQ57389316MaRDI QIDQ5495921

Michael Kohlhase

Publication date: 7 August 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08434-3_13

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (3)

Visual structure in mathematical expressions ⋮ Math Literate Knowledge Management via Induced Material ⋮ The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics

Uses Software

• WordNet
• MMT
• QMT
• OMDoc
• GF
• MathHub.info
• LATIN
• sTeX
• SMGLoM
• LaTeX

Cites Work

• Unnamed Item
• Unnamed Item
• Selectional restrictions, types and categories
• A scalable module system
• Using La\TeX\ as a semantic markup format
• The MMT API: A Generic MKM System
• Project Abstract: Logic Atlas and Integrator (LATIN)
• System Description: MathHub.info
• Mathematical Knowledge Management

This page was built for publication: A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics