MMT
From MaRDI portal
Software:19191
swMATH7136MaRDI QIDQ19191FDOQ19191
Author name not available (Why is that?)
Cited In (50)
- The future of logic: foundation-independence
- JEFL: joint embedding of formal proof libraries
- Software citations, information systems, and beyond
- Math Literate Knowledge Management via Induced Material
- A web-based toolkit for mathematical word processing applications with semantics
- Enabling collaboration on semiformal mathematical knowledge by semantic web integration
- 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
- Combining source, content, presentation, narration, and relational representation
- The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics
- Formal logic definitions for interchange languages
- 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
- Matching concepts across HOL libraries
- A new export of the Mizar mathematical library
- A data model and encoding for a semantic, multilingual terminology of mathematics
- Flexary operators for formalized mathematics
- A foundational view on integration problems
- A proof theoretic interpretation of model theoretic hiding
- A query language for formal mathematical libraries
- A universal machine for biform theory graphs
- A Modular Type Reconstruction Algorithm
- Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
- Project abstract: logic atlas and integrator (LATIN)
- Generic literals
- Lax theory morphisms
- The Mizar Mathematical Library in OMDoc: translation and applications
- Classification of alignments between concepts of formal mathematical systems
- LF+ in Coq for "fast and loose" reasoning
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge
- Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8--12, 2019. Proceedings
- Translating the IMPS theory library to MMT/OMDoc
- A bi-directional extensible interface between Lean and Mathematica
- Integrating semantic mathematical documents and dynamic notebooks
- Realms: a structure for consolidating knowledge about mathematical theories
- 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
- A flexiformal model of knowledge dissemination and aggregation in mathematics
- Implementing type theory in higher order constraint logic programming
- Structuring theories with implicit morphisms
- Knowledge-based interoperability for mathematical software systems
- QED reloaded: towards a pluralistic formal library of mathematical knowledge
- System description: MathHub.info
- Interoperability in the OpenDreamKit project: the math-in-the-middle approach
- Virtual theories -- a uniform interface to mathematical knowledge bases
This page was built for software: MMT
