OMDoc

swMATH7138MaRDI QIDQ19193FDOQ19193

Author name not available (Why is that?)

Cited In (88)

• A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics
• Methods to Access and Retrieve Mathematical Content in ActiveMath
• A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics
• Math Literate Knowledge Management via Induced Material
• Compensating the Computational Bias of Spreadsheets with MKM Techniques
• Change Management for Heterogeneous Development Graphs
• Dealing with algebraic expressions over a field in Coq using Maple
• Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book
• Knowledge-Based Interoperability for Mathematical Software Systems
• Methods and means for semantic structuring of electronic mathematical documents
• A Mathematical Approach to Ontology Authoring and Documentation
• Mathematical Knowledge Management
• Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems
• Mechanizing Mathematical Reasoning
• Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences
• Mathematical Knowledge Management
• Checking content consistency of integrated web documents
• Title not available (Why is that?)
• \(\text{OntoMath}^{\text{PRO}}\) 2.0 ontology: updates of formal model
• Mathematical knowledge representation: semantic models and formalisms
• Notations for Living Mathematical Documents
• Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
• Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants
• fKenzo: a user interface for computations in algebraic topology
• The future of logic: foundation-independence
• TGView3D: a system for 3-dimensional visualization of theory graphs
• A scalable module system
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• Towards Knowledge Management for HOL Light
• \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
• Communication protocols for mathematical services based on KQML and OMRS
• Mathematical models as research data via flexiformal theory graphs
• Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
• Representing model theory in a type-theoretical logical framework
• The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics
• MathLang: experience-driven development of a new mathematical language
• Mathematical Knowledge Management
• Formal Proof: Reconciling Correctness and Understanding
• Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13--17, 2018. Proceedings
• Using the TPTP Language for Writing Derivations and Finite Interpretations
• Mizar: State-of-the-art and Beyond
• Progress in the Development of Automated Theorem Proving for Higher-Order Logic
• Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization
• Four decades of {\textsc{Mizar}}. Foreword
• Mathematical Knowledge Management
• A new export of the Mizar mathematical library
• MBase: Representing knowledge and context for the integration of mathematical software systems
• Towards semantic mathematical editing
• Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
• Title not available (Why is that?)
• \textit{Theorema}: Towards computer-aided mathematical theory exploration
• The Mizar Mathematical Library in OMDoc: translation and applications
• QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge
• Artificial Intelligence and Soft Computing - ICAISC 2004
• Virtual Theories – A Uniform Interface to Mathematical Knowledge Bases
• Web interfaces for proof assistants
• The RISC ProofNavigator: a proving assistant for program verification in the classroom
• Certified and portable mathematical documents from formal contexts
• Mathematical research data, software, models, and the publication-based approach
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Artificial Intelligence and Symbolic Computation
• Formal Logic Definitions for Interchange Languages
• A Universal Machine for Biform Theory Graphs
• Mathematics and argumentation
• A Proof Theoretic Interpretation of Model Theoretic Hiding
• A Search Engine for Mathematical Formulae
• Mathematical Knowledge Management
• Flexary connectives in Mizar
• Unifying Math Ontologies: A Tale of Two Standards
• A Vernacular for Coherent Logic
• Mathematical context in interactive documents
• Tactics for hierarchical proof
• Transforming large collections of scientific publications to XML
• System Description: MathHub.info
• Mathematical Knowledge Management
• Translating the IMPS theory library to MMT/OMDoc
• Authoring LeActiveMath Calculus Content
• Proof assistants: history, ideas and future
• Towards MKM in the Large: Modular Representation and Scalable Software Architecture
• Innovations in computational type theory using Nuprl
• Verifying and Invalidating Textbook Proofs Using Scunak
• Integrating Web Services into Active Mathematical Documents
• Semantics of \textsc{OpenMath} and \textsc{MathML3}
• Knowledge representation and management in ACTIVEMATH
• Experiences from exporting major proof assistant libraries
• Using La\TeX\ as a semantic markup format
• Making PVS accessible to generic services by interpretation in a universal format
• Semantics of Mizar as an Isabelle object logic

This page was built for software: OMDoc