The following pages link to MMT (Q19191):
Displaying 50 items.
- The future of logic: foundation-independence (Q263104) (← links)
- Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8--12, 2013. Proceedings (Q352758) (← links)
- A scalable module system (Q391632) (← links)
- JEFL: joint embedding of formal proof libraries (Q831932) (← links)
- Aligning concepts across proof assistant libraries (Q1640642) (← links)
- Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13--17, 2018. Proceedings (Q1653699) (← links)
- Translating the IMPS theory library to MMT/OMDoc (Q1798938) (← 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)
- Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8--12, 2019. Proceedings (Q2282174) (← links)
- Diagram combinators in MMT (Q2287911) (← links)
- Integrating semantic mathematical documents and dynamic notebooks (Q2287923) (← 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)
- Classification of alignments between concepts of formal mathematical systems (Q2364703) (← links)
- Software citations, information systems, and beyond (Q2364704) (← links)
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge (Q2663667) (← links)
- A bi-directional extensible interface between Lean and Mathematica (Q2673306) (← 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)
- A Universal Machine for Biform Theory Graphs (Q2843007) (← links)
- A Proof Theoretic Interpretation of Model Theoretic Hiding (Q2890327) (← links)
- A Query Language for Formal Mathematical Libraries (Q2907320) (← links)
- (Q3116967) (← links)
- How to identify, translate and combine logics? (Q3133182) (← 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)
- Spreadsheet Interaction with Frames: Exploring a Mathematical Practice (Q3637290) (← links)
- Compensating the Computational Bias of Spreadsheets with MKM Techniques (Q3637291) (← links)
- A Modular Type Reconstruction Algorithm (Q4617969) (← links)
- Knowledge-Based Interoperability for Mathematical Software Systems (Q4628490) (← links)
- Virtual Theories – A Uniform Interface to Mathematical Knowledge Bases (Q4628493) (← links)
- QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge (Q5195275) (← 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)
- Implementing type theory in higher order constraint logic programming (Q5236551) (← 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)
- Matching Concepts across HOL Libraries (Q5495929) (← links)
- Flexary Operators for Formalized Mathematics (Q5495932) (← links)
- Towards Knowledge Management for HOL Light (Q5495935) (← links)
- System Description: MathHub.info (Q5495942) (← links)
