Please respect any copyrights when downloading

- [4] (2013) Ontologies and languages for representing mathematical knowledge on the semantic web. Semantic Web Journal 4 (2), pp. 119–158. External Links: Document, Link Cited by: p1.
- [2] (2012) Desktop mit dolmetscher. freeX Magazin für Netzwerk/Virtualisierung/Sicherheit 2, pp. 90–94. Cited by: p1.
- [3] (2012) Vokabelheft fürs web. freeX Magazin für Netzwerk/Virtualisierung/Sicherheit 1, pp. 42–45. External Links: Link Cited by: p1.
- [1] (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.
- [5] (2009-05) Applying semantic techniques to search and analyze bug tracking data. Journal of Network and Systems Management 17 (3), pp. 285–308. External Links: Document Cited by: p1.

- [3] (2013) Mashups using mathematical knowledge. In Semantic mashups, B. Endres-Niggemeyer and B. Endres-Niggemeyer (Eds.), pp. 171–204. External Links: Link Cited by: p1.
- [2] (2008-04) SWiM: a semantic wiki for mathematical knowledge management. In Emerging technologies for semantic work environments: techniques, methods, and applications, J. Rech, B. Decker, E. Ras, J. Rech, B. Decker and E. Ras (Eds.), pp. 47–68. External Links: Link Cited by: p1.
- [1] (2006-08) SWiM – an OMDoc-based semantic wiki. In OMDoc – an open markup format for mathematical documents [version 1.2], LNAI. Cited by: p1.

- [1] (2014) Set theory or higher order logic to represent auction concepts in Isabelle?. In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 236–251. External Links: 1406.0774 Cited by: p1.
- [7] (2013) A qualitative comparison of the suitability of four theorem provers for basic auction theory. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Carette, D. Aspinall, C. Lange, P. Sojka and W. Windsteiger (Eds.), Lecture Notes in Computer Science, pp. 200–215. External Links: 1303.4193 Cited by: p1.
- [10] (2013) Applying mechanised reasoning in economics – making reasoners applicable for domain experts. In INFORMATIK 2013: Informatik angepasst an Mensch, Organisation und Umwelt, M. Horbach (Ed.), Lecture Notes in Informatics, pp. 153–156. External Links: ISBN 978-3-88579-614-5 Cited by: p1.
- [15] (2013) The formare project – formal mathematical reasoning in economics. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Carette, D. Aspinall, C. Lange, P. Sojka and W. Windsteiger (Eds.), Lecture Notes in Computer Science, pp. 330–334. External Links: 1303.4194 Cited by: p1.
- [19] (2013) Semantics of the distributed ontology language: institutes and institutions. In Recent Trends in Algebraic Development TechniquesRecent Trends in Algebraic Development Techniques, T. Mossakowski, N. Martí-Oliet and M. Palomino Tarjuelo (Eds.), LNCS, pp. 212–230. Cited by: p1.
- [20] (2013) Three semantics for the core of the Distributed Ontology Language (extended abstract). In International Joint Conference on Artificial Intelligence, F. Rossi (Ed.), Cited by: p1, 18.
- [8] (2012) Reimplementing the mathematics subject classification (MSC) as a linked open dataset. 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. 458–462. External Links: 1204.5086 Cited by: p1.
- [9] (2012) Bringing mathematics to the web of data: the case of the mathematics subject classification. In The semantic webThe Semantic Web, E. Simperl, P. Cimiano, A. Polleres, O. Corcho and V. Presutti (Eds.), LNCS, pp. 763–777. External Links: Link, Document Cited by: p1.
- [13] (2012) The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization. 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. 463–467. External Links: 1204.5093 Cited by: p1.
- [14] (2012) The Distributed Ontology Language (DOL): use cases, syntax, and extensibility. In Terminology and knowledge engineering conference (TKE)Terminology and Knowledge Engineering Conference (TKE), G. Aguado de Cea, M. C. Suárez-Figueroa, R. García-Castro and E. Montiel-Ponsoda (Eds.), pp. 33–48. External Links: 1208.0293 Cited by: p1.
- [18] (2012) Three semantics for the core of the Distributed Ontology Language. In Formal Ontology in Information Systems, M. Donnelly and G. Guizzardi (Eds.), Frontiers in Artificial Intelligence and Applications, pp. 337–352. Note: Extended abstract published as [20] External Links: ISBN 978-1-61499-084-0, Link Cited by: p1.
- [21] (2012) Point-and-write — documenting formal mathematics by reference. 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. 169–185. External Links: 1204.5094 Cited by: p1.
- [2] (2011) Authoring and publishing of units and quantities in semantic documents. In The semantic web: ESWC 2011 workshopsThe Semantic Web: ESWC 2011 Workshops, R. García Castro, D. Fensel and G. Antoniou (Eds.), LNCS, pp. 202–216. External Links: Link Cited by: p1.
- [11] (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.
- [17] (2011) Krextor – an extensible framework for contributing content math to the web of data. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.), LNAI, pp. 304–306. External Links: Link Cited by: p1.
- [3] (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.
- [5] (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.
- [6]
(2010)
sTeX – a system for flexible formalization of linked data.
In 6
^{th}international conference on semantic systems (I-Semantics) and the 5^{th}international conference on pragmatic webProceedings of the 6^{th}International Conference on Semantic Systems (I-Semantics) and the 5^{th}International Conference on Pragmatic Web, A. Paschke, N. Henze, T. Pellegrini and H. Weigand (Eds.), External Links: 1006.4474v1, Document Cited by: p1. - [4] (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.
- [12] (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.
- [16] (2008) SWiM – a semantic wiki for mathematical knowledge management. In The semantic web: research and applicationsThe Semantic Web: Research and Applications, S. Bechhofer, M. Hauswirth, J. Hoffmann and M. Koubarakis (Eds.), LNCS, pp. 832–837. External Links: 1003.5196v1 Cited by: p1.

- [3] (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Ph.D. Thesis, Jacobs University Bremen. Note: Also available as a book [4] External Links: Link Cited by: 4.
- [4] (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Studies on the Semantic Web, AKA Verlag and IOS Press, Heidelberg and Amsterdam. Note: Book edition of thesis [3] External Links: ISBN 978-1-60750-840-3, Link Cited by: p1, 3.
- [2] C. Lange (Ed.) (2006-09) Wikis und blogs – Planen, Einrichten, Verwalten. C&L Computer- und Literaturverlag. External Links: ISBN 3-936546-44-4 Cited by: p1.
- [1] C. Lange (Ed.) (2005-09) Wiki – Planen, Einrichten, Verwalten. C&L Computer- und Literaturverlag. External Links: ISBN 3-936546-28-2 Cited by: p1.

- [1] J. Carette, D. Aspinall, C. Lange, P. Sojka and W. Windsteiger (Eds.) (2013) Intelligent computer mathematics. Lecture Notes in Computer Science, Springer. External Links: Document, ISBN 978-3-642-39319-8 Cited by: p1.

- [1] (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Ph.D. Thesis, Jacobs University Bremen. Note: Also available as a book [2] External Links: Link Cited by: p1, 2.
- [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. Note: Book edition of thesis [1] External Links: ISBN 978-1-60750-840-3, Link Cited by: 1.
- [3] (2006-08) A Semantic Wiki for Mathematical Knowledge Management. Diploma thesis, Universität Trier. External Links: Link Cited by: p1.

- [2] 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.) (2014) Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2014. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
- [4]
A. García Castro, C. Lange, P. Lord and R. Stevens (Eds.) (2013)
Proceedings of the 3
^{rd}workshop on semantic publishing, Extended Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1. - [9] C. Lange, D. Aspinall, J. Carette, J. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, P. Quaresma, F. Rabe, P. Sojka, I. Whiteside and W. Windsteiger (Eds.) (2013) Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2013. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
- [13] C. Lange, C. Rowat and M. Kerber (Eds.) (2013) Enabling domain experts to use formalised reasoning. Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB). External Links: Link, ISBN 978-1-908187-32-1 Cited by: p1.
- [7]
B. Good, F. van Harmelen, A. García Castro, C. Lange, E. Sandhaus and A. de Waard (Eds.) (2012)
Proceedings of the 2
^{nd}workshop on semantic publishing, Extended Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1. - [3] A. García Castro, K. Baclawski, J. Bateman, K. Viljanen and C. Lange (Eds.) (2011) Proceedings of the workshop ontologies come of age in the semantic web, International Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
- [5]
A. García Castro, C. Lange, E. Sandhaus and A. de Waard (Eds.) (2011)
Proceedings of the 1
^{st}workshop on semantic publication, Extended Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1. - [16] C. Lange and J. Urban (Eds.) (2011) Proceedings of the itp 2011 workshop on mathematical wikis (mathwikis). CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
- [6] A. Giurca, B. Endres-Niggemeyer, C. Lange, L. Maicher and P. Hitzler (Eds.) (2010-06) AI Mashup Challenge. External Links: Link Cited by: p1.
- [1]
M. d’Aquin, A. García Castro, C. Lange and K. Viljanen (Eds.) (2010)
Proceedings of the 1
^{st}workshop on ontology repositories and editors, Extended Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1. - [10]
C. Lange, J. Reutelshöfer, S. Schaffert and H. Skaf-Molli (Eds.) (2010)
Proceedings of the 5
^{th}workshop on semantic wikis, Extended Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1. - [8] (2009-09) LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität. Technical report Vol. TUD-KE-2009-04, Universität Darmstadt. Cited by: 11.
- [11] C. Lange and J. Reutelshöfer (Eds.) (2009-09) Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM. Note: Workshop at LWA 2009, published as part of [8] Cited by: p1.
- [12] C. Lange and J. Reutelshöfer (Eds.) (2009-09) Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM. Vol. TUD-KE-2009-04, Universität Darmstadt. Cited by: p1.
- [15]
C. Lange, S. Schaffert, H. Skaf-Molli and M. Völkel (Eds.) (2009)
Proceedings of the 4
^{th}workshop on semantic wikis, European Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1. - [14]
C. Lange, S. Schaffert, H. Skaf-Molli and M. Völkel (Eds.) (2008)
Proceedings of the 3
^{rd}workshop on semantic wikis, European Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.

- [43] (2014) Proof support for Common Logic. In Automated Reasoning in Quantified Non-Classical Logics (ARQNL), C. Benzmüller and J. Otten (Eds.), EasyChair Proceedings in Computing, pp. 42–58. External Links: Link Cited by: p1.
- [10]
(2013)
Automated reasoning for economics.
In 20
^{th}Automated Reasoning Workshop (ARW), A. Bolotov, S. Colton, D. Crocker, L. Dennis, C. Dixon, J. Fleuriot, U. Hustadt, M. Jamnik, K. Komendantskaya, A. Miller, R. Schmidt, V. Sorge and J. Heras (Eds.), Note: Invited paper Cited by: p1. - [17] (2013) A qualitative comparison of the suitability of four theorem provers for basic auction theory. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Carette, D. Aspinall, C. Lange, P. Sojka and W. Windsteiger (Eds.), Lecture Notes in Computer Science, pp. 200–215. External Links: 1303.4193 Cited by: p1.
- [30] (2013) The formare project – formal mathematical reasoning in economics. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Carette, D. Aspinall, C. Lange, P. Sojka and W. Windsteiger (Eds.), Lecture Notes in Computer Science, pp. 330–334. External Links: 1303.4194 Cited by: p1.
- [31] (2013) Developing an auction theory toolbox. In Enabling domain experts to use formalised reasoningEnabling Domain Experts to use Formalised Reasoning, C. Lange, C. Rowat and M. Kerber (Eds.), Cited by: p1.
- [44] (2013) The distributed ontology, modeling and specification language. In Modular Ontologies, C. Del Vescovo, T. Hahmann, D. Pearce and D. Walther (Eds.), CEUR Workshop Proceedings, Aachen. Note: Invited paper External Links: ISSN 1613-0073, Link Cited by: p1.
- [46] (2013) Semantics of the distributed ontology language: institutes and institutions. In Recent Trends in Algebraic Development TechniquesRecent Trends in Algebraic Development Techniques, T. Mossakowski, N. Martí-Oliet and M. Palomino Tarjuelo (Eds.), LNCS, pp. 212–230. Cited by: p1.
- [9] (2012) Formal representation and proof for cooperative games. In Symposium on Mathematical Practice and Cognition II, A. Pease and B. Larvor (Eds.), pp. 15–18. External Links: Link, ISBN 978-1-908187-10-9 Cited by: p1.
- [14] (2012) The Babel of the semantic web tongues – in search of the Rosetta stone of interoperability. In What will the Semantic Web look like 10 Years from now? Workshop at ISWC, F. van Harmelen, J. A. Hendler, P. Hitzler, K. Janowicz and D. Vrandečić (Eds.), External Links: Link Cited by: p1.
- [25] (2012) The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization. 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. 463–467. External Links: 1204.5093 Cited by: p1.
- [28] (2012) The Distributed Ontology Language (DOL): use cases, syntax, and extensibility. In Terminology and knowledge engineering conference (TKE)Terminology and Knowledge Engineering Conference (TKE), G. Aguado de Cea, M. C. Suárez-Figueroa, R. García-Castro and E. Montiel-Ponsoda (Eds.), pp. 33–48. External Links: 1208.0293 Cited by: p1.
- [29] (2012) LoLa: a modular ontology of logics, languages, and translations. In Modular Ontologies, T. Schneider and D. Walther (Eds.), CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
- [45] (2012) cMap’s product classification mapping from an ontology interoperability perspective. In Mapping of classifications and other light-weight ontologies, A. Virgili (Ed.), Cited by: p1.
- [47] (2012) Point-and-write — documenting formal mathematics by reference. 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. 169–185. External Links: 1204.5094 Cited by: p1.
- [27] (2011-11) Making heterogeneous ontologies interoperable through standardisation. In Accessibility Reaching Everywhere, pp. 185–196. External Links: Link Cited by: p1.
- [15] (2011-06) Towards a standard for heterogeneous ontology integration and interoperability. In First International Conference on Terminology, Language and Content Resources (LaRC), K. Choi (Ed.), pp. 101–110. External Links: Link Cited by: p1.
- [1]
(2011)
Authoring and publishing of units and quantities in semantic documents.
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. External Links: Link Cited by: p1. - [6]
(2011)
BauDenkMalNetz – creating a semantically annotated web resource of historical buildings.
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. External Links: Link Cited by: p1. - [41]
(2010-07)
Towards OpenMath content dictionaries as linked data.
In 23
^{rd}OpenMath workshop23^{rd}OpenMath Workshop, M. Kohlhase and C. Lange (Eds.), External Links: 1006.4057v1 Cited by: p1. - [3] (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.
- [2] (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.
- [4] (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.
- [5]
(2010)
Prototyping a browser for a listed buildings database with Semantic MediaWiki.
In Proceedings of the 5
^{th}workshop on semantic wikis, Extended Semantic Web Conference5^{th}Workshop on Semantic Wikis, C. Lange, J. Reutelshöfer, S. Schaffert and H. Skaf-Molli (Eds.), CEUR Workshop Proceedings. Cited by: p1. - [11] (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.
- [32]
(2010)
Previewing OWL changes and refactorings using a flexible XML database.
In Proceedings of the 1
^{st}workshop on ontology repositories and editors, Extended Semantic Web Conference1^{st}Workshop on Ontology Repositories and Editors, M. d’Aquin, A. García Castro, C. Lange and K. Viljanen (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1. - [42] (2010) Integrating mathematics into the web of data. In Linked Data in the Future Internet, S. Auer, S. Decker and M. Hauswirth (Eds.), CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
- [48] (2010) Semantics of governmental statistics data. In Proceedings of WebSci’10: Extending the Frontiers of Society On-LineProceedings of WebSci’10: Extending the Frontiers of Society On-Line, External Links: Link Cited by: p1.
- [8] (2009-09) LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität. Technical report Vol. TUD-KE-2009-04, Universität Darmstadt. Cited by: 24.
- [12] (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.
- [24] (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.
- [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.
- [23] (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.
- [40]
(2009-07)
wiki.openmath.org – how it works, how you can participate.
In 22
^{nd}openmath workshop22^{nd}OpenMath Workshop, J. H. Davenport (Ed.), External Links: 1003.5192v1 Cited by: p1. - [22]
(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. - [39] (2009-05) Krextor – an extensible XML$\to $RDF extraction framework. In Scripting and development for the semantic web (SFSW)Scripting and Development for the Semantic Web (SFSW), C. Bizer, S. Auer and G. A. Grimnes (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
- [20] (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.
- [18] (2008-07) Easily editing and browsing complex OpenMath markup with SWiM. In Mathematical user interfaces workshop at MKMMathematical User Interfaces Workshop, P. Libbrecht (Ed.), External Links: Link Cited by: p1.
- [19]
(2008-06)
Improving mathematical knowledge items by acting on issue-based community feedback.
In 2
^{nd}workshop on scientific communities of practice (SCooP-2008)Proceedings of the 2^{nd}SCooP Workshop, C. Müller (Ed.), Cited by: p1. - [36]
(2008-02)
Editing OpenMath content dictionaries with SWiM.
In 3
^{rd}JEM Workshop (Joining Educational Mathematics), External Links: Link Cited by: p1. - [16]
(2008)
Expressing argumentative discussions in social media sites.
In Social data on the web (SDoW), workshop at the 7
^{th}international semantic web conferenceSocial Data on the Web (SDoW), Workshop at the 7^{th}International Semantic Web Conference, J. Breslin, U. Bojārs, A. Passant and S. Fernández (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1. - [26]
(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. - [37]
(2008)
Mathematical semantic markup in a wiki: the roles of symbols and notations.
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. - [38] (2008) SWiM – a semantic wiki for mathematical knowledge management. In The semantic web: research and applicationsThe Semantic Web: Research and Applications, S. Bechhofer, M. Hauswirth, J. Hoffmann and M. Koubarakis (Eds.), LNCS, pp. 832–837. External Links: 1003.5196v1 Cited by: p1.
- [13] (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.
- [33] (2007-06) SWiM – a semantic wiki for mathematical knowledge management. In Mathematical user-interfaces workshop 2007 at MKMMathematical User Interfaces Workshop 2007, P. Libbrecht (Ed.), Cited by: p1.
- [34] (2007-06) Towards scientific collaboration in a semantic wiki. In Bridging the Gap between Semantic Web and Web 2.0 (SemNet)Bridging the Gap between Semantic Web and Web 2.0 (SemNet), A. Hotho and B. Hoser (Eds.), Cited by: p1.
- [35] (2007) Towards a Semantic Wiki for Science. In Proceedings of the KWEPSY (Knowledge Web PhD Symposium)Proceedings of the KWEPSY (Knowledge Web PhD Symposium), E. Simperl, J. Diederich and G. Schreiber (Eds.), CEUR Workshop Proceedings. Cited by: p1.
- [21]
(2006)
A semantic wiki for mathematical knowledge management.
In Proceedings of the 1
^{st}workshop on semantic wikis, European Semantic Web Conference1^{st}Workshop on Semantic Wikis, M. Völkel, S. Schaffert and S. Decker (Eds.), CEUR Workshop Proceedings. Cited by: p1.

- [1] (2014-01) A formal proof of Vickrey’s theorem by blast, simp, and rule. Working Paper Technical Report 14-01, University of Birmingham, Department of Economics. External Links: Link Cited by: p1.
- [7] (2013-01-10) Hets for Common Logic users. DFKI GmbH, Bremen. External Links: Link Cited by: p1.
- [8] (2012-06-04) OntoIOp (ontology integration and interoperability) part 1: the distributed ontology language (DOL). International Standard (Working Draft) Technical Report 17347, ISO. External Links: Link Cited by: p1.
- [3] (2009-02) Notations for active mathematical documents. KWARC Report Technical Report 2009-1, Jacobs University Bremen. Note: http://kwarc.info/publications/papers/KLMMR_NfAD.pdf External Links: Link Cited by: p1.
- [4] (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.
- [2] (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] (2007-03) SWiM – a semantic wiki for mathematical knowledge management. Technical report Technical Report 5, Jacobs University Bremen. Note: Revised, updated and reviewed version of thesis [6] External Links: Link Cited by: p1.
- [6] (2006-08) A Semantic Wiki for Mathematical Knowledge Management. Diploma thesis, Universität Trier. External Links: Link Cited by: 5.

- [3]
U. Furbach, R. Grimm, F. Hampe, S. Staab and M. Wimmer (Eds.) (2013-09-17)
Applying mechanised reasoning in economics – making reasoners applicable for domain experts.
Note: Tutorial at INFORMATIK 2013, Computer science adapted to humans, organization and the environment, 43
^{rd}annual meeting of the German Informatics Society (Gesellschaft für Informatik e.V. (GI)) External Links: Link Cited by: p1. - [1] (2013) Proving soundness of combinatorial Vickrey auctions and generating verified executable code. External Links: 1308.1779 Cited by: p1.
- [2] K. Judd (Ed.) (2012-07-25) An economist’s guide to mechanized reasoning or My computer just proved 84 impossibility theorems. Note: Invited lecture at the Initiative for Computational Economics summer school External Links: Link Cited by: p1.
- [7] (2011) Survey results on collaborative mathematical knowledge management. Note: Appendix to the Ph.D. thesis “Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration” External Links: Link Cited by: p1.
- [6]
(2008-03)
Mathematik lernen in einem semantischen wiki.
Note: Invited talk at the 99
^{th}MNU-Kongress (Deutscher Verein zur Förderung des mathematischen und naturwissenschaftlichen Unterrichts e.V.) External Links: Link Cited by: p1. - [8] (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.
- [5] (2007-02) Towards a Semantic Wiki for Science. Jacobs University Bremen. Note: http://kwarc.info/swim/pubs/swimplus-resprop.pdfResearch proposal for a Ph. D. thesis External Links: Link Cited by: p1.
- [4] Document ontologies. Note: project homepage External Links: Link Cited by: p1.