OMDoc
From MaRDI portal
swMATH7138MaRDI QIDQ19193FDOQ19193
Author name not available (Why is that?)
Official website: https://trac.omdoc.org/OMDoc
Cited In (only showing first 100 items - show all)
- fKenzo: a user interface for computations in algebraic topology
- The future of logic: foundation-independence
- 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
- Communication protocols for mathematical services based on KQML and OMRS
- 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
- Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
- The Mizar Mathematical Library in OMDoc: translation and applications
- Artificial Intelligence and Soft Computing - ICAISC 2004
- Theorema
- CASL
- MAYA
- 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
- A Search Engine for Mathematical Formulae
- Mathematical Knowledge Management
- Flexary connectives in Mizar
- DocBook
- miz3
- LOUI
- LATIN
- Plat-Omega
- theoremprover-museum
- Hermes
- IDV
- MathLang
- Multi
- scunac
- Horus
- Hyperproof
- MPDHub
- vis.js
- QAPD
- MMode
- GitLab
- Aligator.jl
- MathTools
- RISCAL
- SMGLoM
- sTeX
- Logic2CNF
- CPoint
- PowerPoint
- KQML
- PROVERB
- keyval
- MathChat
- TexPoint
- SACHS
- MathML
- MathInTheMiddle
- TGView3D
- Whelp
- LaTeX
- TeX4ht
- EMILeA-stat
- Mathematical Knowledge Management
- Authoring LeActiveMath Calculus Content
- Innovations in computational type theory using Nuprl
- Verifying and Invalidating Textbook Proofs Using Scunak
- Using La\TeX\ as a semantic markup format
- Mizar: state-of-the-art and beyond
- System description: MathHub.info
- Interoperability in the OpenDreamKit project: the math-in-the-middle approach
- Mathematical knowledge representation: semantic models and formalisms
This page was built for software: OMDoc
