Towards collaborative content management and version control for structured mathematical knowledge

DOI10.1007/3-540-36469-2_12MaRDI QIDQ4413891zbMATH OpenFDO

Authors Michael Kohlhase, Romeo Anghelache

Publication date 21 July 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2594/25940147.htm

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• A Wiki for Mizar: motivation, considerations, and initial prototype
• Mathematical Knowledge Management
• Cooperative Repositories for Formal Proofs
• Mathematical knowledge management in HELM
• Enabling collaboration on semiformal mathematical knowledge by semantic web integration

Cited in

(13)

• Integrating searching and authoring in Mizar
• From G. H. H. and Littlewood to XML and Maple: Changing needs and expectations in mathematical knowledge management
• Managing user-generated content as a knowledge commons
• Enabling collaboration on semiformal mathematical knowledge by semantic web integration
• A Wiki for Mizar: motivation, considerations, and initial prototype
• Collaborative Assistant to Handle MathML Expressions
• Merging collection data structures in a content management system
• OMDOC: Towards an internet standard for the administration, distribution, and teaching of mathematical knowledge
• scientific article; zbMATH DE number 1538940 (Why is no real title available?)
• Managing and sharing collaborative files through WWW
• Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management*
• Mathematical Knowledge Management
• Mathematical Knowledge Management

Describes a project that uses

Uses Software

• MAYA
• MBase

This page was built for publication: Towards collaborative content management and version control for structured mathematical knowledge

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