The following pages link to A scalable module system (Q391632):
Displaying 8 items.
- 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)
- Spreadsheet Interaction with Frames: Exploring a Mathematical Practice (Q3637290) (← links)
- Compensating the Computational Bias of Spreadsheets with MKM Techniques (Q3637291) (← links)
- A Foundational View on Integration Problems (Q5200111) (← links)
- Project Abstract: Logic Atlas and Integrator (LATIN) (Q5200129) (← links)
- Lax Theory Morphisms (Q5277906) (← links)
