The following pages link to A scalable module system (Q391632):
Displaying 39 items.
- The future of logic: foundation-independence (Q263104) (← links)
- Making PVS accessible to generic services by interpretation in a universal format (Q1687752) (← links)
- The Mizar Mathematical Library in OMDoc: translation and applications (Q1945907) (← links)
- Semantics of \textsc{OpenMath} and \textsc{MathML3} (Q1948675) (← links)
- Experiences from exporting major proof assistant libraries (Q2069875) (← links)
- A new export of the Mizar mathematical library (Q2128826) (← links)
- Structuring theories with implicit morphisms (Q2185893) (← links)
- Structure-preserving diagram operators (Q2237343) (← links)
- Mathematical models as research data via flexiformal theory graphs (Q2364682) (← links)
- A web-based toolkit for mathematical word processing applications with semantics (Q2364686) (← links)
- Formalizing mathematical knowledge as a biform theory graph: a case study (Q2364688) (← links)
- Classification of alignments between concepts of formal mathematical systems (Q2364703) (← links)
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge (Q2663667) (← links)
- Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach (Q2817298) (← links)
- The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics (Q2819263) (← links)
- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs (Q2879095) (← links)
- A Query Language for Formal Mathematical Libraries (Q2907320) (← links)
- Theory Presentation Combinators (Q2907324) (← links)
- Generic Literals (Q3453109) (← links)
- A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics (Q3453111) (← links)
- Formal Logic Definitions for Interchange Languages (Q3453113) (← links)
- Math Literate Knowledge Management via Induced Material (Q3453114) (← links)
- Towards MKM in the Large: Modular Representation and Scalable Software Architecture (Q3582723) (← 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)
- Combining Source, Content, Presentation, Narration, and Relational Representation (Q5200120) (← links)
- Project Abstract: Logic Atlas and Integrator (LATIN) (Q5200129) (← links)
- LF+ in Coq for "fast and loose" reasoning (Q5210657) (← links)
- Lax Theory Morphisms (Q5277906) (← links)
- A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics (Q5495921) (← links)
- Realms: A Structure for Consolidating Knowledge about Mathematical Theories (Q5495928) (← links)
- Flexary Operators for Formalized Mathematics (Q5495932) (← links)
- Towards Knowledge Management for HOL Light (Q5495935) (← links)
- System Description: MathHub.info (Q5495942) (← links)
- (Q6079227) (← links)
- SpeX: a rewriting-based formal specification environment (Q6562521) (← links)
- Reusing learning objects via theory morphisms (Q6648165) (← links)
- A logical framework perspective on conservativity (Q6648169) (← links)
