DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» OMDoc
OMDoc
A Framework for Semantic Publishing of Modular Content Objects
Importing the OEIS Library Into Omdoc
Mathematical Document Representation and Processing1
Arxiv:2005.03089V1 [Cs.LO] 5 May 2020 Abstract ??? Accepted: / ??? Received: Optrsine a Erlangen-N¨Urnberg E.G
Languages of Mathematics1
Experiences from Exporting Major Proof Assistant Libraries
Towards a Mizar Mathematical Library in Omdoc Format
Msetool: Management Strategy Evaluation Toolkit
Omdoc - an Open Markup Format for Mathematical Documents [Version 1.2]
An Open Markup Format for Mathematical Documents
Wiki Authoring and Semantics of Mathematical Document Structure
A Semantic Wiki for Mathematical Knowledge Management
The Planetary System: Active Documents and a Web3.0 for Math
Capturing the Content of Physics Systems, Observables, and Experiments
Scripting Documents with Xquery: Virtual Documents in Tntbase
Maths Information Retrieval for Digital Libraries
An Architecture for Recovering Meaning in a LATEX to Omdoc Conversion
Use Omdoc Representing Geometric Algebra
Top View
Openmath-RDF: RDF Encodings for Openmath Objects and Content Dictionaries
An Open Markup Format for Mathematical Documents (Version 1.1)
Content Markup Language Design Principles Andreas Strotmann
A Semantic Wiki for Mathematical Knowledge Management
Extensible Markup Language (XML) 2/18/05 5:16 PM
Stex+-A System for Flexible Formalization of Linked Data
First International Workshop on Proof Exchange for Theorem Proving August 1, 2011 Affiliated with CADE 2011, 31 July
Mathml 2.0 WD
A Framework for Interactive Proof
The Space of Mathematical Software Systems--A Survey of Paradigmatic
Appendix A: Introduction to XHTML
Packages Documentation Release 0.1.1
SEKI Report Michael Kohlhase ISSN 1437-4447 SEKI Report SR-SR-00-02
Krextor – an Extensible XML→RDF Extraction Framework
What Is XML and Why Should You Care?
The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility⋆
Download.Nvidia.Com/Compute/Cuda/ 3 0/Toolkit/Docs/NVIDIA CUDA Programmingguide.Pdf [CURAND] NVIDIA Corporation
High Quality Linked Data Generation from Heterogeneous Data