Please respect any copyrights when downloading

- [7] (2016) QED reloaded: towards a pluralistic formal library of mathematical knowledge. Journal of Formalized Reasoning 9 (1), pp. 201–234. External Links: Link Cited by: p1.
- [5] (2014) Co-representing structure and meaning of mathematical documents. Sprache und Datenverarbeitung, International Journal for Language Data Processing 38 (2), pp. 49–80. Note: Special Issue “The language of mathematics – computational, linguistic and logical aspects” External Links: Link Cited by: p1.
- [1] (2013) The Mizar Mathematical Library in OMDoc: translation and applications. Journal of Automated Reasoning 50 (2), pp. 191–202. External Links: Link, Document Cited by: p1.
- [10] (2013) A scalable module system. Information & Computation 0 (230), pp. 1–54. External Links: Link Cited by: p1.
- [6] (2012) Semantics of OpenMath and MathML3. Mathematics in Computer Science 6 (3), pp. 235–260. External Links: Link Cited by: p1.
- [11] (2012) A logical framework combining model and proof theory. Mathematical Structures in Computer Science. External Links: Link Cited by: p1.
- [2] (2011) Formalizing Foundations of Mathematics. Mathematical Structures in Computer Science 21 (4), pp. 883–911. External Links: Document, Link Cited by: p1.
- [4] (2011) The planetary system: web 3.0 & active documents for STEM. Procedia Computer Science 4, pp. 598–607. Note: Finalist at the Executable Paper Grand Challenge External Links: Link, Document Cited by: p1.
- [9] (2009) Context-Aware Adaptation: A Case Study on Mathematical Notations. Information Systems Management 26 (3), pp. 215–230. External Links: ISSN 1934-8703 Cited by: p1.
- [3] (2008-06) Semantic knowledge management for education. Proceedings of the IEEE; Special Issue on Educational Technology 96 (6), pp. 970–989. External Links: Link Cited by: p1.
- [8] (2000) OMDoc: an infrastructure for OpenMath content dictionary information. Bulletin of the ACM Special Interest Group on Symbolic and Automated Mathematics (SIGSAM) 34 (2), pp. 43–48. External Links: Link Cited by: p1.

- [1] (2007) Towards a Mizar Mathematical Library in OMDoc format. In From insight to proof: festschrift in honour of Andrzej TrybulecFrom Insight to Proof: Festschrift in Honour of Andrzej Trybulec, R. Matuszewski and A. Zalewska (Eds.), Studies in Logic, Grammar and Rhetoric, Vol. 10:23, pp. 265–275. External Links: Link Cited by: p1.
- [2] (2006-08) MBase, an open mathematical knowledge base. In OMDoc – an open markup format for mathematical documents [version 1.2]OMDoc – An open markup format for mathematical documents [Version 1.2], LNAI. Cited by: p1.
- [3] (2006-08) Formal Proofs as Mathematical Objects. In OMDoc – an open markup format for mathematical documents [version 1.2]OMDoc – An open markup format for mathematical documents [Version 1.2], LNAI, pp. 177–179. Cited by: p1.
- [4] (2006-08) Representing Proofs (Module PF). In OMDoc – an open markup format for mathematical documents [version 1.2]OMDoc – An open markup format for mathematical documents [Version 1.2], LNAI, pp. 167–179. Cited by: p1.
- [5] (2006-08) Standardizing context in system interoperability. In OMDoc – an open markup format for mathematical documents [version 1.2]OMDoc – An open markup format for mathematical documents [Version 1.2], LNAI. Cited by: p1.
- [6] (2006-08) STEX: a LATEX-based workflow for OMDoc. In OMDoc – an open markup format for mathematical documents [version 1.2]OMDoc – An open markup format for mathematical documents [Version 1.2], LNAI. Cited by: p1.
- [7] (2006-08) SWiM – an OMDoc-based semantic wiki. In OMDoc – an open markup format for mathematical documents [version 1.2], LNAI. Cited by: p1.
- [8] (2006-08) OMDoc as a Data Format for VeriFun. In OMDoc – an open markup format for mathematical documents [version 1.2]OMDoc – An open markup format for mathematical documents [Version 1.2], LNAI, pp. 329–332. Cited by: p1.

- [13] (2015) A flexiformal model of knowledge dissemination and aggregation in mathematics. In Intelligent computer mathematicsIntelligent Computer Mathematics 2015, M. Kerber, J. Carette, C. Kaliszyk, F. Rabe, and V. Sorge (Eds.), LNCS, pp. 137–152. External Links: Link Cited by: p1.
- [14] (2015) Math literate knowledge management via induced material. In Intelligent computer mathematicsIntelligent Computer Mathematics 2015, M. Kerber, J. Carette, C. Kaliszyk, F. Rabe, and V. Sorge (Eds.), LNCS, pp. 187–202. External Links: Link Cited by: p1.
- [28] (2015) The SMGloM project or why we need a semantic glossary of mathematics. In European Conference on Data Analysis ECDA2015; Data Science: Foundations, Methods and Applications, External Links: Link Cited by: p1.
- [3] (2014) Realms: a structure for consolidating knowledge about mathematical theories. In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.), LNCS, pp. 252–266. Note: MKM Best-Paper-Award External Links: Link Cited by: p1.
- [11] (2014) Flexary operators for formalized mathematics. In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.), LNCS, pp. 312–327. External Links: Link Cited by: p1.
- [12] (2014) Representing, archiving, and searching the space of mathematical knowledge. In Mathematical software - ICMS 2014 - 4th international congressMathematical Software - ICMS 2014 - 4th International Congress, H. Hong and C. Yap (Eds.), LNCS, Vol. 8592, pp. 26–30. External Links: Document, Link Cited by: p1.
- [16] (2014) Towards knowledge management for HOL Light. In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.), LNCS, pp. 357–372. External Links: Link Cited by: p1.
- [23] (2014) Discourse-level parallel markup and meaning adoption in flexiformal theory graphs. In Mathematical software - ICMS 2014 - 4th international congressMathematical Software - ICMS 2014 - 4th International Congress, H. Hong and C. Yap (Eds.), LNCS, Vol. 8592, pp. 36–40. External Links: Document Cited by: p1.
- [24] (2013) A universal machine for biform theory graphs. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Carette, D. Aspinall, C. Lange, P. Sojka, and W. Windsteiger (Eds.), Lecture Notes in Computer Science. External Links: Link Cited by: p1.
- [31] (2013) The flexiformalist manifesto. In International workshop on symbolic and numeric algorithms for scientific computing (SYNASC 2012)14th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012), A. Voronkov, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. M. Watt, and D. Zaharie (Eds.), pp. 30–36. External Links: Link Cited by: p1.
- [35] (2013) The MMT API: A Generic MKM System. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Carette, D. Aspinall, C. Lange, P. Sojka, and W. Windsteiger (Eds.), Lecture Notes in Computer Science, pp. 339–343. Cited by: p1.
- [10] (2012) Extending MKM formats at the statement level. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel, and V. Sorge (Eds.), LNAI, pp. 65–80. External Links: Link Cited by: p1.
- [15] (2012) Management of Change in Declarative Languages. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel, and V. Sorge (Eds.), LNAI, pp. 325–340. Cited by: p1.
- [4] (2011) Project abstract: logic atlas and integrator (LATIN). In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.), LNAI, pp. 289–291. External Links: Link, Document Cited by: p1.
- [9] (2011) Extending OpenMath with Sequences. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.), LNAI, pp. 58–72. External Links: Link Cited by: p1.
- [19]
(2011)
Maintaining islands of consistency via versioned links.
In Proceedings of the 29
^{th}annual ACM international conference on design of communication (SIGDOC)Proceedings of the 29^{th}annual ACM international conference on Design of communication (SIGDOC), pp. 167–174. External Links: Link Cited by: p1. - [20] (2011) Maintaining islands of consistency via versioned links. In Intelligent computer mathematics – work in progress papersIntelligent Computer Mathematics – Work in Progress Papers, J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.), External Links: Link Cited by: p1.
- [21]
(2011)
Towards a flexible notion of document context.
In Proceedings of the 29
^{th}annual ACM international conference on design of communication (SIGDOC)Proceedings of the 29^{th}annual ACM international conference on Design of communication (SIGDOC), pp. 181–188. External Links: Link Cited by: p1. - [26] (2011) A foundational view on integration problems. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.), LNAI, pp. 107–122. Note: https://kwarc.info/kohlhase/papers/cicm11-integration.pdf External Links: Link Cited by: p1.
- [32] (2011) The planetary system: executable science, technology, engineering and math papers. In The semantic web: research and applications (part II)ESWC (Part II), G. Antoniou, M. Grobelnik, E. Paslaru Bontas Simperl, B. Parsia, D. Plexousakis, P. D. Leenheer, and J. Z. Pan (Eds.), LNCS, pp. 471–475. External Links: 1103.1482 Cited by: p1.
- [1]
(2010)
Semantics-based change impact analysis for heterogeneous collections of documents.
In Proceedings of the 10
^{th}ACM symposium on document engineeringProceedings of the 10^{th}ACM symposium on Document engineering, M. Gormish and R. Ingold (Eds.), DocEng ’10, pp. 97–106. External Links: Link, Document Cited by: p1. - [6] (2010) Publishing math lecture notes as linked data. In The semantic web: research and applications (part II)The Semantic Web: Research and Applications (Part II), L. Aroyo, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral, and T. Tudorache (Eds.), LNCS, pp. 370–375. External Links: 1004.3390v1 Cited by: p1.
- [17] (2010) Dimensions of formality: a case study for MKM in software engineering. In Intelligent computer mathematicsIntelligent Computer Mathematics, S. Autexier, J. Calmet, D. Delahaye, P. D. F. Ion, L. Rideau, R. Rioboo, and A. P. Sexton (Eds.), LNAI, pp. 355–369. External Links: 1004.5071v1 Cited by: p1.
- [27] (2010) Towards MKM in the large: modular representation and scalable software architecture. In Intelligent computer mathematicsIntelligent Computer Mathematics, S. Autexier, J. Calmet, D. Delahaye, P. D. F. Ion, L. Rideau, R. Rioboo, and A. P. Sexton (Eds.), LNAI, pp. 370–384. External Links: 1005.5232v2 Cited by: p1.
- [2] (2009-07) Formal Proofs: Reconciling Correctness and Understanding. In MKM/Calculemus proceedingsMKM/Calculemus Proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen, and S. M. Watt (Eds.), LNAI. Cited by: p1.
- [5] (2009-07) Unifying Math Ontologies: A tale of two standards. In MKM/Calculemus proceedingsMKM/Calculemus Proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen, and S. M. Watt (Eds.), LNAI, pp. 263–278. External Links: Link Cited by: p1.
- [7] (2009-07) Integrating web services into active mathematical documents. In MKM/Calculemus proceedingsMKM/Calculemus Proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen, and S. M. Watt (Eds.), LNAI, pp. 279–293. External Links: Link Cited by: p1.
- [33] (2009-07) A mathematical approach to ontology authoring and documentation. In MKM/Calculemus proceedingsMKM/Calculemus Proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen, and S. M. Watt (Eds.), LNAI, pp. 389–404. External Links: Link Cited by: p1.
- [25] (2008) Notations for living mathematical documents. In Intelligent computer mathematicsIntelligent Computer Mathematics, S. Autexier, J. Campbell, J. Rubio, V. Sorge, M. Suzuki, and F. Wiedijk (Eds.), LNAI, pp. 504–519. External Links: Link Cited by: p1.
- [34] (2007) Extended formula normalization for $\u03f5$-retrieval and sharing of mathematical knowledge. In MKM/CalculemusTowards Mechanized Mathematical Assistants. MKM/Calculemus, M. Kauers, M. Kerber, R. Miner, and W. Windsteiger (Eds.), LNAI, pp. 266–279. Cited by: p1.
- [8] (2006) Capturing the content of physics: systems, observables, and experiments. In MKM 2006Mathematical Knowledge Management (MKM), J. Borwein and W. M. Farmer (Eds.), LNAI, pp. 165–178. External Links: Link Cited by: p1.
- [18] (2006) An exploration in the space of mathematical knowledge. In Mathematical knowledge management, MKM’05Mathematical Knowledge Management, MKM’05, M. Kohlhase (Ed.), LNAI, pp. 17–32. External Links: Link Cited by: p1.
- [30] (2005-11) OMDoc: Open Mathematical Documents. In Open source for education in europe: research and practiseOpen Source for Education in Europe: Research and Practise, F. de Vries, G. Attwell, R. Elferink, and A. Tödt (Eds.), pp. 137–143. Cited by: p1.
- [22] (2003) Towards collaborative content management and version control for structured mathematical knowledge. In Mathematical knowledge management, MKM’03Mathematical Knowledge Management, MKM’03, A. Asperti, B. Buchberger, and J. H. Davenport (Eds.), LNCS, pp. 147–161. External Links: Link Cited by: p1.
- [29] (2001) OMDoc: towards an internet standard for the administration, distribution and teaching of mathematical knowledge. In Proceedings of Artificial Intelligence and Symbolic Computation, AISC’2000Proceedings of Artificial Intelligence and Symbolic Computation, AISC’2000, E. R. Lozano (Ed.), LNAI, pp. 32–52. External Links: Link Cited by: p1.

- [2] (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Studies on the Semantic Web, AKA Verlag and IOS Press, Heidelberg and Amsterdam. External Links: ISBN 978-1-60750-840-3, Link Cited by: p1.
- [1] (2006-08) OMDoc – an open markup format for mathematical documents [version 1.2]. LNAI, Springer Verlag. External Links: Link Cited by: p1.

- [2] (2014-11) A framework for defining declarative languages. Ph.D. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.
- [3] (2012) Management of change in declarative languages. Master’s Thesis, Jacobs University Bremen. Cited by: p1.
- [1] (2011-08) The structure of mathematical expressions. Master’s Thesis, Jacobs University Bremen, Bremen, Germany. Note: https://kwarc.info/people/dginev/publications/DeyanGinev_MScThesis.pdf External Links: Link Cited by: p1.
- [4] (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Ph.D. Thesis, Jacobs University Bremen. Note: Also available as a book [5] Cited by: p1.
- [5] (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Studies on the Semantic Web, AKA Verlag and IOS Press, Heidelberg and Amsterdam. External Links: ISBN 978-1-60750-840-3, Link Cited by: 4.
- [7] (2010) Adaptation of Mathematical Documents. Ph.D. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.
- [10] (2008) Representing Logics and Logic Translations. Ph.D. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.
- [9] (2007) Coping with content representations of mathematics in editor environments: nOMDoc mode. Bachelor’s Thesis, Computer Science, Jacobs University, Bremen. Cited by: p1.
- [6] (2006-08) A Semantic Wiki for Mathematical Knowledge Management. Diploma thesis, Universität Trier. External Links: Link Cited by: p1.
- [8] (2005) OMDoc-Repräsentation von Programmen und Beweisen in VeriFun. Master’s Thesis, Programmiermethodik, Technische Universität Darmstadt. Note: https://kwarc.info/nmueller/papers/dt.pdf External Links: Link Cited by: p1.

- [40] (2016) FrameIT reloaded: serious math games from modular math ontologies. In Intelligent computer mathematics – work in progress papersIntelligent Computer Mathematics – Work in Progress Papers, M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, A. Naumowicz, W. Neuper, P. Quaresma, F. Tompa, and M. Suda (Eds.), External Links: Link Cited by: p1.
- [31] (2015-10) Importing the OEIS library into OMDoc. In Proceedings of the LWA 2015 workshops: KDML, FGWM, IR, and FGDBProceedings of the LWA 2015 Workshops: KDML, FGWM, IR, and FGDB, R. Bergmann, S. Görg, and G. Müller (Eds.), pp. 296–303. External Links: Link Cited by: p1.
- [35] (2015-07) Relational presentations using semantic closeness spatial narrative for mathematical content. In Mathematical user interfaces workshop at CICMMathematical User Interfaces Workshop, A. Kohlhase and P. Libbrecht (Eds.), External Links: Link Cited by: p1.
- [3] (2014) Realms: a structure for consolidating knowledge about mathematical theories. In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.), LNCS, pp. 252–266. Note: MKM Best-Paper-Award External Links: Link Cited by: p1.
- [15] (2014) Flexary operators for formalized mathematics. In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.), LNCS, pp. 312–327. External Links: Link Cited by: p1.
- [17] (2014) Towards knowledge management for HOL Light. In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.), LNCS, pp. 357–372. External Links: Link Cited by: p1.
- [25] (2014) OpenMath language extensions. In Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2014MathUI, OpenMath, PLMMS, and ThEdu Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics, M. England, J. H. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, W. Neuper, P. Quaresma, A. P. Sexton, P. Sojka, J. Urban, and S. M. Watt (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
- [24] (2013) The flexiformalist manifesto. In International workshop on symbolic and numeric algorithms for scientific computing (SYNASC 2012)14th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012), A. Voronkov, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. M. Watt, and D. Zaharie (Eds.), pp. 30–36. External Links: Link Cited by: p1.
- [16] (2012) Management of Change in Declarative Languages. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel, and V. Sorge (Eds.), LNAI, pp. 325–340. Cited by: p1.
- [6]
(2011)
A framework for modular semantic publishing with separate compilation and dynamic linking.
In Proceedings of the 1
^{st}workshop on semantic publication, Extended Semantic Web Conference1^{st}Workshop on Semantic Publication (SePublica), A. García Castro, C. Lange, E. Sandhaus, and A. de Waard (Eds.), CEUR Workshop Proceedings. Cited by: p1. - [14] (2011) Extending OpenMath with Sequences. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.), LNAI, pp. 58–72. External Links: Link Cited by: p1.
- [19]
(2011)
Towards a flexible notion of document context.
In Proceedings of the 29
^{th}annual ACM international conference on design of communication (SIGDOC)Proceedings of the 29^{th}annual ACM international conference on Design of communication (SIGDOC), pp. 181–188. External Links: Link Cited by: p1. - [8] (2010-06) JOBAD/MMT – interactive mathematics. In AI Mashup ChallengeAI Mashup Challenge at ESWC, A. Giurca, B. Endres-Niggemeyer, C. Lange, L. Maicher, and P. Hitzler (Eds.), External Links: Link Cited by: p1.
- [1]
(2010)
Semantics-based change impact analysis for heterogeneous collections of documents.
In Proceedings of the 10
^{th}ACM symposium on document engineeringProceedings of the 10^{th}ACM symposium on Document engineering, M. Gormish and R. Ingold (Eds.), DocEng ’10, pp. 97–106. External Links: Link, Document Cited by: p1. - [5]
(2010)
eMath 3.0: building blocks for a social and semantic web for online mathematics & ELearning.
In 1
^{st}International Workshop on Mathematics and ICT: Education, Research and Applications1^{st}International Workshop on Mathematics and ICT: Education, Research and Applications, I. Mierlus-Mazilu (Ed.), External Links: Link Cited by: p1. - [7] (2010) Publishing math lecture notes as linked data. In The semantic web: research and applications (part II)The Semantic Web: Research and Applications (Part II), L. Aroyo, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral, and T. Tudorache (Eds.), LNCS, pp. 370–375. External Links: 1004.3390v1 Cited by: p1.
- [9] (2010) Interactive documents as interfaces to computer algebra systems: JOBAD and Wolfram—Alpha. In CALCULEMUS (emerging trends)CALCULEMUS (Emerging Trends), D. Delahaye and R. Rioboo (Eds.), pp. 13–30. External Links: Link Cited by: p1.
- [11] (2010) Mathematical knowledge representation for education semantic web based on learning style. In International Symposium in Information Technology (ITSim), pp. 1–4. External Links: Document Cited by: p1.
- [18] (2010) Dimensions of formality: a case study for MKM in software engineering. In Intelligent computer mathematicsIntelligent Computer Mathematics, S. Autexier, J. Calmet, D. Delahaye, P. D. F. Ion, L. Rideau, R. Rioboo, and A. P. Sexton (Eds.), LNAI, pp. 355–369. External Links: 1004.5071v1 Cited by: p1.
- [13] (2009-09) LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität. Technical report Vol. TUD-KE-2009-04, Universität Darmstadt. Cited by: 28.
- [20] (2009-09) JOBAD – interactive mathematical documents. In AI Mashup ChallengeAI Mashup Challenge at KI Conference, B. Endres-Niggemeyer, V. Zacharias, and P. Hitzler (Eds.), External Links: Link Cited by: p1.
- [28] (2009-09) A mathematical approach to ontology authoring and documentation. In Wissens- und erfahrungsmanagement (knowledge and experience management), FGWMWissens- und Erfahrungsmanagement (Knowledge and Experience Management), FGWM, C. Lange and J. Reutelshöfer (Eds.), Cited by: p1.
- [2] (2009-07) Formal Proofs: Reconciling Correctness and Understanding. In MKM/Calculemus proceedingsMKM/Calculemus Proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen, and S. M. Watt (Eds.), LNAI. Cited by: p1.
- [4]
(2009-07)
Quantifiers and big operators in OpenMath.
In 22
^{nd}openmath workshop22^{nd}OpenMath Workshop, J. H. Davenport (Ed.), External Links: Link Cited by: p1. - [12] (2009-07) Integrating web services into active mathematical documents. In MKM/Calculemus proceedingsMKM/Calculemus Proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen, and S. M. Watt (Eds.), LNAI, pp. 279–293. External Links: Link Cited by: p1.
- [23]
(2009-07)
Semantics of OpenMath and MathML3.
In 22
^{nd}openmath workshop22^{nd}OpenMath Workshop, J. H. Davenport (Ed.), External Links: Link Cited by: p1. - [27] (2009-07) A mathematical approach to ontology authoring and documentation. In MKM/Calculemus proceedingsMKM/Calculemus Proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen, and S. M. Watt (Eds.), LNAI, pp. 389–404. External Links: Link Cited by: p1.
- [38]
(2009-07)
A better role system for OpenMath.
In 22
^{nd}openmath workshop22^{nd}OpenMath Workshop, J. H. Davenport (Ed.), External Links: Link Cited by: p1. - [29]
(2009-06)
Documenting ontologies the mathematical way.
In Poster Proceedings of the 6
^{th}European Semantic Web Conference (ESWC), External Links: Link Cited by: p1. - [10] (2009) A Case Study on Formalizing Algebra in a Module System. In Workshop on Modules and Libraries for Proof Assistants, F. Rabe and C. Schürmann (Eds.), ACM International Conference Proceeding Series, Vol. 429, pp. 11–18. Cited by: p1.
- [33] (2009) Communities of Practice & Semantic Web: Stimulating Collaboration by Document Markup. In Proceedings of the United International Systems Conference (UNISCON) LNBIP 20, J. Yang and others (Eds.), pp. 432–437. External Links: Link Cited by: p1.
- [34] (2009) Communities of Practice & Semantic Web: Stimulating Collaboration by Document Markup. In UNISCON 2009 Supplementary Proceedings: Doctoral Consortium Papers, pp. 1–8. External Links: Link Cited by: p1.
- [26] (2008-10) Arguing on issues with mathematical knowledge items in a semantic wiki. In Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference ProceedingsWissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings, J. Baumeister and M. Atzmüller (Eds.), Vol. 448. Cited by: p1.
- [32] (2008-10) Towards the Adaptation of Scientific Course Material powered by Community of Practice. In Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference ProceedingsWissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings, J. Baumeister and M. Atzmüller (Eds.), Vol. 448. Cited by: p1.
- [30]
(2008)
Flyspeck in a semantic wiki – collaborating on a large scale formalization of the Kepler conjecture.
In Proceedings of the 3
^{rd}workshop on semantic wikis, European Semantic Web Conference3^{rd}Workshop on Semantic Wikis, C. Lange, S. Schaffert, H. Skaf-Molli, and M. Völkel (Eds.), CEUR Workshop Proceedings. Cited by: p1. - [36]
(2008)
An exchange format for modular knowledge.
In Proceedings of the LPAR Workshops: Knowledge Exchange:
Automated Provers and Proof Assistants, and The 7
^{th}International Workshop on the Implementation of Logics, G. Sutcliffe, P. Rudnicki, R. Schmidt, B. Konev, and S. Schulz (Eds.), CEUR Workshop Proceedings, Aachen, pp. 50–68. External Links: ISSN 1613-0073 Cited by: p1. - [37] (2008) An Exchange Format for Modular Knowledge. In Proceedings of the LPAR Workshops on Knowledge Exchange: Automated Provers and Proof Assistants, and The 7th International Workshop on the Implementation of Logics, G. Sutcliffe, P. Rudnicki, R. Schmidt, B. Konev, and S. Schulz (Eds.), CEUR Workshop Proceedings, Vol. 418, pp. 50–68. Cited by: p1.
- [21] (2007-06) Presenting mathematical content with flexible elisions. In OpenMath/JEM workshop 2007OpenMath/JEM Workshop 2007, O. Caprotti, M. Kohlhase, and P. Libbrecht (Eds.), Cited by: p1.
- [22] (2007-06) Documents with flexible notation contexts as interfaces to mathematical knowledge. In Mathematical user-interfaces workshop 2007 at MKMMathematical User Interfaces Workshop 2007, P. Libbrecht (Ed.), Cited by: p1.
- [39] (2007) OMDoc Theory Graphs Revisited. In Proceedings of the OpenMath/JEM workshop, Cited by: p1.
- [41] (2005) Metadata for web-based mathematical learning materials. In Proceedings of the Data Engineering Workshop DEWS, External Links: Link Cited by: p1.

- [3] (2016) Report on OpenDreamKit deliverable d6.3: design of triform (D/K/S) theories (specification/rnc schema/examples) and implementation of triform theories in the MMT API. Deliverable Technical Report D6.2, OpenDreamKit. External Links: Link Cited by: p1.
- [4] (2016) Report on OpenDreamKit deliverables d6.2: initial D/K/S base design (including base survey and requirements workshop report) and d6.3: design of triform (D/K/S) theories (specification/RNC schema/examples) and implementation of triform theories in the mmt api. Deliverable Technical Report D6.2, OpenDreamKit. External Links: Link Cited by: p1.
- [15] (2012) An XML-based syntax for MMT. Technical report Cited by: p1.
- [6] (2011) Translating the Mizar Mathematical Library into OMDoc format. KWARC Report Jacobs University Bremen. Note: http://uniformal.github.io/doc/applications/LATIN/docs/Mizar2OMDoc-Report.pdf External Links: Link Cited by: p1.
- [12] D. Carlisle, P. Ion, and R. Miner (Eds.) (2010) Mathematical Markup Language (MathML) version 3.0. W3C Recommendation World Wide Web Consortium (W3C). External Links: Link Cited by: p1.
- [2] (2009-03) Formal Proofs: Reconciling Correctness and Understanding. Research Reports Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland. Note: http://www.cs.auckland.ac.nz/CDMTCS//researchreports/354cris.pdf External Links: Link Cited by: p1.
- [9] (2009-02) Notations for active mathematical documents. KWARC Report Technical Report 2009-1, Jacobs University Bremen. Note: https://kwarc.info/publications/papers/KLMMR_NfAD.pdf External Links: Link Cited by: p1.
- [7] (2009) Notations for Active Mathematical Documents. Technical report Technical Report 2009-1, Jacobs University Bremen. Cited by: p1.
- [11] (2008-12) A mathematical approach to ontology authoring and documentation. KWARC Report Technical Report 2008-3, Jacobs University Bremen. External Links: Link Cited by: p1.
- [13] (2008-11) Context Aware Adaptation: A Case Study on Mathematical Notations. Research Report Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland. External Links: Link Cited by: p1.
- [8] (2008-04) Adaptation of notations in living mathematical documents. KWARC Report Technical Report 2008-2, Jacobs University Bremen. External Links: Link Cited by: p1.
- [5] (2008) Capturing rhetorical aspects in mathematical documents using OMDoc and SALT. Technical Report Jacobs University and DERI Galway. Cited by: p1.
- [14] (2008) A Survey on Mathematical Notations. KWARC Report Technical Report 2008-1, Jacobs University Bremen. External Links: Link Cited by: p1.
- [1] (2003) Prototype n. d2.b document type descriptors: OMDoc proofs. MoWGLI Deliverable The MoWGLI Project. Cited by: p1.
- [10] (2000) OMDoc: towards an OpenMath representation of mathematical documents. Seki Report Technical Report SR-00-02, Fachbereich Informatik, Universität des Saarlandes. External Links: Link Cited by: p1.

- [2] (2016) Mixing surface languages for OMDoc. External Links: Link Cited by: p1.
- [3] (2016) Understanding the pragmatics of module systems for mathematics. External Links: Link Cited by: p1.
- [10] (2016) An open markup format for mathematical documents OMDoc [version 1.3]. Note: Draft Specification External Links: Link Cited by: p1.
- [11] (2016) An open markup format for mathematical documents OMDoc [version 1.6 (pre-2.0)]. Note: Draft Specification External Links: Link Cited by: p1.
- [5] (2013) A framework for semantic publishing of modular content objects. External Links: Link Cited by: p1.
- [4] (2012) A framework for semantic publishing of modular content objects. External Links: Link Cited by: p1.
- [1] (2010) Towards an atlas of logics. External Links: Link Cited by: p1.
- [9] (2009-08) Towards bootstrapping the pragmatic to strict mapping in OMDoc. Note: unpublished KWARC blue notes Cited by: p1.
- [7] (2009) An OMDoc primer [version 1.6 (pre-2.0)]. External Links: Link Cited by: p1.
- [8] (2009) OMDoc: an open markup format for mathematical documents; language specification, primer, projects, applications [version 1.6 (pre-2.0)]. External Links: Link Cited by: p1.
- [6] CodeML: an open markup format the content and presentatation of program code. External Links: Link Cited by: p1.

- [15] (2020) Logic-based natural language processing. External Links: Link Cited by: p1.
- [16] (2012) Mathematical documents want to be active, digital math libraries want to be semantic — position paper for wdml 2012. Position Paper at WDML Symposium. External Links: Link Cited by: p1.
- [3] (2011) General Computer Science; 320101: GenCS I Lecture Notes. External Links: Link Cited by: p1.
- [4] (2011) General Computer Science; Problems and Solutions for 320101 GenCS I. External Links: Link Cited by: p1.
- [5] (2011) General Computer Science; Problems for 320101 GenCS I. External Links: Link Cited by: p1.
- [6] (2011) General Computer Science: 320201 GenCS II Lecture Notes. External Links: Link Cited by: p1.
- [7] (2011) General Computer Science: Problems and Solutions for 320201 GenCS II. External Links: Link Cited by: p1.
- [8] (2011) General Computer Science: Problems for 320201 GenCS II. External Links: Link Cited by: p1.
- [21] (2011) Universal OpenMath machine. B. Sc. Thesis, Jacobs University Bremen. Cited by: p1.
- [2] (2010) Structuring Theories with Partial Morphisms. Note: Workshop on Abstract Development Techniques Cited by: p1.
- [18] (2010) Integrating SUMO and OMDoc. Bachelor’s Thesis, Computer Science, Jacobs University, Bremen. Cited by: p1.
- [1] (2009) Unifying Math Ontologies: A tale of two standards (full paper). Note: http://opus.bath.ac.uk/13079 External Links: Link Cited by: p1.
- [9] (2009) Integrating web services into active mathematical documents. Bachelor’s Thesis, Computer Science, Jacobs University, Bremen. External Links: Link Cited by: p1.
- [10] (2009) An architecture for recovering meaning in a LATEX to OMDoc conversion. Bachelor’s Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.
- [11] (2009) Reasoning about theory morphisms. Bachelor’s Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.
- [17] (2009) OMDoc as an ontology language: OWL$\to $OMDoc translation implementation. Project report. Cited by: p1.
- [13] (2008) Extracting RDF knowledge from OMDoc. Bachelor’s thesis, Jacobs University Bremen. Cited by: p1.
- [20] (2007-03) OMDoc (from Wikipedia, the free encyclopedia). Note: http://en.wikipedia.org/w/index.php?title=OMDoc&oldid=112340133 External Links: Link Cited by: p1.
- [12] (2007) Developing a REST interface to a database for OMDoc. Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) Bremen. External Links: Link Cited by: p1.
- [14] (2001) OMDoc: an open markup format for mathematical documents (version 1.1). Open Specification. External Links: Link Cited by: p1.
- [19] The MMT language and system. External Links: Link Cited by: p1.