Change detection in hierarchically structured information
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
MBase: representing knowledge and context for the intergration of mathematical software systems
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
Towards an Evolutionary Formal Software-Development Using CASL
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
The Development Graph Manager MAYA
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
HELM and the Semantic Math-Web
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
System Description: MBASE, an Open Mathematical Knowledge Base
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
Management of Change in Structured Verification
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Storing and Querying Multiversion XML Documents using Durable Node Numbers
WISE '01 Proceedings of the Second International Conference on Web Information Systems Engineering (WISE'01) Volume 1 - Volume 1
XML three-way merge as a reconciliation engine for mobile data
Proceedings of the 3rd ACM international workshop on Data engineering for wireless and mobile access
Integrating Searching and Authoring in Mizar
Journal of Automated Reasoning
An exploration in the space of mathematical knowledge
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Engineering mathematical knowledge
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
| Hi-index | 0.00 |
We propose an infrastructure for collaborative content management and version control for structured mathematical knowledge. This will enable multiple users to work jointly on mathematical theories with minimal interference.We describe the API and the functionality needed to realize a CVS-like version control and distribution model. This architecture extends the CVS architecture in two ways, motivated by the specific needs of distributed management of structured mathematical knowledge on the Internet. On the one hand the one-level client/server model of CVS is generalized to a multi-level graph of client/server relations, and on the other hand the underlying change-detection tools take the math-specific structure of the data into account.