[70]A. Kohlhase, M. Kohlhase and C. Lange (2010)sTeX – a system for flexible formalization of linked data.
In 6th international conference on semantic systems (I-Semantics) and the 5th international conference on pragmatic webProceedings of the 6th International Conference on Semantic Systems (I-Semantics) and the 5th International Conference on Pragmatic Web, A. Paschke, N. Henze, T. Pellegrini and H. Weigand (Eds.),
External Links: 1006.4474v1,
DocumentCited by: p1.

[80]A. Kohlhase and M. Kohlhase (2010)What we understand is what we get: assessment in spreadsheets.
In Symp. of the european spreadsheet risks interest group (EuSpRIG 2010)Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2010), S. Thorne (Ed.),
pp. 111–121.
External Links: LinkCited by: p1.

[143]C. Müller and M. Kohlhase (2008)Towards a community of practice toolkit based on semantically marked up artifacts.
In Proceedings of the 1st World Summit of the Knowledge Society: Emerging
Technologies and Information Systems for the Knowledge Society, M. D. Lytras (Ed.),
LNAI, pp. 41–50.
Cited by: p1.

[86]A. Kohlhase (2005-11)Overcoming Proprietary Hurdles: CPoint as Invasive Editor.
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. 51–56.
Cited by: p1.

[122]M. Kohlhase (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.

[3]A. Asperti and M. Kohlhase (2002)MathML in the MoWGLI project.
In Second international conference on mathml and technologies for math on the webSecond International Conference on MathML and Technologies for Math
on the Web,
External Links: LinkCited by: p1.

[115]M. Kohlhase, K. Sutner, P. Jansen, A. Kohlhase, P. Lee, D. Scott and M. Szudzik (2002)Acquisition of math content in an academic setting.
In Second international conference on mathml and technologies for math on the webSecond International Conference on MathML and Technologies for Math
on the Web,
External Links: LinkCited by: p1.

[120]M. Kohlhase (2001)Formal representation issues in an open mathematical knowledge base.
In Electronic proceedings of the first international workshop on mathematical knowledge management: MKM’2001Electronic Proceedings of the First International Workshop on Mathematical
Knowledge Management: MKM’2001, B. Buchberger and O. Caprotti (Eds.),
External Links: LinkCited by: p1.

[23]C. David, D. Ginev, M. Kohlhase and J. Corneli (2010)eMath 3.0: building blocks for a social and semantic web for online mathematics & ELearning.
In 1st International Workshop on Mathematics and ICT: Education, Research and Applications1st International Workshop on Mathematics and ICT: Education, Research and Applications, I. Mierlus-Mazilu (Ed.),
External Links: LinkCited by: p1.

[153]C. Müller (2007)Towards the Identification and Support of Scientific Communities of Practice.
In 1st Workshop on Scientific COmmunities Of PracticeProceedings of the 1st SCooP Workshop, C. Müller (Ed.),
Cited by: p1.

[102]M. Kohlhase, K. Sutner, P. Jansen, A. Kohlhase, P. Lee, D. Scott and M. Szudzik (2002)Acquisition of math content in an academic setting.
In Second international conference on mathml and technologies for math on the webSecond International Conference on MathML and Technologies for Math
on the Web,
External Links: LinkCited by: p1.

[29]M. Kerber and M. Kohlhase (1997-09)Reasoning without believing: on the mechanization of presuppositions and partiality.
Technical reportTechnical Report CSRP-97-23, University of Birmingham, School of Computer Science.
External Links: LinkCited by: p1.