MMT
From MaRDI portal
Software:19191
swMATH7136MaRDI QIDQ19191FDOQ19191
Author name not available (Why is that?)
Cited In (50)
- A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics
- Flexary Operators for Formalized Mathematics
- Project Abstract: Logic Atlas and Integrator (LATIN)
- The future of logic: foundation-independence
- JEFL: joint embedding of formal proof libraries
- Lax Theory Morphisms
- Software citations, information systems, and beyond
- A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics
- Math Literate Knowledge Management via Induced Material
- A web-based toolkit for mathematical word processing applications with semantics
- A scalable module system
- Towards Knowledge Management for HOL Light
- Compensating the Computational Bias of Spreadsheets with MKM Techniques
- Mathematical models as research data via flexiformal theory graphs
- Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
- The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics
- Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13--17, 2018. Proceedings
- Aligning concepts across proof assistant libraries
- Diagram combinators in MMT
- A new export of the Mizar mathematical library
- Knowledge-Based Interoperability for Mathematical Software Systems
- A Modular Type Reconstruction Algorithm
- Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
- Realms: A Structure for Consolidating Knowledge about Mathematical Theories
- The Mizar Mathematical Library in OMDoc: translation and applications
- Classification of alignments between concepts of formal mathematical systems
- QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge
- Virtual Theories – A Uniform Interface to Mathematical Knowledge Bases
- LF+ in Coq for "fast and loose" reasoning
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge
- Formal Logic Definitions for Interchange Languages
- A Universal Machine for Biform Theory Graphs
- A Proof Theoretic Interpretation of Model Theoretic Hiding
- A Query Language for Formal Mathematical Libraries
- Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8--12, 2019. Proceedings
- System Description: MathHub.info
- Translating the IMPS theory library to MMT/OMDoc
- A bi-directional extensible interface between Lean and Mathematica
- Integrating semantic mathematical documents and dynamic notebooks
- Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8--12, 2013. Proceedings
- How to identify, translate and combine logics?
- Semantics of \textsc{OpenMath} and \textsc{MathML3}
- Experiences from exporting major proof assistant libraries
- Title not available (Why is that?)
- Generic Literals
- Implementing type theory in higher order constraint logic programming
- Structuring theories with implicit morphisms
- Combining Source, Content, Presentation, Narration, and Relational Representation
- A Foundational View on Integration Problems
- Matching Concepts across HOL Libraries
This page was built for software: MMT
