The following pages link to OMDoc (Q19193):
Displaying 50 items.
- The future of logic: foundation-independence (Q263104) (← links)
- Four decades of {\textsc{Mizar}}. Foreword (Q286794) (← links)
- Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (Q286801) (← links)
- A scalable module system (Q391632) (← links)
- Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants (Q597106) (← links)
- Transforming large collections of scientific publications to XML (Q626929) (← links)
- Tactics for hierarchical proof (Q626933) (← links)
- Mathematical context in interactive documents (Q626936) (← links)
- Representing model theory in a type-theoretical logical framework (Q654913) (← links)
- Using La\TeX\ as a semantic markup format (Q841688) (← links)
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- The RISC ProofNavigator: a proving assistant for program verification in the classroom (Q1019024) (← links)
- Proof assistants: history, ideas and future (Q1040001) (← links)
- Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13--17, 2018. Proceedings (Q1653699) (← links)
- Mathematical research data, software, models, and the publication-based approach (Q1662294) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Making PVS accessible to generic services by interpretation in a universal format (Q1687752) (← links)
- Flexary connectives in Mizar (Q1749141) (← links)
- Translating the IMPS theory library to MMT/OMDoc (Q1798938) (← links)
- Knowledge representation and management in ACTIVEMATH (Q1810908) (← links)
- The Mizar Mathematical Library in OMDoc: translation and applications (Q1945907) (← links)
- Semantics of \textsc{OpenMath} and \textsc{MathML3} (Q1948675) (← links)
- Experiences from exporting major proof assistant libraries (Q2069875) (← links)
- A new export of the Mizar mathematical library (Q2128826) (← links)
- TGView3D: a system for 3-dimensional visualization of theory graphs (Q2219412) (← links)
- Mathematical knowledge representation: semantic models and formalisms (Q2263116) (← links)
- Mathematics and argumentation (Q2271083) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Towards semantic mathematical editing (Q2348287) (← links)
- Mathematical models as research data via flexiformal theory graphs (Q2364682) (← links)
- fKenzo: a user interface for computations in algebraic topology (Q2430025) (← links)
- Dealing with algebraic expressions over a field in Coq using Maple (Q2456560) (← links)
- Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book (Q2462639) (← links)
- Checking content consistency of integrated web documents (Q2508393) (← links)
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326) (← links)
- \(\text{OntoMath}^{\text{PRO}}\) 2.0 ontology: updates of formal model (Q2700049) (← links)
- (Q2751535) (← links)
- (Q2767915) (← links)
- Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach (Q2817298) (← links)
- The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics (Q2819263) (← links)
- Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences (Q2819266) (← links)
- A Universal Machine for Biform Theory Graphs (Q2843007) (← links)
- (Q2847398) (← links)
- Web Interfaces for Proof Assistants (Q2867935) (← links)
- PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems (Q2867939) (← links)
- A Proof Theoretic Interpretation of Model Theoretic Hiding (Q2890327) (← links)
- Change Management for Heterogeneous Development Graphs (Q3058452) (← links)
- A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics (Q3453111) (← links)
- Formal Logic Definitions for Interchange Languages (Q3453113) (← links)