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