The SWiM Project

Table of Contents

• Articles in Collections
• Conference and Workshop Contributions
• Theses
• Technical Reports
• Miscellaneous

Articles in Collections

1. Christoph Lange, Michael Kohlhase. A Semantic Wiki for Mathematical Knowledge Management; pp. 47–68 in Jörg Rech, Björn Decker, Eric Ras, eds.: Emerging Technologies for Semantic Work Environments: Techniques, Methods, and Applications; IGI Global April 2008.
2. Christoph Lange, Michael Kohlhase. SWiM – An OMDoc-based Semantic Wiki; chap. 26.10 in OMDoc – An open markup format for mathematical documents [Version 1.2]; LNAI 4180, Springer Verlag August 2006.

Conference and Workshop Contributions

1. Christoph Lange, Tuukka Hastrup, Stéphane Corlosquet. Arguing on Issues with Mathematical Knowledge Items in a Semantic Wiki; in Joachim Baumeister, Martin Atzmüller, eds.: Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings; October 2008.
2. Christoph Lange, Alberto Palomo. Easily Editing and Browsing Complex OpenMath Markup with SWiM; in Paul Libbrecht, ed.: Mathematical User Interfaces Workshop 2008; July 2008.
3. Christoph Lange, Tuukka Hastrup, Stéphane Corlosquet. Improving mathematical knowledge items by acting on issue-based community feedback; in Christine Müller, ed.: Proceedings of the 2nd SCooP Workshop; June 2008.
4. Christoph Lange. SWiM – A semantic wiki for mathematical knowledge management; pp. 832–837 in Sean Bechhofer, Manfred Hauswirth, Jörg Hoffmann, Manolis Koubarakis, eds.: ESWC; Lecture Notes in Computer Science 5021, Springer Verlag June 2008.
5. Christoph Lange. Mathematical Semantic Markup in a Wiki: The Roles of Symbols and Notations; in Christoph Lange, Sebastian Schaffert, Hala Skaf-Molli, Max Völkel, eds.: 3rd Workshop on Semantic Wikis; CEUR Workshop Proceedings 360, June 2008.
6. Christoph Lange, Sean McLaughlin, Florian Rabe. Flyspeck in a Semantic Wiki – Collaborating on a Large Scale Formalization of the Kepler Conjecture; in Christoph Lange, Sebastian Schaffert, Hala Skaf-Molli, Max Völkel, eds.: 3rd Workshop on Semantic Wikis; CEUR Workshop Proceedings 360, June 2008.
7. Christoph Lange. Editing openmath Content Dictionaries with SWiM; in 3rd JEM Workshop (Joining Educational Mathematics); February 2008.
8. Christoph Lange. Towards Scientific Collaboration in a Semantic Wiki; in Andreas Hotho, Bettina Hoser, eds.: Bridging the Gap between Semantic Web and Web 2.0 (SemNet 2007); June 2007.
9. Christoph Lange. Towards a Semantic Wiki for Science; in Elena Simperl, Jörg Diederich, Guus Schreiber, eds.: Proceedings of the KWEPSY 2007 – Knowledge Web PhD Symposium 2007. Innsbruck, Austria.; CEUR Workshop Proceedings 275, June 2007.
10. Christoph Lange. SWiM – A Semantic Wiki for Mathematical Knowledge Management; in Paul Libbrecht, ed.: Mathematical User Interfaces Workshop 2007; June 2007.
11. Michael Kohlhase, Christoph Lange, Florian Rabe. Presenting Mathematical Content With Flexible Elisions; in Olga Caprotti, Michael Kohlhase, Paul Libbrecht, eds.: OpenMath/JEM Workshop 2007; June 2007.
12. Christoph Lange, Michael Kohlhase. A Semantic Wiki for Mathematical Knowledge Management; in Max Völkel, Sebastian Schaffert, Stefan Decker, eds.: 1st Workshop on Semantic Wikis; CEUR Workshop Proceedings 206, June 2006.

Theses

1. Christoph Lange. A Semantic Wiki for Mathematical Knowledge Management; Diploma thesis, Universität Trier August 2006.

Technical Reports

1. Christoph Lange. SWiM – A Semantic Wiki for Mathematical Knowledge Management; Technical Report 5, Jacobs University Bremen March 2007.

Miscellaneous

1. Christoph Lange. Towards a Semantic Wiki for Science; , February 2007. Research proposal for a Ph. D. thesis

(last regeneration: 2010-09-09+02:00)