MMT
From MaRDI portal
swMATH7136MaRDI QIDQ19191FDOQ19191
Author name not available (Why is that?)
Official website: https://uniformal.github.io/doc/language/
Cited In (only showing first 100 items - show all)
- sTeX3
- Software citations, information systems, and beyond
- Math Literate Knowledge Management via Induced Material
- Enabling collaboration on semiformal mathematical knowledge by semantic web integration
- Compensating the Computational Bias of Spreadsheets with MKM Techniques
- Combining source, content, presentation, narration, and relational representation
- Diagram combinators in MMT
- ProofWidgets
- A data model and encoding for a semantic, multilingual terminology of mathematics
- LF+ in Coq for "fast and loose" reasoning
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge
- A bi-directional extensible interface between Lean and Mathematica
- Integrating semantic mathematical documents and dynamic notebooks
- A flexiformal model of knowledge dissemination and aggregation in mathematics
- Knowledge-based interoperability for mathematical software systems
- Virtual theories -- a uniform interface to mathematical knowledge bases
- The future of logic: foundation-independence
- JEFL: joint embedding of formal proof libraries
- A web-based toolkit for mathematical word processing applications with semantics
- A scalable module system
- Towards Knowledge Management for HOL Light
- Mathematical models as research data via flexiformal theory graphs
- 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
- Matching concepts across HOL libraries
- A new export of the Mizar mathematical library
- 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
- 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
- Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8--12, 2019. Proceedings
- 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
- Translating the IMPS theory library to MMT/OMDoc
- 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
This page was built for software: MMT
