Mathematical Knowledge Management

DOI10.1007/11618027MaRDI QIDQ5898524zbMATH OpenOpenAlexFDO

Authors Achim Mahnke, Jan Scheffczyk

Publication date 12 February 2007

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

Full work available at URL https://doi.org/10.1007/11618027

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Workflows for the management of change in science, technologies, engineering and mathematics
• Mathematical knowledge management in HELM
• Mathematical knowledge management in HELM
• From G.H.H. and Littlewood to XML and Maple: changing needs and expectations in mathematical knowledge management
• scientific article; zbMATH DE number 1951636

Cited in

(8)

• Workflows for the management of change in science, technologies, engineering and mathematics
• scientific article; zbMATH DE number 1951636 (Why is no real title available?)
• From G.H.H. and Littlewood to XML and Maple: changing needs and expectations in mathematical knowledge management
• scientific article; zbMATH DE number 5551410 (Why is no real title available?)
• Revisions as an Essential Tool to Maintain Mathematical Repositories
• Towards Mathematical Knowledge Management for Electrical Engineering
• Prior specification is engineering, not mathematics
• Towards an annotation standard for STEM documents. Datasets, benchmarks, and spotters

This page was built for publication: Mathematical Knowledge Management

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