Pages that link to "Item:Q3582723"
From MaRDI portal
The following pages link to Towards MKM in the Large: Modular Representation and Scalable Software Architecture (Q3582723):
Displaying 13 items.
- A scalable module system (Q391632) (← links)
- Organization, transformation, and propagation of mathematical knowledge in \(\Omega \)mega (Q841687) (← links)
- Mathematical knowledge management in HELM (Q1810904) (← links)
- The Mizar Mathematical Library in OMDoc: translation and applications (Q1945907) (← links)
- Mathematical knowledge management in HELM (Q2767919) (← links)
- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs (Q2879095) (← links)
- A Query Language for Formal Mathematical Libraries (Q2907320) (← links)
- Dimensions of Formality: A Case Study for MKM in Software Engineering (Q3582721) (← links)
- A Foundational View on Integration Problems (Q5200111) (← links)
- Project Abstract: Logic Atlas and Integrator (LATIN) (Q5200129) (← links)
- A logical framework combining model and proof theory (Q5400853) (← links)
- Realms: A Structure for Consolidating Knowledge about Mathematical Theories (Q5495928) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)