MMT

From MaRDI portal
Software:19191



swMATH7136MaRDI QIDQ19191


No author found.





Related Items (50)

LF+ in Coq for "fast and loose" reasoningLax Theory MorphismsMathematical models as research data via flexiformal theory graphsA web-based toolkit for mathematical word processing applications with semanticsClassification of alignments between concepts of formal mathematical systemsSoftware citations, information systems, and beyondA Proof Theoretic Interpretation of Model Theoretic HidingA new export of the Mizar mathematical libraryJEFL: joint embedding of formal proof librariesGeneric LiteralsA Flexiformal Model of Knowledge Dissemination and Aggregation in MathematicsFormal Logic Definitions for Interchange LanguagesMath Literate Knowledge Management via Induced MaterialA Query Language for Formal Mathematical LibrariesAligning concepts across proof assistant librariesIntelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13--17, 2018. ProceedingsIntelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8--12, 2013. ProceedingsBig Math and the one-brain barrier: the tetrapod model of mathematical knowledgeA scalable module systemA bi-directional extensible interface between Lean and MathematicaStructuring theories with implicit morphismsThe Mizar Mathematical Library in OMDoc: translation and applicationsSemantics of \textsc{OpenMath} and \textsc{MathML3}A Modular Type Reconstruction AlgorithmKnowledge-Based Interoperability for Mathematical Software SystemsVirtual Theories – A Uniform Interface to Mathematical Knowledge BasesUnnamed ItemIntelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8--12, 2019. ProceedingsA Foundational View on Integration ProblemsCombining Source, Content, Presentation, Narration, and Relational RepresentationProject Abstract: Logic Atlas and Integrator (LATIN)Diagram combinators in MMTIntegrating semantic mathematical documents and dynamic notebooksTranslating the IMPS theory library to MMT/OMDocInteroperability in the OpenDreamKit Project: The Math-in-the-Middle ApproachThe SMGloM Project and System: Towards a Terminology and Ontology for MathematicsSpreadsheet Interaction with Frames: Exploring a Mathematical PracticeCompensating the Computational Bias of Spreadsheets with MKM TechniquesExperiences from exporting major proof assistant librariesImplementing type theory in higher order constraint logic programmingA Data Model and Encoding for a Semantic, Multilingual Terminology of MathematicsRealms: A Structure for Consolidating Knowledge about Mathematical TheoriesMatching Concepts across HOL LibrariesFlexary Operators for Formalized MathematicsTowards Knowledge Management for HOL LightSystem Description: MathHub.infoA Universal Machine for Biform Theory GraphsHow to identify, translate and combine logics?QED Reloaded: Towards a Pluralistic Formal Library of Mathematical KnowledgeThe future of logic: foundation-independence


This page was built for software: MMT