OMDoc
From MaRDI portal
Cited in
(only showing first 100 items - show all)- The RISC ProofNavigator: a proving assistant for program verification in the classroom
- Proof assistants: history, ideas and future
- mizar-items
- Theorema
- fKenzo
- CoFI
- CASL
- OMRS
- MAYA
- MathWebSearch
- Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13--17, 2018. Proceedings
- Mathematical research data, software, models, and the publication-based approach
- The role of the Mizar mathematical library for interactive proof development in Mizar
- Isar
- MoMM
- Making PVS accessible to generic services by interpretation in a universal format
- Flexary connectives in Mizar
- TeXmacs
- ASCIIMathML
- Translating the IMPS theory library to MMT/OMDoc
- Knowledge representation and management in ACTIVEMATH
- ActiveMath
- SCSCP
- C-CoRN
- Hets
- Automath
- LaTeXML
- MMT
- QMT
- TNTBase
- Isabelle/PIDE
- NNexus
- MathDox
- Aplusix-editor
- The Mizar Mathematical Library in OMDoc: translation and applications
- Semantics of \textsc{OpenMath} and \textsc{MathML3}
- STEXIDE
- GF
- ALF
- Experiences from exporting major proof assistant libraries
- MBase
- Aplusix
- IMPS
- A new export of the Mizar mathematical library
- gaia
- Proof General Kit
- Pcoq
- ELM-ART
- TGView3D: a system for 3-dimensional visualization of theory graphs
- Mathematical knowledge representation: semantic models and formalisms
- Mathematics and argumentation
- Semantics of Mizar as an Isabelle object logic
- Towards semantic mathematical editing
- arXMLiv
- Mathematical models as research data via flexiformal theory graphs
- fKenzo: a user interface for computations in algebraic topology
- LeActiveMath
- Dealing with algebraic expressions over a field in Coq using Maple
- Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book
- Checking content consistency of integrated web documents
- MathHub.info
- WolframAlpha
- CTAN
- The future of logic: foundation-independence
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
- \(\text{OntoMath}^{\text{PRO}}\) 2.0 ontology: updates of formal model
- OpenDreamKit
- Communication protocols for mathematical services based on KQML and OMRS
- Certified and portable mathematical documents from formal contexts
- Interoperability in the OpenDreamKit project: the math-in-the-middle approach
- The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics
- Formula semantification and automated relation finding in the On-line Encyclopedia of Integer Sequences
- A universal machine for biform theory graphs
- MathLang: experience-driven development of a new mathematical language
- GAPDoc
- Web interfaces for proof assistants
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
- Four decades of \textsc{Mizar}. Foreword
- Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization
- A proof theoretic interpretation of model theoretic hiding
- DocBook
- miz3
- Change management for heterogeneous development graphs
- theoremprover-museum
- Plat-Omega
- LOUI
- LATIN
- scunac
- Multi
- MathLang
- IDV
- Horus
- Hyperproof
- vis.js
- A flexiformal model of knowledge dissemination and aggregation in mathematics
- Formal logic definitions for interchange languages
- Math Literate Knowledge Management via Induced Material
- Mizar: state-of-the-art and beyond
- MPDHub
- QAPD
This page was built for software: OMDoc
