Math Literate Knowledge Management via Induced Material

DOI10.1007/978-3-319-20615-8_12MaRDI QIDQ3453114zbMATH OpenOpenAlexDBLPWikidataFDO

Authors 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)

Recommendations

• A Review of Mathematical Knowledge Management
• Mathematical knowledge management in Foc
• Mathematical knowledge management in MIZAR
• Mathematical knowledge management in HELM
• Mathematical knowledge management in HELM
• Knowledge representation and management in ACTIVEMATH
• Some Traditional Mathematical Knowledge Management
• Mathematical Knowledge Management
• Managing Informal Mathematical Knowledge: Techniques from Informal Logic

Cites work

• A data model and encoding for a semantic, multilingual terminology of mathematics
• A foundational view on integration problems
• A framework for defining logics
• A scalable module system
• MathWebSearch 0.5: Scaling an Open Formula Search Engine
• Notations for Living Mathematical Documents
• Project abstract: logic atlas and integrator (LATIN)
• Realms: a structure for consolidating knowledge about mathematical theories
• Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
• The Mizar Mathematical Library in OMDoc: translation and applications
• The MMT API: a generic MKM system

Cited in

(1)

• Communities of Practice in MKM: An Extensional Model

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3453114)