MMT
From MaRDI portal
Software:19191
No author found.
Related Items (50)
LF+ in Coq for "fast and loose" reasoning ⋮ Lax Theory Morphisms ⋮ 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 ⋮ A Proof Theoretic Interpretation of Model Theoretic Hiding ⋮ A new export of the Mizar mathematical library ⋮ JEFL: joint embedding of formal proof libraries ⋮ 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 ⋮ A Query Language for Formal Mathematical Libraries ⋮ Aligning concepts across proof assistant libraries ⋮ Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13--17, 2018. Proceedings ⋮ Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8--12, 2013. Proceedings ⋮ Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge ⋮ A scalable module system ⋮ A bi-directional extensible interface between Lean and Mathematica ⋮ Structuring theories with implicit morphisms ⋮ The Mizar Mathematical Library in OMDoc: translation and applications ⋮ Semantics of \textsc{OpenMath} and \textsc{MathML3} ⋮ A Modular Type Reconstruction Algorithm ⋮ Knowledge-Based Interoperability for Mathematical Software Systems ⋮ Virtual Theories – A Uniform Interface to Mathematical Knowledge Bases ⋮ Unnamed Item ⋮ Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8--12, 2019. Proceedings ⋮ A Foundational View on Integration Problems ⋮ Combining Source, Content, Presentation, Narration, and Relational Representation ⋮ Project Abstract: Logic Atlas and Integrator (LATIN) ⋮ Diagram combinators in MMT ⋮ Integrating semantic mathematical documents and dynamic notebooks ⋮ Translating the IMPS theory library to MMT/OMDoc ⋮ Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach ⋮ The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics ⋮ Spreadsheet Interaction with Frames: Exploring a Mathematical Practice ⋮ Compensating the Computational Bias of Spreadsheets with MKM Techniques ⋮ Experiences from exporting major proof assistant libraries ⋮ Implementing type theory in higher order constraint logic programming ⋮ 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 ⋮ Flexary Operators for Formalized Mathematics ⋮ Towards Knowledge Management for HOL Light ⋮ System Description: MathHub.info ⋮ A Universal Machine for Biform Theory Graphs ⋮ How to identify, translate and combine logics? ⋮ QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge ⋮ The future of logic: foundation-independence
This page was built for software: MMT
