Math Literate Knowledge Management via Induced Material

DOI10.1007/978-3-319-20615-8_12zbMath1417.68208OpenAlexW802316330WikidataQ57389314 ScholiaQ57389314MaRDI QIDQ3453114

Mihnea Iancu, Michael Kohlhase

Publication date: 20 November 2015

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-20615-8_12

Mathematics Subject Classification ID

Knowledge representation (68T30)

Uses Software

• MathWebSearch
• Mizar
• MMT
• OMDoc
• LATIN
• PlanetMath
• SACHS

Cites Work

• A scalable module system
• The Mizar Mathematical Library in OMDoc: translation and applications
• The MMT API: A Generic MKM System
• MathWebSearch 0.5: Scaling an Open Formula Search Engine
• Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
• A framework for defining logics
• A Foundational View on Integration Problems
• Project Abstract: Logic Atlas and Integrator (LATIN)
• A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics
• Realms: A Structure for Consolidating Knowledge about Mathematical Theories
• Notations for Living Mathematical Documents

This page was built for publication: Math Literate Knowledge Management via Induced Material