MMT
From MaRDI portal
Cited in
(only showing first 100 items - show all)- MathWebSearch
- Aligning concepts across proof assistant libraries
- Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13--17, 2018. Proceedings
- MoMM
- GtkMathView
- Translating the IMPS theory library to MMT/OMDoc
- SCSCP
- Hets
- LaTeXML
- QMT
- OMDoc
- TNTBase
- Isabelle/PIDE
- Lurch
- NNexus
- MathDox
- The Mizar Mathematical Library in OMDoc: translation and applications
- Semantics of \textsc{OpenMath} and \textsc{MathML3}
- STEXIDE
- STEX+
- Polar
- GF
- Experiences from exporting major proof assistant libraries
- Formulator MathML
- IMPS
- A new export of the Mizar mathematical library
- Structuring theories with implicit morphisms
- Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8--12, 2019. Proceedings
- Diagram combinators in MMT
- Integrating semantic mathematical documents and dynamic notebooks
- Mathematical models as research data via flexiformal theory graphs
- A web-based toolkit for mathematical word processing applications with semantics
- Classification of alignments between concepts of formal mathematical systems
- Software citations, information systems, and beyond
- Specware
- MathHub.info
- GF
- The future of logic: foundation-independence
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge
- A bi-directional extensible interface between Lean and Mathematica
- OpenDreamKit
- Interoperability in the OpenDreamKit project: the math-in-the-middle approach
- The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics
- A universal machine for biform theory graphs
- GAPDoc
- A proof theoretic interpretation of model theoretic hiding
- A query language for formal mathematical libraries
- Enabling collaboration on semiformal mathematical knowledge by semantic web integration
- How to identify, translate and combine logics?
- theoremprover-museum
- LATIN
- LLFp
- Literate CoffeeScript
- MathQuill
- biber
- Generic literals
- A flexiformal model of knowledge dissemination and aggregation in mathematics
- Formal logic definitions for interchange languages
- Math Literate Knowledge Management via Induced Material
- MPDHub
- jsfs
- Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8--12, 2013. Proceedings
- PlanetMath
- TinyMCE
- Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
- Compensating the Computational Bias of Spreadsheets with MKM Techniques
- GitLab
- Aligator.jl
- MathTools
- RISCAL
- sTeX
- A scalable module system
- SMGLoM
- ELPI
- CPoint
- MathChat
- SACHS
- CoffeeScript
- MathML
- MathInTheMiddle
- MMTTeX
- CoqInE
- Logipedia
- TGView3D
- Py4J
- Whelp
- OpenTheory
- A Modular Type Reconstruction Algorithm
- Knowledge-based interoperability for mathematical software systems
- Virtual theories -- a uniform interface to mathematical knowledge bases
- QED reloaded: towards a pluralistic formal library of mathematical knowledge
- A foundational view on integration problems
- Combining source, content, presentation, narration, and relational representation
- Project abstract: logic atlas and integrator (LATIN)
- LF+ in Coq for "fast and loose" reasoning
- Implementing type theory in higher order constraint logic programming
- Lax theory morphisms
- A data model and encoding for a semantic, multilingual terminology of mathematics
- Realms: a structure for consolidating knowledge about mathematical theories
- Matching concepts across HOL libraries
This page was built for software: MMT
