Cited in
(only showing first 100 items - show all)- Mathematical knowledge representation: semantic models and formalisms
- Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants
- Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
- The future of logic: foundation-independence
- Notations for Living Mathematical Documents
- fKenzo: a user interface for computations in algebraic topology
- TGView3D: a system for 3-dimensional visualization of theory graphs
- A scalable module system
- Math Literate Knowledge Management via Induced Material
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
- Communication protocols for mathematical services based on KQML and OMRS
- Towards Knowledge Management for HOL Light
- Representing model theory in a type-theoretical logical framework
- Mathematical models as research data via flexiformal theory graphs
- Compensating the Computational Bias of Spreadsheets with MKM Techniques
- The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics
- MathLang: experience-driven development of a new mathematical language
- Formal Proof: Reconciling Correctness and Understanding
- Mathematical Knowledge Management
- Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13--17, 2018. Proceedings
- Formal logic definitions for interchange languages
- Dealing with algebraic expressions over a field in Coq using Maple
- Using the TPTP Language for Writing Derivations and Finite Interpretations
- Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic
- Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book
- A new export of the Mizar mathematical library
- Methods to access and retrieve mathematical content in ActiveMath
- Towards semantic mathematical editing
- Mathematical Knowledge Management
- Towards MKM in the large: modular representation and scalable software architecture
- A data model and encoding for a semantic, multilingual terminology of mathematics
- A proof theoretic interpretation of model theoretic hiding
- A universal machine for biform theory graphs
- MBase: Representing knowledge and context for the integration of mathematical software systems
- Formula semantification and automated relation finding in the On-line Encyclopedia of Integer Sequences
- Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
- scientific article; zbMATH DE number 7178359 (Why is no real title available?)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration
- The Mizar Mathematical Library in OMDoc: translation and applications
- A Mathematical Approach to Ontology Authoring and Documentation
- Artificial Intelligence and Soft Computing - ICAISC 2004
- Mathematical Knowledge Management
- Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems
- fKenzo
- Theorema
- CoFI
- CASL
- OMRS
- MAYA
- MathWebSearch
- Isar
- MoMM
- ASCIIMathML
- TeXmacs
- ActiveMath
- C-CoRN
- SCSCP
- Hets
- Automath
- LaTeXML
- MMT
- Isabelle/PIDE
- QMT
- NNexus
- Aplusix-editor
- TNTBase
- MathDox
- STEXIDE
- ALF
- GF
- Aplusix
- MBase
- IMPS
- gaia
- Proof General Kit
- Pcoq
- ELM-ART
- arXMLiv
- LeActiveMath
- MathHub.info
- CTAN
- WolframAlpha
- OpenDreamKit
- GAPDoc
- DocBook
- miz3
- LOUI
- LATIN
- Plat-Omega
- theoremprover-museum
- Hermes
- IDV
- MathLang
- Multi
- scunac
- Horus
- Hyperproof
- MPDHub
This page was built for software: OMDoc
