Pages that link to "Item:Q5200111"
From MaRDI portal
The following pages link to A Foundational View on Integration Problems (Q5200111):
Displayed 6 items.
- A scalable module system (Q391632) (← links)
- Semantics of \textsc{OpenMath} and \textsc{MathML3} (Q1948675) (← links)
- Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach (Q2817298) (← links)
- A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics (Q3453111) (← links)
- Math Literate Knowledge Management via Induced Material (Q3453114) (← links)
- Towards Knowledge Management for HOL Light (Q5495935) (← links)