Dimensions of formality: a case study for MKM in software engineering

DOI10.1007/978-3-642-14128-7_31MaRDI QIDQ3582721zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Andrea Kohlhase, Michael Kohlhase, Christoph Lange

Publication date 24 August 2010

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

Full work available at URL https://doi.org/10.1007/978-3-642-14128-7_31

zbMATH Keywords

mathematical knowledge management

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Extending MKM formats at the statement level
• Combining source, content, presentation, narration, and relational representation
• Towards MKM in the large: modular representation and scalable software architecture
• A Mathematical Approach to Ontology Authoring and Documentation
• Early examples of software in mathematical knowledge management

Cited in

(1)

• Extending MKM formats at the statement level

Describes a project that uses

Uses Software

• STEX+
• SPARQL
• MathDox
• Hets
• foaf

This page was built for publication: Dimensions of formality: a case study for MKM in software engineering

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