Towards MKM in the Large: Modular Representation and Scalable Software Architecture
From MaRDI portal
Publication:3582723
DOI10.1007/978-3-642-14128-7_32zbMath1278.68297arXiv1005.5232OpenAlexW2950226449WikidataQ57389402 ScholiaQ57389402MaRDI QIDQ3582723
Vyacheslav Zholudev, Michael Kohlhase, Florian Rabe
Publication date: 24 August 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1005.5232
Related Items (7)
A Query Language for Formal Mathematical Libraries ⋮ A scalable module system ⋮ The Mizar Mathematical Library in OMDoc: translation and applications ⋮ A logical framework combining model and proof theory ⋮ A Foundational View on Integration Problems ⋮ Project Abstract: Logic Atlas and Integrator (LATIN) ⋮ Realms: A Structure for Consolidating Knowledge about Mathematical Theories
Uses Software
This page was built for publication: Towards MKM in the Large: Modular Representation and Scalable Software Architecture
