References

[1] (Website) Cited by: ?.
[2] (Website) Cited by: ?.
[3] (Website) Cited by: ?.
[4] (Website) Cited by: ?.
[5] (Website) Cited by: ?.
[6] (Website) Cited by: ?.
[7] (Website) Cited by: ?.
[8] in 84, Cited by: ?.
[9] (Website) Cited by: ?.
[10] (Website) Cited by: ?.
[11] (Website) Cited by: ?.
[12] (Website) Cited by: ?.
[13] (Website) Cited by: ?.
[14] (Website) Cited by: ?.
[15] (Website) Cited by: ?.
[16] (Website) Cited by: ?.
[17] Cited by: ?.
[18] (Website) Cited by: ?.
[19] (Website) Cited by: ?.
[20] (Website) Cited by: ?.
[21] (Website) Cited by: ?.
[22] (Website) Cited by: ?.
[23] (Website) Cited by: ?.
[24] (Website) Cited by: ?.
[25] (Website) Cited by: ?.
[26] (Website) Cited by: ?.
[27] (Website) Cited by: ?.
[28] (Website) Cited by: ?.
[29] (2003-10-21) Cited by: ?.
[30] (2008)(Website) Cited by: ?.
[31] (2008) Cited by: ?.
[32] (2009)(Website) Cited by: ?.
[33] (2010)(Website) Cited by: ?.
[34] (2010) Note: http://tntbase.org/wiki/restful Cited by: ?.
[35] (2011-01-08)(Website) Cited by: ?.
[36] (2011)(Website) Cited by: ?.
[37] (2011)(Website) Note: See also[42] Cited by: ?.
[38] (2011)(Website) Cited by: ?.
[39] (2011)(Website) Cited by: ?.
[40] (2011)(Website) Cited by: ?.
[41] (2011)(Website) Cited by: ?.
[42] (2011)(Website) Cited by: ?, 37.
[43] A. Aiordachioaie Improving Panta Rhei, External Links: Link. Cited by: ?.
[44] A. Aiordachioaie(2008) Improving Panta Rhei as a Community Tool, Bachelor Thesis, Jacobs University Bremen. External Links: Link. Cited by: ?.
[45] M. Alecu(2012) Generic unification for type theories, Jacobs University Bremen. Note: Bachelor’s thesis, Jacobs University Bremen Cited by: ?.
[46] Ş. Anca(2007) MaTeSearch A combined math and text search engine, Bachelor’s Thesis, Jacobs University Bremen. External Links: Link. Cited by: ?.
[47] Ş. Anca(2009) Natural language and mathematics processing for applicable theorem search, Master’s Thesis, Jacobs University Bremen. External Links: Link. Cited by: ?.
[48] G. Antoniou, M. Grobelnik, E. Paslaru Bontas Simperl, B. Parsia, D. Plexousakis, P. D. Leenheer and J. Z. Pan (Eds.)(2011) The semantic web: research and applications (part ii), LNCS, Springer Verlag, Heidelberg. External Links: ISBN 978-3-642-21033-4. Cited by: 505.
[49] A. Armando, M. Kohlhase and S. Ranise Communication protocols for mathematical services based on KQML and OMRS, in 300, pp. 34–48. External Links: Link. Cited by: ?.
[50] L. Aroyo, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral and T. Tudorache (Eds.)(2010) The semantic web: research and applications (part ii), LNCS, Springer Verlag. Cited by: 150.
[51] arXMLiv Build system, External Links: Link. Cited by: 1.
[52] arXMLiv: Showcase Demo Page, External Links: Link. Cited by: 3.
[53] arXMLiv: Translating the Math Archives to XML+MathML, External Links: Link. Cited by: 4.
[54] Planetary arXiv demo, External Links: Link. Cited by: 2.
[55] A. Asperti, J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.)(2011) Intelligent Computer Mathematics, Work-in-Progress Proceedings, Technical Reports of University of Bologna, Vol. UBLCS-2011-04, University of Bologna. Cited by: ?, 239.
[56] A. Asperti, G. Bancerek and A. Trybulec (Eds.)(2004) Mathematical knowledge management, mkm’04, LNAI, Springer Verlag. Cited by: 312.
[57] A. Asperti, B. Buchberger and J. H. Davenport (Eds.)(2003) Mathematical knowledge management, mkm’03, LNCS, Springer Verlag. Cited by: 352.
[58] A. Asperti, M. Kohlhase and C. Sacerdoti Coen(2003) Prototype n. d2.b document type descriptors: OMDoc proofs, MoWGLI Deliverable The MoWGLI Project. Cited by: ?.
[59] A. Asperti and M. Kohlhase MathML in the MoWGLI project, in 552, External Links: Link. Cited by: ?.
[60] R. Ausbrooks, S. Buswell, D. Carlisle, G. Chavchanidze, S. Dalmas, S. Devitt, A. Diaz, S. Dooley, R. Hunter, P. Ion, M. Kohlhase, A. Lazrek, P. Libbrecht, B. Miller, R. Miner, M. Sargent, B. Smith, N. Soiffer, R. Sutor and S. Watt(2010) Mathematical Markup Language (MathML) Version 3.0, Technical report World Wide Web Consortium (W3C). Cited by: ?.
[61] R. Ausbrooks, S. Buswell, D. Carlisle, S. Dalmas, S. Devitt, A. Diaz, M. Froumentin, R. Hunter, P. Ion, M. Kohlhase, R. Miner, N. Poppelier, B. Smith, N. Soiffer, R. Sutor and S. Watt(2003-10-21) Mathematical Markup Language (MathML) Version 2.0 (second edition), Technical report World Wide Web Consortium (W3C). Cited by: ?.
[62] S. Autexier, C. David, D. Dietrich, M. Kohlhase and V. Zholudev Workflows for the management of change in science, technologies, engineering and mathematics, in 122, pp. 164–179. External Links: Link. Cited by: ?.
[63] S. Autexier, F. Eberhardt, D. Hutter, M. Kohlhase and R. Anghelache(2003) Distributed knowledge management and version control, Deliverable Technical Report D5.a, The MoWGLI Project. Cited by: ?.
[64] S. Awodey and F. Rabe(2009) Kripke Semantics for Martin-Löf’s Extensional Type Theory, LNCS, Vol. 5608, pp. 249–263. Cited by: ?.
[65] S. Awodey and F. Rabe(2009) Kripke Semantics for Martin-Löf’s Extensional Type Theory, Note: see http://kwarc.info/frabe/Research/LamKrip.pdf Cited by: ?.
[66] S. Awodey and F. Rabe(2011) Kripke Semantics for Martin-Löf’s Extensional Type Theory, Logical Methods in Computer Science 7 (3). Cited by: ?.
[67] G. Bancerek and M. Kohlhase Towards a Mizar Mathematical Library in OMDoc format, in 557, pp. 265–275. External Links: Link. Cited by: ?.
[68] J. Baumeister and M. Atzmüller (Eds.)(2008-10) Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings, Technical Report, Vol. 448, Universität Würzburg. Cited by: 582, 581, 323, 501, 586.
[69] P. Baumgartner, P. A. Cairns, M. Kohlhase and E. Melis (Eds.)(2003) Proceedings of the ijcai 03 workshop on knowledge representation and automated reasoning for e-learning systems, Acapulco, \MEXICO. Cited by: ?.
[70] P. Baumgartner, U. Furbach, M. Kohlhase, W. McCune, W. Reif, M. Stickel and T. Uribe (Eds.)(1998) CADE-15 workshop “problem-solving methodologies with automated deduction”, Cited by: ?, 88.
[71] S. Bechhofer, M. Hauswirth, J. Hoffmann and M. Koubarakis (Eds.)(2008) The semantic web: research and applications, LNCS, Springer Verlag. Cited by: 523.
[72] C. E. Benzmueller, C. E. Brown and M. Kohlhase Cut-simulation in impredicative logics, in 272, pp. 220–234. External Links: Link. Cited by: ?.
[73] C. E. Benzmueller, C. E. Brown and M. Kohlhase(2009) Cut-simulation and impredicativity, Logical Methods in Computer Science 5 (1), pp. 1–21. External Links: Link. Cited by: ?.
[74] C. Benzmüller, F. Rabe and G. Sutcliffe(2008) THF0 – The core of the TPTP Language for Higher-Order Logic, (P. Baumgartner and G. Dowek Eds.), LNCS, pp. 491–506. Cited by: ?.
[75] C. Benzmüller, C. Brown and M. Kohlhase Cut elimination with xi-functionality, in 77, External Links: Link. Cited by: ?.
[76] C. Benzmüller, C. Brown and M. Kohlhase(2004) Higher order semantics and extensionality, Journal of Symbolic Logic 69, pp. 1027–1088. External Links: Link. Cited by: ?.
[77] C. Benzmüller, C. Brown, J. Siekmann and R. Statman (Eds.)(2008) Festschrift in honour of peter b. andrews on his 70^th birthday, College Publications. Cited by: 75.
[78] C. Benzmüller, L. Cheikhrouhou, D. Fehrer, A. Fiedler, X. Huang, M. Kerber, M. Kohlhase, K. Konrad, E. Melis, A. Meier, W. Schaarschmidt, J. Siekmann and V. Sorge(1997) $\Omega$ mega: Towards a mathematical assistant, in 105, pp. 252–255. External Links: Link. Cited by: ?.
[79] C. Benzmüller, M. Kohlhase and C. E. Brown(2003) Higher order semantics and extensionality., Technical Report Technical Report 03-001, Department of Mathematical Sciences, Carnegie Mellon University. External Links: Link. Cited by: ?.
[80] C. Benzmüller and M. Kohlhase LEO – A higher order theorem prover, in 106, pp. 139–144. External Links: Link. Cited by: ?.
[81] C. Benzmüller and M. Kohlhase(1997) Model existence for higher-order logic, SEKI-Report Technical Report SR-97-09, Universität des Saarlandes. Cited by: ?.
[82] C. Benzmüller and M. Kohlhase(1997) Resolution for henkin models, SEKI-Report Technical Report SR-97-10, Universität des Saarlandes. Cited by: ?.
[83] C. Benzmüller and M. Kohlhase(1998) Extensional higher order resolution, in 106, pp. 56–72. External Links: Link. Cited by: ?.
[84] W. Bibel and P. Schmitt (Eds.)(1998) Automated deduction – a basis for applications, Kluwer. Cited by: 397, 8, 401.
[85] C. Bizer, S. Auer and G. A. Grimnes (Eds.)(2009-05) Scripting and development for the semantic web (sfsw), CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link. Cited by: 520.
[86] P. Blackburn, J. Bos, M. Kohlhase and H. de Nivelle Inference and computational semantics, in 101, pp. 5–19. Cited by: ?.
[87] P. Blackburn, J. Bos, M. Kohlhase and H. de Nivelle Inference and computational semantics, in 102, pp. 11–28. Cited by: ?.
[88] P. Blackburn, J. Bos, M. Kohlhase and H. de Nivelle(1998) Automated theorem proving for natural language understanding, in 70, (U. Furbach, M. Kohlhase, W. McCune, W. Reif, M. Stickel and T. Uribe Eds.). Cited by: ?.
[89] P. Blackburn, J. Bos, M. Kohlhase and H. de Nivelle(1998) Inference and computational semantics, CLAUS Report Technical Report 99, University of the Saarland, Saarbrücken. Cited by: ?.
[90] P. Blackburn and J. Bos (Eds.)(2003) ICoS-4. inference in computational semantics. workshop proceedings, LORIA, Nancy. Cited by: 222.
[91] P. Blackburn and M. Kohlhase (Eds.)(2001) ICoS-3. inference in computational semantics. workshop proceedings, Computational Linguistics, Saarland University. Cited by: ?.
[92] P. Blackburn and M. Kohlhase(2004) Inference and computational semantics, Journal of Logic, Language and Information 13 (2), pp. 117–120. External Links: Link. Cited by: ?.
[93] J. Borwein and W. M. Farmer (Eds.)(2006) Mathematical Knowledge Management (MKM), LNAI, Springer Verlag. Cited by: 226, 309.
[94] J. Bos and M. Kohlhase (Eds.)(2000) ICoS-2. inference in computational semantics. workshop proceedings, Computational Linguistics, Saarland University. Cited by: ?, 366.
[95] J. Bos and M. Kohlhase(2003) Editorial, Logic Journal of the IGPL 11 (4), pp. 381–384. Cited by: ?.
[96] J. Bos and M. Kohlhase (Eds.)(2003) Logic journal of the igpl, Vol. 11(3), Oxford University Press. Note: Special Issue for ICOS-2 Cited by: ?.
[97] J. Breslin, U. Bojārs, A. Passant and S. Fernández (Eds.)(2008) Social data on the web (sdow), workshop at the 7^th international semantic web conference, CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link. Cited by: 499.
[98] G. Brewka, C. Habel and B. Nebel (Eds.)(1997) Proceedings of the 18.th annual german conference on artificial intelligence ki’97, LNAI, Freiburg, Germany. Cited by: 294.
[99] M. Bröcheler(2007) A mathematical semantic web, Bachelor’s Thesis, Computer Science, Jacobs University, Bremen. External Links: Link. Cited by: ?.
[100] B. Buchberger and O. Caprotti (Eds.)(2001) Electronic proceedings of the first international workshop on mathematical knowledge management: mkm’2001, External Links: Link. Cited by: 304.
[101] H. Bunt, L. Kievit, R. Muskens and M. Verlinden (Eds.)(1999) Proceedings of IWCS III (third international workshop on computational semantics), Tilburg. Cited by: 86.
[102] H. Bunt, L. Kievit, R. Muskens and M. Verlinden (Eds.)(2001) Computing meaning (volume 2), Kluwer Academic Publishers. Cited by: 87.
[103] D. McAllester (Ed.)(2000) Automated Deduction – CADE-17, LNAI, Springer Verlag. Cited by: 182.
[104] A. Bundy (Ed.)(1994) Proceedings of the 12^th Conference on Automated Deduction, LNAI, Springer Verlag, Nancy, France. Cited by: 245, 249, 282, 292.
[105] W. McCune (Ed.)(1997) Proceedings of the 14^th Conference on Automated Deduction, LNAI, Springer Verlag, Townsville, Australia. Cited by: 78, 255.
[106] C. Kirchner and H. Kirchner (Eds.)(1998) Proceedings of the 15^th Conference on Automated Deduction, LNAI, Springer Verlag. Cited by: 83, 80.
[107] H. Ganzinger (Ed.)(1999) Automated deduction — CADE-16, LNAI, Springer Verlag. Cited by: 181.
[108] A. Voronkov (Ed.)(2002) Automated deduction — cade-18, LNAI, Springer Verlag. Cited by: 653, 704.
[109] J. Calmet and C. Limogelli (Eds.)(1996) Design and implementation of symbolic computation systems, disco’96, LNCS, Springer Verlag, Karlsruhe, Germany. Cited by: 289.
[110] C. Calude and C. Müller(2009) Formal Proofs: Reconciling Correctness and Understanding, in 116, Cited by: ?.
[111] C. Calude and C. Müller(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: ?.
[112] O. Caprotti, M. Kohlhase and P. Libbrecht (Eds.)(2007-06) OpenMath/jem workshop 2007, Note: online at \urlhttp://www.openmath.org/meetings/linz2007/ External Links: Link. Cited by: 375.
[113] O. Caprotti, S. Xambó, M. Huertas, M. Kohlhase and M. Seppälä (Eds.)(2008) 3^rd jem workshop – joining educational mathematics, External Links: Link. Cited by: ?, 399.
[114] S. Buswell, O. Caprotti, D. P. Carlisle, M. C. Dewar, M. Gaëtano and M. Kohlhase(2004) The Open Math standard, version 2.0, Technical report The OpenMath Society. External Links: Link. Cited by: ?.
[115] 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: 379.
[116] J. Carette, L. Dixon, C. Sacerdoti Coen and S. M. Watt (Eds.)(2009-07) MKM/Calculemus Proceedings, LNAI, Springer Verlag. External Links: ISBN 978-3-642-02613-3. Cited by: 110, 143, 205, 310, 317, 506.
[117] J. Carette, W. Farmer and M. Kohlhase(2014) Realms: a structure for consolidating knowledge about mathematical theories, Note: submitted to CICM 2014 External Links: Link. Cited by: ?.
[118] R. Ausbrooks, S. Buswell, D. Carlisle, S. Dalmas, S. Devitt, A. Diaz, M. Froumentin, R. Hunter, P. Ion, M. Kohlhase, R. Miner, N. Poppelier, B. Smith, N. Soiffer, R. Sutor and S. WattD. Carlisle, P. Ion, R. Miner and N. Poppelier (Eds.)(2003) Mathematical Markup Language (MathML) Version 2.0 (second edition), W3C Recommendation World Wide Web Consortium (W3C). External Links: Link. Cited by: ?, 61, 29.
[119] A. Cavalcanti and D. Dams (Eds.)(2009) 16^th international symposium on formal methods (fm 2009), LNCS, Springer Verlag. Cited by: 377.
[120] S. Autexier, J. Campbell, J. Rubio, V. Sorge, M. Suzuki and F. Wiedijk (Eds.)(2008) Intelligent computer mathematics, LNAI, Springer Verlag. Cited by: 383, 670.
[121] S. Autexier, J. Calmet, D. Delahaye, P. D. F. Ion, L. Rideau, R. Rioboo and A. P. Sexton (Eds.)(2010) Intelligent computer mathematics, LNAI, Springer Verlag. External Links: ISBN 3642141277. Cited by: 285, 387.
[122] J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.)(2011) Intelligent computer mathematics, LNAI, Springer Verlag. External Links: ISBN 978-3-642-22672-4. Cited by: 62, 132, 210, 236, 386, 519.
[123] J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.)(2011) Intelligent computer mathematics – work in progress papers, Cited by: 305, 314.
[124] J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.)(2012) Intelligent computer mathematics, LNAI, Springer Verlag. External Links: ISBN 978-3-642-31373-8. Cited by: 149, 238, 265, 286, 414, 503, 380.
[125] E. Clarke, M. Kohlhase, J. Ouaknine and K. Sutner Resurrecting the Analytica theorem prover, in 625, Cited by: ?.
[126] E. Clarke, M. Kohlhase, J. Ouaknine and K. Sutner System description: analytica 2, in 223, pp. 69–74. External Links: Link. Cited by: ?.
[127] M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, F. Rabe and K. Sojakova Towards Logical Frameworks in the Heterogeneous Tool Set Hets, in 493, Cited by: ?.
[128] M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, F. Rabe and K. Sojakova(2010) Towards Logical Frameworks in the Heterogeneous Tool Set Hets, Cited by: ?.
[129] M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski and F. Rabe A Proof Theoretic Interpretation of Model Theoretic Hiding, in 493, Cited by: ?.
[130] M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski and F. Rabe(2010) A Proof Theoretic Interpretation of Model Theoretic Hiding, Cited by: ?.
[131] M. Codescu, F. Horozal, I. Ignatov and F. Rabe(2012) Representing CASL in a Proof-Theoretical Logical Framework, Cited by: ?.
[132] M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski and F. Rabe Project abstract: logic atlas and integrator (LATIN), in 122, pp. 289–291. Cited by: ?.
[133] M. Codescu, F. Horozal, T. Mossakowski and F. Rabe(2012) Compiling Logics, Cited by: ?.
[134] A. Cohen and H. Barendregt (Eds.)(1998-07) 6^th calculemus and types workshop, Eindhoven, The Netherlands. External Links: Link. Cited by: 225.
[135] D. Couto Vale, J. Kornberger, C. Lange, T. Mossakowski and H. Müller(Website) External Links: Link. Cited by: ?.
[136] A. Kohlhase(2005) CPoint, Note: http://kwarc.info/projects/CPoint/ Cited by: ?.
[137] C. Müller(2007) Panta Rhei: Case Study Fall2007, Note: http://kwarc.info/projects/panta-rhei/papers/cs_Fall2007.pdf External Links: Link. Cited by: ?.
[138] M. Cîrlănaru, D. Ginev and C. Lange Authoring and publishing of units and quantities in semantic documents, in 188, External Links: Link. Cited by: ?.
[139] M. Cîrlănaru, D. Ginev and C. Lange Authoring and publishing of units and quantities in semantic documents, in 189, pp. 202–216. External Links: Link. Cited by: ?.
[140] M. Cîrlănaru(2011) Authoring, publishing and interacting with units and quantities in technical documents, B. Sc. Thesis, Jacobs University Bremen. Cited by: ?.
[141] J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.)(2011) Intelligent Computer Mathematics, Lecture Notes in Computer Science, Vol. 6824, Springer. Cited by: ?.
[142] J. H. Davenport and M. Kohlhase Quantifiers and big operators in openmath, in 145, External Links: Link. Cited by: ?.
[143] J. H. Davenport and M. Kohlhase Unifying Math Ontologies: A tale of two standards, in 116, pp. 263–278. External Links: Link. Cited by: ?.
[144] J. H. Davenport and M. Kohlhase(2009) Unifying Math Ontologies: A tale of two standards (full paper), Note: http://opus.bath.ac.uk/13079 External Links: Link. Cited by: ?.
[145] J. H. Davenport (Ed.)(2009-07) 22^nd openmath workshop, External Links: Link. Cited by: 142, 632.
[146] C. David, C. Lange and F. Rabe(2010) Interactive Documents as Interfaces to Computer Algebra Systems: JOBAD and Wolfram—Alpha, (R. Rioboo Ed.), Technical Reports of CEDRIC (CNAM/ENSIIE), pp. 13–30. Cited by: ?.
[147] C. David, D. Ginev, M. Kohlhase and J. Corneli eMath 3.0: building blocks for a social and semantic web for online mathematics & ELearning, in 560, External Links: Link. Cited by: ?.
[148] C. David, D. Ginev, M. Kohlhase, B. Matican and S. Mirea A framework for modular semantic publishing with separate compilation and dynamic linking, in 188, External Links: Link. Cited by: ?.
[149] C. David, C. Jucovschi, A. Kohlhase and M. Kohlhase Semantic Alliance: a framework for semantic allies, in 124, pp. 49–64. External Links: Link. Cited by: ?.
[150] C. David, M. Kohlhase, C. Lange, F. Rabe, N. Zhiltsov and V. Zholudev Publishing math lecture notes as linked data, in 50, pp. 370–375. External Links: 1004.3390v1. Cited by: ?.
[151] C. David, M. Kohlhase, C. Lange, F. Rabe and V. Zholudev JOBAD/MMT – Interactive mathematics, in 215, External Links: Link. Cited by: ?.
[152] C. David(2012) Semantic Alliance Framework: Integrating Documents and Semantic Services, M. Sc. Thesis, Jacobs University Bremen. External Links: Link. Cited by: ?.
[153] F. de Vries, G. Attwell, R. Elferink and A. Tödt (Eds.)(2005-11) Open source for education in europe: research and practise, Open Universiteit Nederland, Open Universiteit Nederland, Heerlen, The Netherlands. Note: Proceedings at \urlhttp://hdl.handle.net/1820/483 External Links: Link. Cited by: 407, 336.
[154] J. Denzinger, M. Kohlhase and B. Spencer (Eds.)(1998) CADE-15 workshop “using ai methods in deduction”, Cited by: ?.
[155] S. Dumbrava, F. Horozal and K. Sojakova(2009) A Case Study on Formalizing Algebra in a Module System, (C. Schürmann Ed.), ACM International Conference Proceeding Series, Vol. 429, pp. 11–18. Cited by: ?.
[156] S. Dumbrava, F. Horozal and K. Sojakova(2009) A Case Study on Formalizing Algebra in a Module System, (C. Schürmann Ed.), ACM International Conference Proceeding Series, Vol. 429, pp. 11–18. Cited by: ?.
[157] S. Dumbrava and F. Rabe(2010) Structuring Theories with Partial Morphisms, Note: Workshop on Abstract Development Techniques Cited by: ?.
[158] S. Dumbrava(2010) Structured specifications with hiding in the edinburgh logical framework LF, Bachelor’s Thesis, Jacobs University Bremen. External Links: Link. Cited by: ?.
[159] S. Dumbrava(2012) A Type Theory based on Reflection, Master’s Thesis, Jacobs University Bremen. Cited by: ?.
[160] A. Dumitrache, C. Lange, M. Kohlhase and N. Aschenbeck Prototyping a browser for a listed buildings database with Semantic MediaWiki, in 514, Cited by: ?.
[161] A. Dumitrache and C. Lange BauDenkMalNetz – creating a semantically annotated web resource of historical buildings, in 188, External Links: Link. Cited by: ?.
[162] M. A. Dumitru, D. Ginev, M. Kohlhase, V. Merticariu, S. Mirea and T. Wiesing(2014) System description: kat an annotation tool for stem documents, Note: submitted to CICM 2014 External Links: Link. Cited by: ?.
[163] J. W. Dörrie, M. Kohlhase and L. Linsen(2013) OpenMathMap: accessing math via interactive maps, (S. Krantz and B. Wegner Eds.), pp. 81–98. External Links: Link. Cited by: ?.
[164] J. W. Dörrie and M. Kohlhase OpenMathMap: Accessing math via interactive maps, in 498, External Links: Link. Cited by: ?.
[165] 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: 518.
[166] F. Eberhardt and M. Kohlhase(2004) A Document-Sensitive XML-CVS Client, Note: unpublished KWARC blue notes Cited by: ?.
[167] W. Wahlster (Ed.)(1996-08) Proceedings of the 12^th european conference on artificial intelligence, John Wiley & Sons, Chichester, UK, Budapest, Hungary. Cited by: 293.
[168] W. Horn (Ed.)(2000) Proceedings of of the 14^th european conference on artifical intelligence, John Wiley & Sons, Chichester, UK, Brighton, UK. Cited by: 404.
[169] C. Montgomerie and J. Seale (Eds.)(2007-06) Proceedings of the world conference on educational multimedia, hypermedia & telecommunications 2007 (ed-media’07), AACE. Note: Vancouver, Canada Cited by: 338.
[170] (2008-06) Proceedings of the world conference on educational multimedia, hypermedia & telecommunications 2008 (ed-media’08), AACE. Cited by: 334.
[171] M. Egg, C. Gardent and M. Kohlhase(1998) Steuerung der inferenz in der diskursverarbeitung, Kognitionswissenschaft 7 (3), pp. 106–110. External Links: Link. Cited by: ?.
[172] M. Egg and M. Kohlhase(1997) Dynamic control of quantifier scope, Amsterdam, The Netherlands, pp. 109–114. Cited by: ?.
[173] M. Egg and M. Kohlhase(1997) Underspecification of quantifier scope, Heidelberg. External Links: Link. Cited by: ?.
[174] B. Endres-Niggemeyer, V. Zacharias and P. Hitzler (Eds.)(2009-09) AI Mashup Challenge, External Links: Link. Cited by: 359.
[175] B. Endres-Niggemeyer (Ed.)(2013) Springer. External Links: Link, ISBN 978-3-642-36402-0. Cited by: 509.
[176] Executable paper challenge system, External Links: Link. Cited by: 5.
[177] I. Farhana Md Mahtar and N. Azan Mat Zin(2010) Mathematical knowledge representation for education semantic web based on learning style, pp. 1–4. External Links: Document. Cited by: ?.
[178] C. Lange, F. Rabe and S. McLaughlin The Flyspeck wiki case study, Note: http://mathweb.org/wiki/Flyspeckseen November 2007 External Links: Link. Cited by: ?.
[179] A. Franke, S. M. Hess, C. G. Jung, M. Kohlhase and V. Sorge(1999) Agent-oriented integration of distributed mathematical services, Journal of Universal Computer Science 5, pp. 156–187. External Links: Link. Cited by: ?.
[180] A. Franke and M. Kohlhase MBase, An open mathematical knowledge base, in 433, Cited by: ?.
[181] A. Franke and M. Kohlhase System description: MathWeb, an agent-based communication layer for distributed automated theorem proving, in 107, pp. 217–221. External Links: Link. Cited by: ?.
[182] A. Franke and M. Kohlhase System description: MBase, an open mathematical knowledge base, in 103, pp. 455–459. External Links: Link. Cited by: ?.
[183] A. Franke and M. Kohlhase(1999) Communicating with MBase in KQML, External Links: Link. Cited by: ?.
[184] A. Franke and M. Kohlhase(1999) Distributing MBase, External Links: Link. Cited by: ?.
[185] A. Franke and M. Kohlhase(1999) MBase: Representing mathematical knowledge in a relational data base, Electronic Notes Theoretical Computer Science 23 (3). Cited by: ?.
[186] C. Freksa, M. Kohlhase and K. Schill (Eds.)(2006) Proceedings of the 29.th annual german conference on artificial intelligence ki’06, LNAI, Bremen, Germany. Cited by: ?.
[187] 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: ?.
[188] 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: ?, 138, 148, 161.
[189] R. García Castro, D. Fensel and G. Antoniou (Eds.)(2011) The semantic web: ESWC 2011 workshops, LNCS, Springer Verlag, Heidelberg. External Links: ISBN 978-3-642-25952-4. Cited by: 139.
[190] C. Gardent, M. Kohlhase and K. Konrad(1997) Higher–order coloured unification: a linguistic application, CLAUS Report Technical Report 97, University of the Saarland, Saarbrücken. Cited by: ?.
[191] C. Gardent, M. Kohlhase and K. Konrad(1999) Higher-order colored unification: a linguistic application, Téchniqe et Sciences Informatiques, special issue for JFPLC-UNIF’97 18 (2), pp. 1–28. External Links: Link. Cited by: ?.
[192] C. Gardent, M. Kohlhase and N. van Leusen(1996) Corrections and higher-order unification, CLAUS Report Technical Report 77, University of the Saarland, Saarbrücken. Cited by: ?.
[193] C. Gardent, M. Kohlhase and N. van Leusen(1996) Corrections and Higher-Order Unification, Bielefeld, Germany, pp. 268–279. External Links: Link. Cited by: ?.
[194] C. Gardent and M. Kohlhase Computing parallelism in discourse, in 271, pp. 1016–1021. External Links: Link. Cited by: ?.
[195] C. Gardent and M. Kohlhase(1996) Focus and higher–order coloured unification, CLAUS Report Technical Report 75, University of the Saarland, Saarbrücken. Cited by: ?.
[196] C. Gardent and M. Kohlhase(1996) Focus and higher–order unification, Copenhagen, pp. 268–279. External Links: Link. Cited by: ?.
[197] C. Gardent and M. Kohlhase(1996) Higher–order coloured unification and natural language semantics, Santa Cruz, pp. 1–9. External Links: Link. Cited by: ?.
[198] C. Gardent and M. Kohlhase(1996) Higher–order coloured unification and natural language semantics, CLAUS Report Technical Report 76, University of the Saarland, Saarbrücken. Cited by: ?.
[199] M. Kohlhase(2011) General Computer Science: GenCS I/II Lecture Notes, Semantic Course Notes in Panta Rhei. External Links: Link. Cited by: 42.
[200] M. Kohlhase(2011) General Computer Science; 320101: GenCS I Lecture Notes, External Links: Link. Cited by: 36.
[201] M. Kohlhase(2011) General Computer Science; Problems and Solutions for 320101 GenCS I, External Links: Link. Cited by: 39, 41.
[202] M. Kohlhase(2011) General Computer Science; Problems for 320101 GenCS I, External Links: Link. Cited by: 38, 40.
[203] M. Kohlhase(2011) General Computer Science: 320201 GenCS II Lecture Notes, External Links: Link. Cited by: 37.
[204] H. Geuvers, G. Nadathur, F. Rabe and C. Schürmann (Eds.)(2011) LFMTP 2011 - MLPA 2011 Informal Proceedings, Note: see \urlhttp://kwarc.info/frabe/events/mlpa-11/index.html Cited by: ?.
[205] J. Giceva, C. Lange and F. Rabe Integrating web services into active mathematical documents, in 116, pp. 279–293. External Links: Link. Cited by: ?.
[206] J. Giceva(2008) Capturing rhetorical aspects in mathematical documents using OMDoc and SALT, Technical Report Jacobs University and DERI Galway. External Links: Link. Cited by: ?.
[207] J. Giceva(2009) Integrating web services into active mathematical documents, Bachelor’s Thesis, Computer Science, Jacobs University, Bremen. External Links: Link. Cited by: ?.
[208] D. Ginev, M. Iancu, C. Jucovschi, A. Kohlhase, M. Kohlhase, H. Kröger, J. Schefter and W. Sperber(2014) The SMGLoM project and system, Note: submitted to CICM 2014 External Links: Link. Cited by: ?.
[209] D. Ginev, C. Jucovschi, S. Anca, M. Grigore, C. David and M. Kohlhase(2009) An architecture for linguistic and semantic analysis on the arXMLiv corpus, External Links: Link. Cited by: ?.
[210] D. Ginev, H. Stamerjohanns and M. Kohlhase The LaTeXML daemon: editable math on the collaborative web, in 122, pp. 292–294. External Links: Link. Cited by: ?.
[211] D. Ginev LaTeXML: A LaTeX to XML converter, arXMLiv branch, External Links: Link. Cited by: 10.
[212] D. Ginev(Website) External Links: Link. Cited by: ?.
[213] D. Ginev(2012-06) On digital corpora of scientific documents - knowledge management and representations, Note: unpublished KWARC blue notes External Links: Link. Cited by: ?.
[214] D. Ginev(2012-06) Towards a build system for digital corpora of scientific documents, Note: unpublished KWARC blue notes External Links: Link. Cited by: ?.
[215] A. Giurca, B. Endres-Niggemeyer, C. Lange, L. Maicher and P. Hitzler (Eds.)(2010-06) AI Mashup Challenge, External Links: Link. Cited by: 151.
[216] J. Goguen, T. Mossakowski, V. de Paiva, F. Rabe and L. Schröder(2008) An Institutional View on Categorical Logic, International Journal of Software and Informatics 1 (1), pp. 129–152. Cited by: ?.
[217] S. Graf, V. Zholudev, L. Lewandowski and M. Waldvogel Hecate, managing authorization with restful xml, in 693, External Links: Link. Cited by: ?.
[218] M. Grigore, M. Wolska and M. Kohlhase(2009-12-14) Towards context-based disambiguation of mathematical expressions, (H. Hong, H. Anai, C. Yap, Y. Sato and H. Yoshida Eds.), COE Lecture Notes, Vol. 22, Fukuoka, Japan, pp. 262–271. External Links: ISSN 1881-4042, Link. Cited by: ?.
[219] M. Grigore Personal communication to D. Ginev, Note: February 23 2011 Cited by: ?.
[220] M. Grigore(2010-08) Knowledge-poor Interpretation of Mathematical Expressions in Context, Master’s Thesis, Jacobs University Bremen, Bremen, Germany. External Links: Link. Cited by: ?.
[221] T. Gross (Ed.)(2007) 7. konferenz für interaktive und kooperative medien, Oldenburg. Cited by: 574.
[222] B. Han and M. Kohlhase A time calculus for natural language, in 90, pp. 113–127. External Links: Link. Cited by: ?.
[223] T. Hardin and R. Rioboo (Eds.)(2003-09) 11^th symposium on the integration of symbolic computation and mechanized reasoning (calculemus 2003), Rome, Italy. External Links: Link. Cited by: 126.
[224] M. Hartmann and F. Janssen(2009-09) LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität, Technical report Vol. TUD-KE-2009-04, Universität Darmstadt. Cited by: 515.
[225] S. Hess, C. Jung, M. Kohlhase and V. Sorge An implementation of distributed mathematical services, in 134, Cited by: ?.
[226] E. Hilf, M. Kohlhase and H. Stamerjohanns Capturing the content of physics: systems, observables, and experiments, in 93, pp. 165–178. External Links: Link. Cited by: ?.
[227] A. Hinneburg (Ed.)(2007) Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings, Martin-Luther-University Halle-Wittenberg, Martin-Luther University Halle-Wittenberg. Cited by: 337, 378, 566, 587.
[228] B. Hoffmann, B. Gersdorf, C. Lüth, T. Mossakowski, T. Röfer, L. Schröder, S. Hui and M. Werner (Eds.)(2009) Festschrift in honour of bernd krieg-brückner’s 60^th birthday, DFKI. Cited by: 311, 376.
[229] V. Hornung-Prähauser, M. Luckmann and M. Kalz (Eds.)(2008) Selbstorganisiertes Lernen im Internet, Studienverlag. Cited by: 415.
[230] V. Hornung-Prähauser (Ed.)(2007) EduMedia, Salzburg Research. Note: 3. Interdisziplinäre EduMedia Tagung, 16.-17. April 2007, Salzburg External Links: Link. Cited by: 332.
[231] F. Horozal and F. Rabe(2009) A Formal Proof of the Soundness of First-order Logic, Note: see https://svn.kwarc.info/repos/twelf/fol-soundness.cfg Cited by: ?.
[232] F. Horozal and F. Rabe(2009) Representing Model Theory in a Type-Theoretical Logical Framework, (F. Kamareddine Ed.), Electronic Notes in Theoretical Computer Science, Vol. 256, pp. 49–65. Cited by: ?.
[233] F. Horozal and F. Rabe(2011) Representing Model Theory in a Type-Theoretical Logical Framework, Theoretical Computer Science 412 (37), pp. 4919–4945. Cited by: ?.
[234] F. F. Horozal and C. E. Brown Formal representation of mathematics in a dependently typed set theory, in 288, pp. 265–279. Cited by: ?.
[235] F. F. Horozal(2007) Towards a Natural Representation of Mathematics in Proof Assistants, Master’s Thesis, Saarland University, Saarbrücken, Germany. Cited by: ?.
[236] F. Horozal, A. Iacob, C. Jucovschi, M. Kohlhase and F. Rabe Combining source, content, presentation, narration, and relational representation, in 122, pp. 212–227. External Links: Link. Cited by: ?.
[237] F. Horozal, M. Kohlhase, F. Rabe and K. Sojakova(2010) Towards an atlas of logics, External Links: Link. Cited by: ?.
[238] F. Horozal, M. Kohlhase and F. Rabe Extending MKM formats at the statement level, in 124, pp. 65–80. External Links: Link. Cited by: ?.
[239] F. Horozal, M. Kohlhase and F. Rabe Extending OpenMath with Sequences, in 55, pp. 58–72. External Links: Link. Cited by: ?.
[240] F. Horozal, M. Kohlhase and F. Rabe(2014) Flexary operators for formalized mathematics, Note: submitted to CICM 2014 External Links: Link. Cited by: ?.
[241] F. Horozal and F. Rabe(2012) Representing Categories of Theories in a Proof-Theoretical Logical Framework, Cited by: ?.
[242] F. Horozal and F. Rabe(2012) Representing logics of theorem provers — TLTP: tens of logics for theorem provers, Note: see http://kwarc.info/frabe/Research/HR_tptp_12.pdf Cited by: ?.
[243] F. Horozal(2012) Management of Change in the Web Ontology Language, Master’s Thesis, Jacobs University Bremen. Cited by: ?.
[244] A. Hotho and B. Hoser (Eds.)(2007-06) Bridging the Gap between Semantic Web and Web 2.0 (SemNet), Cited by: 528.
[245] X. Huang, M. Kerber, M. Kohlhase, E. Melis, D. Nesmith, J. Richts and J. Siekmann KEIM: a toolkit for automated deduction, in 104, pp. 807–810. External Links: Link. Cited by: ?.
[246] X. Huang, M. Kerber, M. Kohlhase, E. Melis, D. Nesmith, J. Richts and J. Siekmann(1995) Omega-mkrp, ein mathematisches assistenzsystem, SEKI Working Paper Technical Report SWP-95-01, Fachbereich Informatik, Universität des Saarlandes, Saarbrücken. Cited by: ?.
[247] X. Huang, M. Kerber, M. Kohlhase, E. Melis, D. Nesmith, J. Richts and J. Siekmann(1996) Die Beweisentwicklungsumgebung $\Omega$ mega, Informatik – Forschung und Entwicklung 11, pp. 20–26. Cited by: ?.
[248] X. Huang, M. Kerber, M. Kohlhase, E. Melis, D. Nesmith, J. Richts and J. Siekmann(1992) $\Omega$ -MKRP – A proof development environment, Technical Report Technical Report SR-92-22, Universität des Saarlandes. Cited by: ?.
[249] X. Huang, M. Kerber, M. Kohlhase, E. Melis, D. Nesmith, J. Richts and J. Siekmann(1994) $\Omega$ -MKRP A proof development environment, in 104, pp. 788–792. External Links: Link. Cited by: ?.
[250] X. Huang, M. Kerber, M. Kohlhase, D. Nesmith and J. Richts(1994) A test for evaluating the practical usefulness of deduction systems, Note: Workshop “Evaluation of Automated Theorem Proving Systems” on CADE’94 Cited by: ?.
[251] X. Huang, M. Kerber, M. Kohlhase, D. Nesmith and J. Richts(1994) Guaranteeing correctness through the communication of checkable proofs (or: would you really trust an automated reasoning system?), Cited by: ?.
[252] X. Huang, M. Kerber, M. Kohlhase and W. Reif A test for evaluating the practical usefulness of deduction systems, in 691, pp. 12–12. Cited by: ?.
[253] X. Huang, M. Kerber, M. Kohlhase and J. Richts(1994) Adapting methods to novel tasks in proof planning, in 302, pp. 379–390. External Links: Link. Cited by: ?.
[254] X. Huang, M. Kerber and M. Kohlhase(1992) Methods — the basic unit for planning and verifying proofs, SEKI-Report Technical Report SR-92-20, Fachbereich Informatik, Universität des Saarlandes, SaarbrückenGermany. Cited by: ?.
[255] D. Hutter and M. Kohlhase A coloured version of the $\lambda$ -calculus, in 105, pp. 291–305. Cited by: ?.
[256] D. Hutter and M. Kohlhase(1995) A coloured version of the $\lambda$ -calculus, Technical Report Technical Report SR-95-05, Fachbereich Informatik, Universität des Saarlandes, Saarbrücken. Cited by: ?.
[257] D. Hutter and M. Kohlhase(2000) Managing structural information by higher-order colored unification, Journal of Automated Reasoning 25 (2), pp. 123–164. External Links: Link. Cited by: ?.
[258] D. Hutter and M. Kohlhase(2006) Ontology-driven management of change, External Links: Link. Cited by: ?.
[259] A. Iacob(2011) Towards Project-Based Workflows in Twelf, Master’s Thesis, Jacobs University Bremen. Cited by: ?.
[260] M. Iancu, M. Kohlhase and F. Rabe(2011) Translating the Mizar Mathematical Library into OMDoc format, Technical report Technical Report KWARC Report-01/11, Jacobs University Bremen. Cited by: ?.
[261] M. Iancu and F. Rabe(2010) A Formal Semantics of Isabelle/HOL, Note: see https://svn.kwarc.info/repos/twelf/projects/isabelle Cited by: ?.
[262] M. Iancu, C. Jucovschi, M. Kohlhase and T. Wiesing(2014) System description: mathhub.info, Note: submitted to CICM 2014 External Links: Link. Cited by: ?.
[263] M. Iancu, M. Kohlhase, F. Rabe and J. Urban(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: ?.
[264] M. Iancu, M. Kohlhase and F. Rabe(2011) Translating the Mizar Mathematical Library into OMDoc format, KWARC Report Jacobs University Bremen. Note: https://svn.omdoc.org/repos/latin/public/Mizar2OMDoc-Report.pdf External Links: Link. Cited by: ?.
[265] M. Iancu and F. Rabe Management of Change in Declarative Languages, in 124, pp. 325–340. Cited by: ?.
[266] M. Iancu and F. Rabe(2011) Formalizing Foundations of Mathematics, Mathematical Structures in Computer Science 21 (4), pp. 883–911. Cited by: ?.
[267] M. Iancu and F. Rabe(2012) (Work-in-Progress) An MMT-Based User-Interface, Cited by: ?.
[268] M. Iancu(2012) Management of change in declarative languages, Master’s Thesis, Jacobs University Bremen. Cited by: ?.
[269] T. Ida, J. Calmet and D. Wang (Eds.)(2006) Proceedings of artificial intelligence and symbolic computation, AISC’2006, LNAI, Springer Verlag. Cited by: 394.
[270] I. Ignatov(2012) Modular Encoding of Type Theory, Jacobs University Bremen. Note: Bachelor’s thesis, Jacobs University Bremen Cited by: ?.
[271] M. E. Pollack (Ed.)(1997) Proceedings of the 15^th International Joint Conference on Artificial Intelligence (IJCAI), Morgan Kaufmann, Nagoya, Japan. Cited by: 194.
[272] U. Furbach and N. Shankar (Eds.)(2006) Automated reasoning — third international joint conference, ijcar 2006, LNAI, Springer Verlag, Seattle, USA. Cited by: 72, 639.
[273] T. A. Inkster and C. Lange(2010-02-23)(Website) External Links: Link. Cited by: ?.
[274] A. Ioniţă(2007) Developing a rest interface to a database for omdoc, Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) Bremen. External Links: Link. Cited by: ?.
[275] A. Ioniţă(2008) Extracting RDF knowledge from OMDoc, Bachelor’s thesis, Jacobs University Bremen. Cited by: ?.
[276] A. Paschke, N. Henze, T. Pellegrini and H. Weigand (Eds.)(2010) 6^th international conference on semantic systems (I-Semantics) and the 5^th international conference on pragmatic web, ACM. External Links: ISBN 978-1-4503-0014-8, Link. Cited by: 307.
[277] Janta: The RESTFul Web Service of panta rhei, Note: http://trac.kwarc.info/jantaseen March 2009 External Links: Link. Cited by: ?.
[278] S. Jeschke, M. Kohlhase and R. Seiler eLearning-, eTeaching- & eResearch-technologien – chancen und potentiale für die mathematik, Mitteilungen der DMV 12 (2). External Links: Link. Cited by: ?.
[279] JOBAD Framework – JavaScript API for OMDoc-based active documents, External Links: Link. Cited by: 6.
[280] JOBAD Demo, Note: seen March 2009 External Links: Link. Cited by: ?.
[281] P. Johann and M. Kohlhase(1993) Unification in an extensional lambda calculus with ordered function sorts and constant overloading, SEKI-Report Technical Report SR-93-14, Universität des Saarlandes. Cited by: ?.
[282] P. Johann and M. Kohlhase(1994) Unification in an extensional lambda calculus with ordered function sorts and constant overloading, in 104, pp. 620–634. External Links: Link. Cited by: ?.
[283] JOMDoc Project — Java library for OMDoc documents, External Links: Link. Cited by: 7.
[284] M. José Ibáñez, G. Vulcu, J. Ezpeleta and S. Bhiri(2010) Semantically enabled business process discovery, pp. 1396–1403. External Links: ISBN 978-1-60558-639-7. Cited by: ?.
[285] C. Jucovschi and M. Kohlhase sTeXIDE: An integrated development environment for sTeX collections, in 121, pp. 336–344. External Links: 1005.5489v1. Cited by: ?.
[286] C. Jucovschi Cost-effective integration of mkm semantic services into editing environments, in 124, pp. 96–110. External Links: Link. Cited by: ?.
[287] C. Kaliszyk and F. Rabe(2014) Towards knowledge management for HOL Light, Note: submitted to CICM 2014 External Links: Link. Cited by: ?.
[288] M. Kauers, M. Kerber, R. Miner and W. Windsteiger (Eds.)(2007) MKM/Calculemus, LNAI, Springer Verlag. External Links: ISBN 978-3-540-73083-5. Cited by: 234, 321, 596.
[289] M. Kerber, M. Kohlhase and V. Sorge Integrating computer algebra with proof planning, in 109, pp. 204–215. Cited by: ?.
[290] M. Kerber, M. Kohlhase and V. Sorge(1996) An Integration Of Mechanised Reasoning and Computer Algebra that Respects Explicit Proofs, Seki Report Technical Report SR-96-06, Fachbereich 14 Informatik, Universität des Saarlandes. External Links: Link. Cited by: ?.
[291] M. Kerber, M. Kohlhase and V. Sorge(1998) Integrating computer algebra into proof planning, Journal of Automated Reasoning 21 (3), pp. 327–355. External Links: Link. Cited by: ?.
[292] M. Kerber and M. Kohlhase A mechanization of strong Kleene logic for partial functions, in 104, pp. 371–385. External Links: Link. Cited by: ?.
[293] M. Kerber and M. Kohlhase A resolution calculus for presuppositions, in 167, pp. 375–379. External Links: Link. Cited by: ?.
[294] M. Kerber and M. Kohlhase Mechanising partiality without re-implementation, in 98, pp. 123–134. External Links: Link. Cited by: ?.
[295] M. Kerber and M. Kohlhase(1993) A mechanization of strong Kleene logic for partial functions, SEKI-Report Technical Report SR-93-20 (SFB), Universität des Saarlandes, Saarbrücken. Cited by: ?.
[296] M. Kerber and M. Kohlhase(1994) Formalizing mathematics with dependent sorts, AIDA-Report. Cited by: ?.
[297] M. Kerber and M. Kohlhase(1996) A tableau calculus for partial functions, Collegium Logicum: Annals of the Kurt-Gödel-Society 2, pp. 21–49. External Links: Link. Cited by: ?.
[298] M. Kerber and M. Kohlhase(1996) Partiality without the cost, Cited by: ?.
[299] M. Kerber and M. Kohlhase(1997-09) Reasoning without believing: on the mechanization of presuppositions and partiality, Technical report Technical Report CSRP-97-23, University of Birmingham, School of Computer Science. External Links: Link. Cited by: ?.
[300] M. Kerber and M. Kohlhase (Eds.)(2000) CALCULEMUS-2000, Systems for integrated computation and deduction, AKPeters, St. Andrews, Scotland. Cited by: ?, 49.
[301] M. Kerber and M. Kohlhase(2012) Reasoning without believing: on the mechanization of presuppositions and partiality, Journal of Applied Non-Classical Logics 22 (4), pp. 295–317. External Links: Document. Cited by: ?.
[302] B. Nebel and L. Dreschler-Fischer (Eds.)(1994) 18^th annual german conference on aritificial intelligence, LNAI, Springer Verlag. Cited by: 253, 425.
[303] Knowledge Adaptation and Reasoning for Content, External Links: Link. Cited by: 497.
[304] M. Kohlahse Formal representation issues in an open mathematical knowledge base, in 100, External Links: Link. Cited by: ?.
[305] A. Kohlhase and C. Jucovschi PlanMP:collecting mathematical practices for mkm, in 123, Cited by: ?.
[306] A. Kohlhase, M. Kohlhase, C. Jucovschi and A. Toader Full semantic transparency: overcoming boundaries of applications, in 492, pp. 406–423. External Links: Link. Cited by: ?.
[307] A. Kohlhase, M. Kohlhase and C. Lange sTeX – A system for flexible formalization of linked data, in 276, External Links: 1006.4474v1, Document. Cited by: ?.
[308] A. Kohlhase and M. Kohlhase An exploration in the space of mathematical knowledge, in 434, pp. 17–32. External Links: Link. Cited by: ?.
[309] A. Kohlhase and M. Kohlhase Communities of Practice in MKM: An Extensional Model, in 93, pp. 179–193. External Links: Link. Cited by: ?.
[310] A. Kohlhase and M. Kohlhase Compensating the computational bias of spreadsheets with MKM techniques, in 116, pp. 357–372. External Links: Link. Cited by: ?.
[311] A. Kohlhase and M. Kohlhase Compensating the computational bias of spreadsheets, in 228, pp. 184–200. Cited by: ?.
[312] A. Kohlhase and M. Kohlhase CPoint: Dissolving the author’s dilemma, in 56, pp. 175–189. External Links: Link. Cited by: ?.
[313] A. Kohlhase and M. Kohlhase Maintaining islands of consistency via versioned links, in 623, pp. 167–174. External Links: Link. Cited by: ?.
[314] A. Kohlhase and M. Kohlhase Maintaining islands of consistency via versioned links, in 123, External Links: Link. Cited by: ?.
[315] A. Kohlhase and M. Kohlhase Modeling task experience in user assistance systems, in 558, pp. 135–142. External Links: Link. Cited by: ?.
[316] A. Kohlhase and M. Kohlhase Semantic transparency in user assistance systems, in 558, pp. 89–96. External Links: Link. Cited by: ?.
[317] A. Kohlhase and M. Kohlhase Spreadsheet interaction with frames: exploring a mathematical practice, in 116, pp. 341–356. External Links: Link. Cited by: ?.
[318] A. Kohlhase and M. Kohlhase Towards a conceptual model for flexible formalization, External Links: Link. Cited by: ?.
[319] A. Kohlhase and M. Kohlhase Towards a flexible notion of document context, in 623, pp. 181–188. External Links: Link. Cited by: ?.
[320] A. Kohlhase and M. Kohlhase What we understand is what we get: assessment in spreadsheets, in 679, pp. 111–121. External Links: Link. Cited by: ?.
[321] A. Kohlhase and M. Kohlhase(2007) Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch, in 288, pp. 266–279. External Links: Link. Cited by: ?.
[322] A. Kohlhase and M. Kohlhase(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: ?.
[323] A. Kohlhase and M. Kohlhase(2008) Compensating the semantic bias of spreadsheets, in 68, External Links: Link. Cited by: ?.
[324] A. Kohlhase and M. Kohlhase(2009) What you get is what you understand: assessment in SACHS, in 515, pp. 22–29. External Links: Link. Cited by: ?.
[325] A. Kohlhase and M. Kohlhase(2013) Spreadsheets with a semantic layer, Electronic Communications of the EASST: Specification, Transformation, Navigation – Special Issue dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday 62, pp. 1–20. External Links: Link. Cited by: ?.
[326] A. Kohlhase and N. Müller Added-Value: Getting People into Semantic Work Environments, in 651, pp. 185–205. Cited by: ?.
[327] A. Kohlhase and M. Reichel(2006) Embodied constructionist learning: social tagging and folksonomies in e-learning environments, Vol. 3, Badajoz, Spain. Cited by: ?.
[328] A. Kohlhase and M. Reichel(2008) Embodied conceptualizations: social tagging and e-learning, International Journal of Web-Based Learning and Teaching Technologies (1), pp. 58–67. Cited by: ?.
[329] A. Kohlhase and M. Reichel(2010-01) Social tagging and learning: the fuzzy line between private and public space, in Novel Developments in Web-Based Learning Technologies: Tools for Modern Teaching, Advances in Web-based Learning (AWBL). Note: ISBN 978-1-60566-938-0 Cited by: ?.
[330] A. Kohlhase, H. Schelhowe and M. Lund What can the hundred languages of children teach us?, in 565, pp. 189–198. Cited by: ?.
[331] A. Kohlhase CPoint – ein invasiver, semantischer Editor für wiederverwendaren Content in MS PowerPoint, in 652, pp. 35–42. Cited by: ?.
[332] A. Kohlhase CPoint — ein invasiver, semantischer Editor für Content in MS PowerPoint, in 230, pp. 116–118. Cited by: ?.
[333] A. Kohlhase CPoint’S mathematical user interface, in 543, External Links: Link. Cited by: ?.
[334] A. Kohlhase MS PowerPoint Use from a micro-perspective, in 170, pp. 1279–1286. External Links: Link. Cited by: ?.
[335] A. Kohlhase Navigation in mathematical documents, in 546, pp. 12–23. External Links: Link. Cited by: ?.
[336] A. Kohlhase Overcoming Proprietary Hurdles: CPoint as Invasive Editor, in 153, pp. 51–56. Cited by: ?.
[337] A. Kohlhase Semantic Perspectives on Knowledge Management and E-Learning, in 227, pp. 281–288. Cited by: ?.
[338] A. Kohlhase Semantic powerpoint: content and semantic technology for educational added-value services in MS PowerPoint, in 169, pp. 3576–3583. External Links: Link. Cited by: ?.
[339] A. Kohlhase The User as Prisoner: How the Dilemma Might Dissolve, in 559, pp. 26–31. External Links: Link. Cited by: ?.
[340] A. Kohlhase(2006-03) Media or Medea Society? Learner and Learning Technology as Full Partners, Vol. 1, pp. 6–12. Note: Bangkok (Thailand), 2006-03-13/14 Cited by: ?.
[341] A. Kohlhase(2006) What if PowerPoint became emPowerPoint (through CPoint)?, pp. 2934–2939. Note: Orlando (USA), 2006-03-20/24 Cited by: ?.
[342] A. Kohlhase(2007) Learner and learning technology: the interaction process as a full partnership, ECTI Transactions Journal. Note: Under final review External Links: Link. Cited by: ?.
[343] A. Kohlhase(2007) The music is not in the piano: engaging vs. enabling MS PowerPoint, (K. McFerrin, J. Price, R. Weber and D. A. Willis Eds.), pp. 2026–2028. Note: St. Antonio, TX (USA), 2007-03-24/28 Cited by: ?.
[344] A. Kohlhase(2008-04) Semantic interaction design: composing knowledge with CPoint, Ph.D. Thesis, Computer Science, Universität Bremen. External Links: Link. Cited by: ?.
[345] A. Kohlhase(2009-10-29)(Website) Note: comment to a blog post External Links: Link. Cited by: ?.
[346] A. Kohlhase(2014) Search interfaces for mathematicians, Note: submitted to CICM 2014 External Links: Link. Cited by: ?.
[347] L. Kohlhase and M. Kohlhase(2014) System description: a semantics-aware LaTeX-to-office converter, Note: submitted to CICM 2014 External Links: Link. Cited by: ?.
[348] M. Kohlhase, C. Lange, C. Müller, N. Müller and F. Rabe(2009) Notations for Active Mathematical Documents, Technical report Technical Report 2009-1, Jacobs University Bremen. Cited by: ?.
[349] M. Kohlhase, C. Lange, C. Müller, N. Müller and F. Rabe(2009) Notations for Active Mathematical Documents, Cited by: ?.
[350] M. Kohlhase, T. Mossakowski and F. Rabe(2009) The LATIN Project, Note: see https://trac.omdoc.org/LATIN/ Cited by: ?.
[351] M. Kohlhase, Ş. Anca, C. Jucovschi, A. González Palomo and I. A. Şucan(2008) MathWebSearch 0.4, a semantic search engine for mathematics, Note: manuscript External Links: Link. Cited by: ?.
[352] M. Kohlhase and R. Anghelache Towards collaborative content management and version control for structured mathematical knowledge, in 57, pp. 147–161. External Links: Link. Cited by: ?.
[353] M. Kohlhase and D. Carlisle(2003) Guidelines for graphics in mathml 2, Note: W3C Note External Links: Link. Cited by: ?.
[354] M. Kohlhase, J. Corneli, C. David, D. Ginev, C. Jucovschi, A. Kohlhase, C. Lange, B. Matican, S. Mirea and V. Zholudev(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: ?.
[355] M. Kohlhase, C. David, D. Ginev, B. Matican, V. Merticariu and S. Mirea(2012) A framework for semantic publishing of modular content objects, External Links: Link. Cited by: ?.
[356] M. Kohlhase and S. Devitt(2003) Bound variables in mathml, Note: W3C Working Group Note External Links: Link. Cited by: ?.
[357] M. Kohlhase and S. Devitt(2003) Structured types in mathml 2.0, Note: W3C Note External Links: Link. Cited by: ?.
[358] M. Kohlhase and A. Franke(2001) MBase: Representing knowledge and context for the integration of mathematical software systems, Journal of Symbolic Computation; Special Issue on the Integration of Computer Algebra and Deduction Systems 32 (4), pp. 365–402. External Links: Document, Link. Cited by: ?.
[359] M. Kohlhase, J. Giceva, C. Lange and V. Zholudev JOBAD – Interactive mathematical documents, in 174, External Links: Link. Cited by: ?.
[360] M. Kohlhase, D. Ginev and R. Ambrus(2013) modules.sty: Semantic macros and module scoping in sTeX, Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link. Cited by: ?.
[361] M. Kohlhase, D. Ginev and R. Ambrus(2013) modules.sty: Semantic macros and module scoping in sTeX, Self-documenting LaTeX package Cited by: 360.
[362] M. Kohlhase and D. Ginev(2013) presentation.sty: an infrastructure for presenting semantic macros in sTeX, Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link. Cited by: ?.
[363] M. Kohlhase and D. Ginev(2013) presentation.sty: an infrastructure for presenting semantic macros in sTeX, Self-documenting LaTeX package Cited by: 362.
[364] M. Kohlhase and M. Iancu(2012) Searching the space of mathematical knowledge, in 663, Note: in press External Links: Link. Cited by: ?.
[365] M. Kohlhase and M. Iancu(2014) Co-representing structure and meaning of mathematical documents, Note: submitted to SDV (Sprache und Datenverarbeitung, International Journal for Language Data Processing) External Links: Link. Cited by: ?.
[366] M. Kohlhase and A. Koller Towards a tableaux machine for language understanding, in 94, pp. 57–88. Cited by: ?.
[367] M. Kohlhase and A. Koller(2003) Resource-adaptive model generation as a performance model, Logic Journal of the IGPL 11 (4), pp. 435–456. External Links: Link. Cited by: ?.
[368] M. Kohlhase and K. Konrad(1998) Higher-order automated theorem proving for natural language semantics, Seki Report Technical Report SR-98-04, Fachbereich Informatik, Universität Saarbrücken. External Links: Link. Cited by: ?.
[369] M. Kohlhase and K. Konrad(1999) Model generation for discourse representation theory, SEKI-Report Technical Report SR-99-01, Dept. of Computer Science, Universität des Saarlandes, Germany. Cited by: ?.
[370] M. Kohlhase, S. Kuschert and M. Pinkal(1996) A type-theoretic semantics for $\lambda$ -DRT, (M. Stokhof Ed.), Amsterdam, pp. 479–498. External Links: Link. Cited by: ?.
[371] M. Kohlhase and S. Kuschert(1997) Dynamic lambda calculus, Technical report CLAUS-Report 91, Universität des Saarlandes, Computer Linguistics, Saarland University. Cited by: ?.
[372] M. Kohlhase and S. Kuschert(1997) Dynamic lambda calculus, pp. 85–92. Cited by: ?.
[373] M. Kohlhase, C. Lange, C. Müller, N. Müller and F. Rabe(2008-04) Adaptation of notations in living mathematical documents, KWARC Report Technical Report 2008-2, Jacobs University Bremen. External Links: Link. Cited by: ?.
[374] M. Kohlhase, C. Lange, C. Müller, N. Müller and F. Rabe(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: ?.
[375] M. Kohlhase, C. Lange and F. Rabe Presenting mathematical content with flexible elisions, in 112, Cited by: ?.
[376] M. Kohlhase, J. Lemburg, L. Schröder and E. Schulz Formal management of CAD/CAM processes, in 228, pp. 201–216. Cited by: ?.
[377] M. Kohlhase, J. Lemburg, L. Schröder and E. Schulz Formal management of CAD/CAM processes, in 119, pp. 223–238. External Links: Link. Cited by: ?.
[378] M. Kohlhase, A. Mahnke and C. Müller Managing variants in document content and narrative structures, in 227, pp. 324–229. Cited by: ?.
[379] M. Kohlhase, F. Mance and F. Rabe A universal machine for biform theory graphs, in 115, External Links: Link. Cited by: ?.
[380] M. Kohlhase, B. A. Matican and C. C. Prodescu MathWebSearch 0.5 – Scaling an Open Formula Search Engine, in 124, pp. 342–357. External Links: Link. Cited by: ?.
[381] M. Kohlhase, E. Melis and J. Siekmann(1999) $\Omega$ MEGA – A mathematical assistant, in Liber Amicorum for the Fiftieth Birthday of Johan van Benthem, (M. Marx, M. de Rijke and Y. Venema Eds.), pp. 248–251. External Links: Link. Cited by: ?.
[382] M. Kohlhase, C. Müller and N. Müller Documents with flexible notation contexts as interfaces to mathematical knowledge, in 544, Cited by: ?.
[383] M. Kohlhase, C. Müller and F. Rabe Notations for living mathematical documents, in 120, pp. 504–519. External Links: Link. Cited by: ?.
[384] M. Kohlhase and F. Pfenning(1993) Unification in a $\lambda$ -calculus with intersection types, pp. 488–505. External Links: Link. Cited by: ?.
[385] M. Kohlhase and C. Prodescu MathWebSearch manual, Web Manual Jacobs University. External Links: Link. Cited by: ?.
[386] M. Kohlhase, F. Rabe and C. Sacerdoti Coen A foundational view on integration problems, in 122, pp. 107–122. Note: http://kwarc.info/kohlhase/papers/cicm11-integration.pdf External Links: Link. Cited by: ?.
[387] M. Kohlhase, F. Rabe and V. Zholudev Towards MKM in the large: modular representation and scalable software architecture, in 121, pp. 370–384. External Links: 1005.5232v2. Cited by: ?.
[388] M. Kohlhase and F. Rabe(2012) Semantics of OpenMath and MathML3, Mathematics in Computer Science 6 (3), pp. 235–260. External Links: Link. Cited by: ?.
[389] M. Kohlhase and O. Scheja(1995) Higher-order multi-valued resolution, SEKI Report Technical Report SR-95-04, Fachbereich Informatik, Universität des Saarlandes, Saarbrücken. Cited by: ?.
[390] M. Kohlhase and O. Scheja(1999) Higher-order multi-valued resolution, Journal of Applied Non-Classical Logics 9. External Links: Link. Cited by: ?.
[391] M. Kohlhase and M. Simons(2001) Explaining some cases of presupposition by model generation with events, Note: draft Cited by: ?.
[392] M. Kohlhase and M. Simons(2002) Interpreting negatives in discourse, Technical report Technical Report CMU-PHIL-127, Philosophy, Carnegie Mellon University. External Links: Link. Cited by: ?.
[393] M. Kohlhase, K. Sutner, P. Jansen, A. Kohlhase, P. Lee, D. Scott and M. Szudzik Acquisition of math content in an academic setting, in 552, External Links: Link. Cited by: ?.
[394] M. Kohlhase and I. Şucan A search engine for mathematical formulae, in 269, pp. 241–253. External Links: Link. Cited by: ?.
[395] M. Kohlhase and I. Şucan(2007) System description: MathWebSearch 0.3, a semantic search engine, Cited by: ?.
[396] M. Kohlhase Applying unification techniques to xml document management?, in 684, Cited by: ?.
[397] M. Kohlhase Automated theorem proving in mathematics, in 84, Vol. 3, pp. 3–7. Cited by: ?.
[398] M. Kohlhase CodeML: An open markup format the content and presentatation of program code, Note: Internet Draft at https://svn.omdoc.org/repos/codeml/doc/spec/codeml.pdf External Links: Link. Cited by: ?.
[399] M. Kohlhase Compiling OpenMath type systems to Relax NG grammars, in 113, Cited by: ?.
[400] M. Kohlhase Formal Proofs as Mathematical Objects, in 433, pp. 177–179. Cited by: ?.
[401] M. Kohlhase Higher-order automated theorem proving, in 84, Vol. 2, pp. 431–462. External Links: Link. Cited by: ?.
[402] M. Kohlhase Knowledge management for systematic engineering design in CAD systems, in 542, pp. 202–217. External Links: Link. Cited by: ?.
[403] M. Kohlhase(Website) External Links: Link. Cited by: ?.
[404] M. Kohlhase Model generation for discourse representation theory, in 168, pp. 441–445. External Links: Link. Cited by: ?.
[405] M. Kohlhase(Website) External Links: Link. Cited by: ?.
[406] M. Kohlhase OMDoc: An open markup format for mathematical documents (latest released version), Note: Specification, http://www.omdoc.org/pubs/spec.pdf External Links: Link. Cited by: ?.
[407] M. Kohlhase OMDoc: Open Mathematical Documents, in 153, pp. 137–143. Cited by: ?.
[408] M. Kohlhase OMDoc: Towards an internet standard for the administration, distribution and teaching of mathematical knowledge, in 549, pp. 32–52. External Links: Link. Cited by: ?.
[409] M. Kohlhase Representing Proofs (Module PF), in 433, pp. 167–179. Cited by: ?.
[410] M. Kohlhase Semantic markup for TeX/LaTeX, in 543, Cited by: ?.
[411] M. Kohlhase Standardizing context in system interoperability, in 433, Cited by: ?.
[412] M. Kohlhase STeX: a LaTeX-based workflow for OMDoc, in 433, Cited by: ?.
[413] M. Kohlhase The flexiformalist manifesto, in 685, pp. 30–36. External Links: Link. Cited by: ?.
[414] M. Kohlhase The Planetary project: towards eMath3.0, in 124, pp. 448–452. External Links: 1206.5048. Cited by: ?.
[415] M. Kohlhase Wissensrepräsentation für computerunterstützte Lehre, in 229, pp. 248–251. Cited by: ?.
[416] M. Kohlhase(1989) Eine hinreichende Bedingung für die starke, homologische Minimalität von kompakten, ${\cal F}$ -extremalen Hyperflächen in glatten Mannigfaltigkeiten, Master’s Thesis, Universität Bonn. External Links: Link. Cited by: ?.
[417] M. Kohlhase(1991) Order-sorted type theory I: unification, SEKI-Report Technical Report SR-91-18 (SFB), Universität des Saarlandes, Saarbrücken. Cited by: ?.
[418] M. Kohlhase(1992) Beweissysteme mit Logiken höherer Stufe, in Deduktionssysteme, Automatisierung des Logischen Denkens, (H. Bürckert Ed.), pp. 213–238. Cited by: ?.
[419] M. Kohlhase(1992) Unification in order-sorted type theory, in 550, pp. 421–432. Cited by: ?.
[420] M. Kohlhase(1993) A unifying principle for extensional higher-order logic, Technical Report Technical Report 93–153, Dept. of Mathematics, Carnegie Mellon University. Cited by: ?.
[421] M. Kohlhase(1993) Higher-order resolution with combinators, (J. Denzinger Ed.), SEKI-Report, pp. 15. Cited by: ?.
[422] M. Kohlhase(1994) A mechanization of sorted higher-order logic based on the resolution principle, Ph.D. Thesis, Universität des Saarlandes. External Links: Link. Cited by: ?.
[423] M. Kohlhase(1994) A mechanization of sorted higher-order logic based on the resolution principle, SEKI Report Technical Report SR-94-10, Fachbereich Informatik, Universität des Saarlandes, Saarbrücken. Cited by: ?.
[424] M. Kohlhase(1994) Higher-order order-sorted resolution, Seki Report Technical Report SR-94-1, Fachbereich Informatik, Universität des Sarrlandes. Cited by: ?.
[425] M. Kohlhase(1994) Unification in a $\lambda$ -calculus with term declarations and function sorts, in 302, pp. 331–342. External Links: Link. Cited by: ?.
[426] M. Kohlhase(1995) Higher-order tableaux, Koblenz, Germany, pp. 294–309. External Links: Link. Cited by: ?.
[427] M. Kohlhase(1996) Higher-order tableaux with combinators, SEKI Report Technical Report SR-96-01, Dept. of Computer Science, Universität des Saarlandes, Germany. Cited by: ?.
[428] M. Kohlhase(1996) Sorten Für das automatische Beweisen höherer Stufe, Künstliche Intelligenz. Cited by: ?.
[429] M. Kohlhase(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: ?.
[430] M. Kohlhase(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: ?.
[431] M. Kohlhase(2001) OMDoc: An open markup format for mathematical documents (version 1.1), Open Specification. External Links: Link. Cited by: ?.
[432] M. Kohlhase(2003) Artificial intelligence: automated reasoning, in Van Nostrand’s Scientific Encyclopedia, pp. 247–250. Cited by: ?.
[433] M. Kohlhase(2006-08) OMDoc – an open markup format for mathematical documents [version 1.2], LNAI, Springer Verlag. External Links: Link. Cited by: ?, 180, 412, 411, 510, 400, 409, 588.
[434] M. Kohlhase (Ed.)(2006) Mathematical knowledge management, mkm’05, LNAI, Springer Verlag. Cited by: ?, 308.
[435] M. Kohlhase(2008-07-01)(Website) Note: e-mail to project-omdoc-dev@jacobs-university.de External Links: Link. Cited by: ?.
[436] M. Kohlhase(2008) Using LaTeX as a semantic markup format, Mathematics in Computer Science 2 (2), pp. 279–304. External Links: Link. Cited by: ?.
[437] M. Kohlhase(2009-08) Towards bootstrapping the pragmatic to strict mapping in OMDoc, Note: unpublished KWARC blue notes External Links: Link. Cited by: ?.
[438] M. Kohlhase(2009) An OMDoc primer [version 1.6 (pre-2.0)], Note: Draft https://svn.omdoc.org/repos/omdoc/trunk/doc/primer/main.pdf External Links: Link. Cited by: ?.
[439] M. Kohlhase(2009) OMDoc Projects and applications [version 1.6 (pre-2.0)], Note: Draft https://svn.omdoc.org/repos/omdoc/trunk/doc/projects/main.pdf External Links: Link. Cited by: ?.
[440] M. Kohlhase(2009) OMDoc: An open markup format for mathematical documents; language specification, primer, projects, applications [version 1.6 (pre-2.0)], Note: Draft Specification https://svn.omdoc.org/repos/omdoc/trunk/doc/spec/main.pdf External Links: Link. Cited by: ?.
[441] M. Kohlhase(2009) Processing OMDoc [version 1.6 (pre-2.0)], Note: Draft https://svn.omdoc.org/repos/omdoc/trunk/doc/processing/main.pdf External Links: Link. Cited by: ?.
[442] M. Kohlhase(2010-07-23)(Website) External Links: Link. Cited by: ?.
[443] M. Kohlhase(2010) An open markup format for mathematical documents OMDoc [version 1.3], Note: Draft Specification External Links: Link. Cited by: ?.
[444] M. Kohlhase(2010) An open markup format for mathematical documents OMDoc [version 1.6 (pre-2.0)], Note: Draft Specification External Links: Link. Cited by: ?.
[445] M. Kohlhase(2013) assignment.sty/cls: an infrastructure for formatting assignments and exams, Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link. Cited by: ?.
[446] M. Kohlhase(2013) cmathml.sty: a TeX/LaTeX-based syntax for content mathml, Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link. Cited by: ?.
[447] M. Kohlhase(2013) CNXLaTeX: A LaTeX-based syntax for Connexions modules, Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link. Cited by: ?.
[448] M. Kohlhase(2013) dcm.sty: An infrastructure for marking up Dublin Core metadata in LaTeX documents, Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link. Cited by: ?.
[449] M. Kohlhase(2013) Editorial notes for LaTeX, Technical report Comprehensive TeX Archive Network (CTAN). Cited by: ?.
[450] M. Kohlhase(2013) metakeys.sty: a generic framework for extensible metadata in LaTeX, Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link. Cited by: ?.
[451] M. Kohlhase(2013) omdoc.sty/cls: semantic markup for open mathematical documents in LaTeX, Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link. Cited by: ?.
[452] M. Kohlhase(2013) omtext: semantic markup for mathematical text fragments in LaTeX, Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link. Cited by: ?.
[453] M. Kohlhase(2013) owl2onto.cls: marking up OWL2 ontologies in sTeX, Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link. Cited by: ?.
[454] M. Kohlhase(2013) physml.sty: an infrastructure for marking up PhysML in TeX/LaTeX, Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link. Cited by: ?.
[455] M. Kohlhase(2013) Preparing dfg proposals and reports in LaTeX with dfgproposal.cls, Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link. Cited by: ?.
[456] M. Kohlhase(2013) Preparing fp7 eu proposals and reports in LaTeX with euproposal.cls, Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link. Cited by: ?.
[457] M. Kohlhase(2013) Preparing proposals in LaTeX with proposal.cls, Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link. Cited by: ?.
[458] M. Kohlhase(2013) problem.sty: an infrastructure for formatting problems, Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link. Cited by: ?.
[459] M. Kohlhase(2013) RDFa Metadata in LaTeX, Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link. Cited by: ?.
[460] M. Kohlhase(2013) reqdoc.sty: Semantic markup for requirements specification documents, Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link. Cited by: ?.
[461] M. Kohlhase(2013) sproof.sty: structural markup for proofs, Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link. Cited by: ?.
[462] M. Kohlhase(2013) sref.sty: semantic crossreferencing in LaTeX, Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link. Cited by: ?.
[463] M. Kohlhase(2013) statements.sty: structural markup for mathematical statements, Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link. Cited by: ?.
[464] M. Kohlhase(2013) sTeX: Semantic markup in TeX/LaTeX, Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link. Cited by: ?.
[465] M. Kohlhase(2013) workaddress.sty: An infrastructure for marking up Dublin Core metadata in LaTeX documents, Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link. Cited by: ?.
[466] M. Kohlhase(2014) A data model and encoding for a semantic, multilingual glossary of mathematics, Note: submitted to CICM 2014 External Links: Link. Cited by: ?.
[467] M. Kohlhase(2014) Mathematical knowledge management: transcending the one-brain-barrier with theory graphs, EMS Newsletter. Note: in press External Links: Link. Cited by: ?.
[468] M. Kohlhase(2000)Internet Draft External Links: Link. Cited by: ?.
[469] M. Kohlhase Higher-order automated theorem proving, Manuscript. External Links: Link. Cited by: ?.
[470] M. Kohlhase(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: ?.
[471] M. Kohlhase(seen Jan 2005) Inference rules, Note: OMDoc Content Dictionary at https://svn.omdoc.org/repos/omdoc/trunk/examples/logics/inference-rules.omdoc External Links: Link. Cited by: ?.
[472] M. Kohlhase(2013) assignment.sty/cls: an infrastructure for formatting assignments and exams, Self-documenting LaTeX package Cited by: 445.
[473] M. Kohlhase(2013) cmathml.sty: a TeX/LaTeX-based syntax for content mathml, Self-documenting LaTeX package. Cited by: 446.
[474] M. Kohlhase(2013) CNXLaTeX: A LaTeX-based syntax for Connexions modules, Self-documenting LaTeX package Cited by: 447.
[475] M. Kohlhase(2013) dcm.sty: An infrastructure for marking up Dublin Core metadata in LaTeX documents, Self-documenting LaTeX package Cited by: 448.
[476] M. Kohlhase(2013) Editorial notes for LaTeX, Self-documenting LaTeX package Cited by: 449.
[477] M. Kohlhase(2013) metakeys.sty: a generic framework for extensible metadata in LaTeX, Self-documenting LaTeX package Cited by: 450.
[478] M. Kohlhase(2013) omdoc.sty/cls: semantic markup for open mathematical documents in LaTeX, Self-documenting LaTeX package Cited by: 451.
[479] M. Kohlhase(2013) omtext: semantic markup for mathematical text fragments in LaTeX, Self-documenting LaTeX package Cited by: 452.
[480] M. Kohlhase(2013) owl2onto.cls: marking up OWL2 ontologies in sTeX, Self-documenting LaTeX package Cited by: 453.
[481] M. Kohlhase(2013) physml.sty: an infrastructure for marking up PhysML in TeX/LaTeX, Self-documenting LaTeX package Cited by: 454.
[482] M. Kohlhase(2013) Preparing dfg proposals and reports in LaTeX with dfgproposal.cls, Self-documenting LaTeX package Cited by: 455.
[483] M. Kohlhase(2013) Preparing fp7 eu proposals and reports in LaTeX with euproposal.cls, Self-documenting LaTeX package Cited by: 456.
[484] M. Kohlhase(2013) Preparing proposals in LaTeX with proposal.cls, Self-documenting LaTeX package Cited by: 457.
[485] M. Kohlhase(2013) problem.sty: an infrastructure for formatting problems, Self-documenting LaTeX package Cited by: 458.
[486] M. Kohlhase(2013) RDFa Metadata in LaTeX, Self-documenting LaTeX package Cited by: 459.
[487] M. Kohlhase(2013) reqdoc.sty: Semantic markup for requirements specification documents, Self-documenting LaTeX package Cited by: 460.
[488] M. Kohlhase(2013) sproof.sty: structural markup for proofs, Self-documenting LaTeX package External Links: Link. Cited by: 461.
[489] M. Kohlhase(2013) sref.sty: semantic crossreferencing in LaTeX, Self-documenting LaTeX package Cited by: 462.
[490] M. Kohlhase(2013) statements.sty: structural markup for mathematical statements, Self-documenting LaTeX package Cited by: 463.
[491] M. Kohlhase(2013) workaddress.sty: An infrastructure for marking up Dublin Core metadata in LaTeX documents, Self-documenting LaTeX package Cited by: 465.
[492] P. Kotzé, G. Marsden, G. Lindgaard, J. Wesson and M. Winckler (Eds.)(2013) Human-computer interaction – interact 2013, LNCS, Vol. 8119, Springer. External Links: ISBN 978-3-642-40476-4. Cited by: 306.
[493] H. Kreowski and T. Mossakowski (Eds.)(2011) Recent Trends in Algebraic Development Techniques, LNCS, Springer. Cited by: 129, 127.
[494] C. Lange Krextor – the KWARC RDF extractor, External Links: Link. Cited by: 9, 30.
[495] B. Krieg-Brückner, D. Hutter, M. Kohlhase, C. Lüth, T. Mossakowski, L. Schröder and W. Stephan(2007) Formal development for safe robotics, Cited by: ?.
[496] S. Kuryla(2009) OMDoc As an ontology language: OWL $\to$ OMDoc translation implementation, Project report. External Links: Link. Cited by: ?.
[497] Note: web page at http://kwarc.info/seen June 2008 Cited by: ?.
[498] 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: 164.
[499] C. Lange, U. Bojārs, T. Groza, J. Breslin and S. Handschuh Expressing argumentative discussions in social media sites, in 97, External Links: Link. Cited by: ?.
[500] C. Lange and A. González Palomo Easily editing and browsing complex OpenMath markup with SWiM, in 545, External Links: Link. Cited by: ?.
[501] C. Lange, T. Hastrup and S. Corlosquet(2008) Arguing on issues with mathematical knowledge items in a semantic wiki, in 68, Cited by: ?.
[502] C. Lange, T. Hastrup and S. Corlosquet(2008) Improving mathematical knowledge items by acting on issue-based community feedback, in 578, Cited by: ?.
[503] C. Lange, P. Ion, A. Dimou, C. Bratsas, J. Corneli, W. Sperber, M. Kohlhase and I. Antoniou Reimplementing the mathematics subject classification (MSC) as a linked open dataset, in 124, pp. 458–462. External Links: 1204.5086. Cited by: ?.
[504] C. Lange, P. Ion, A. Dimou, C. Bratsas, W. Sperber, M. Kohlhase and I. Antoniou Bringing mathematics to the web of data: the case of the mathematics subject classification, in 659, pp. 763–777. External Links: Link, Document. Cited by: ?.
[505] C. Lange, M. Kohlhase, C. David, D. Ginev, A. Kohlhase, B. Matican, S. Mirea and V. Zholudev The planetary system: executable science, technology, engineering and math papers, in 48, pp. 471–475. External Links: 1103.1482. Cited by: ?.
[506] C. Lange and M. Kohlhase A mathematical approach to ontology authoring and documentation, in 116, pp. 389–404. External Links: Link. Cited by: ?.
[507] C. Lange and M. Kohlhase A mathematical approach to ontology authoring and documentation, in 515, Cited by: ?.
[508] C. Lange and M. Kohlhase A semantic wiki for mathematical knowledge management, in 686, Cited by: ?.
[509] C. Lange and M. Kohlhase Mashups using mathematical knowledge, in 175, pp. 171–204. External Links: Link. Cited by: ?.
[510] C. Lange and M. Kohlhase SWiM – An OMDoc-based semantic wiki, in 433, Cited by: ?.
[511] C. Lange and M. Kohlhase SWiM: A semantic wiki for mathematical knowledge management, in 651, pp. 47–68. External Links: Link. Cited by: ?.
[512] C. Lange, S. McLaughlin and F. Rabe Flyspeck in a semantic wiki – collaborating on a large scale formalization of the Kepler conjecture, in 516, Cited by: ?.
[513] C. Lange, N. Müller and C. Müller Document ontologies, Note: project homepage at http://kwarc.info/projects/docOnto/ External Links: Link. Cited by: ?.
[514] 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: 160.
[515] 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 [224] Cited by: 324, 507.
[516] 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: 521, 512.
[517] 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: ?.
[518] C. Lange and V. Zholudev Previewing OWL changes and refactorings using a flexible XML database, in 165, External Links: Link. Cited by: ?.
[519] C. Lange Krextor – an extensible framework for contributing content math to the web of data, in 122, pp. 304–306. External Links: Link. Cited by: ?.
[520] C. Lange Krextor – an extensible XML $\to$ RDF extraction framework, in 85, External Links: Link. Cited by: ?.
[521] C. Lange Mathematical semantic markup in a wiki: the roles of symbols and notations, in 516, Cited by: ?.
[522] C. Lange SWiM Development roadmap, Note: web page at http://trac.kwarc.info/swim/roadmap/seen November 2007 External Links: Link. Cited by: ?.
[523] C. Lange SWiM – A semantic wiki for mathematical knowledge management, in 71, pp. 832–837. External Links: 1003.5196v1. Cited by: ?.
[524] C. Lange SWiM – A semantic wiki for mathematical knowledge management, in 544, Cited by: ?.
[525] C. Lange SWiM: A semantic wiki for mathematical knowledge management, External Links: Link. Cited by: 28.
[526] C. Lange The OMDoc ontology, External Links: Link. Cited by: 35.
[527] C. Lange Towards a Semantic Wiki for Science, in 660, Cited by: ?.
[528] C. Lange Towards scientific collaboration in a semantic wiki, in 244, Cited by: ?.
[529] C. Lange (Ed.)(2005-09) Wiki – Planen, Einrichten, Verwalten, C&L Computer- und Literaturverlag. External Links: ISBN 3-936546-28-2. Cited by: ?.
[530] 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: ?.
[531] C. Lange(2007-02) Towards a Semantic Wiki for Science, Jacobs University Bremen. Note: http://kwarc.info/projects/swim/pubs/swimplus-resprop.pdfResearch proposal for a Ph. D. thesis External Links: Link. Cited by: ?.
[532] C. Lange(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 [539] External Links: Link. Cited by: ?.
[533] C. Lange(2008-02) Editing OpenMath content dictionaries with SWiM, External Links: Link. Cited by: ?.
[534] C. Lange(2008-09-24)(Website) External Links: Link. Cited by: ?.
[535] C. Lange(2008) Improving mathematical knowledge items by acting on issue-based community feedback, Note: Draft, http://mathweb.org/wiki/SWiM/discussions/ External Links: Link. Cited by: ?.
[536] C. Lange(2009) OpenMath Wiki, External Links: Link. Cited by: ?, 32.
[537] C. Lange(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. Cited by: ?.
[538] C. Lange(2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration, Ph.D. Thesis, Jacobs University Bremen. Cited by: ?.
[539] C. Lange(2006-08) A Semantic Wiki for Mathematical Knowledge Management, Diploma thesis, Universität Trier. External Links: Link. Cited by: 532.
[540] M. Kohlhase, T. Mossakowski and F. Rabe LATIN: logic atlas and integrator, Project Homepage. External Links: Link. Cited by: 11.
[541] B. Laubner(2007-08) Using theory graphs to map mathematics: a case study and a prototype., Master’s Thesis, Jacobs University, Bremen. External Links: Link. Cited by: ?.
[542] F. Lehner, N. Amende and N. Fteimi (Eds.)(2013) Professionelles wissenmanagement management, konferenzbeiträge der 7. konferenz, GITO Verlag. External Links: ISBN 978-3-95545-016-8. Cited by: 402.
[543] P. Libbrecht (Ed.)(2004) Mathematical user interfaces workshop 2004, Note: online at \urlhttp://www.activemath.org/ paul/MathUI04 External Links: Link. Cited by: 410, 333.
[544] P. Libbrecht (Ed.)(2007-06) Mathematical user-interfaces workshop 2007 at MKM, Note: online at \urlhttp://www.activemath.org/ paul/MathUI07 External Links: Link. Cited by: 382, 524.
[545] P. Libbrecht (Ed.)(2008-07) Mathematical user interfaces workshop at MKM, External Links: Link. Cited by: 500.
[546] P. Libbrecht (Ed.)(2012-06) Mathematical user-interfaces workshop 2012 at CICM, Note: online at \urlhttp://www.cermat.org/events/MathUI/12/ External Links: Link. Cited by: 335.
[547] locutor: an ontology-driven management of change, External Links: Link. Cited by: 12.
[548] Logic atlas and integrator, External Links: Link. Cited by: 23.
[549] E. R. Lozano (Ed.)(2001) Proceedings of Artificial Intelligence and Symbolic Computation, AISC’2000, LNAI, Springer Verlag. Cited by: 408.
[550] A. Voronkov (Ed.)(1992) Proceedings of the international conference on logic programming and automated reasoning lpar’92, LNAI, Springer Verlag, St. Petersburg, Russia. Cited by: 419.
[551] (2012)(Website) External Links: Link. Cited by: ?.
[552] (2002) Second international conference on mathml and technologies for math on the web, Chicago, USA. Cited by: 59, 393.
[553] R. Ausbrooks, S. Buswell, D. Carlisle, G. Chavchanidze, S. Dalmas, S. Devitt, A. Diaz, S. Dooley, R. Hunter, P. Ion, M. Kohlhase, A. Lazrek, P. Libbrecht, B. Miller, R. Miner, M. Sargent, B. Smith, N. Soiffer, R. Sutor and S. WattD. 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: 60.
[554] Using the mathweb.org subversion repository, Note: Web page at http://www.mathweb.org/svn.html External Links: Link. Cited by: ?.
[555] Math Web Search, External Links: Link. Cited by: 13.
[556] (Website) External Links: Link. Cited by: 14.
[557] R. Matuszewski and A. Zalewska (Eds.)(2007) From insight to proof: festschrift in honour of andrzej trybulec, Studies in Logic, Grammar and Rhetoric, Vol. 10:23, University of Białystok. External Links: Link. Cited by: 67.
[558] B. Mehlenbacher, A. Protopsaltis, A. Williams and S. Slatterey (Eds.)(2009) Proceedings of the 27^th annual acm international conference on design of communication (sigdoc), ACM Press, ACM Special Interest Group for Design of Communication, New York, NY, USA. External Links: Document. Cited by: 315, 316.
[559] M. Memmel, E. Ras and S. Weibelzahl (Eds.)(2006) 2^nd Workshop on Learner Oriented Knowledge Management & KM Oriented e-Learning, Note: Online Proceedings at \urlhttp://cnm.open.ac.uk/projects/ectel06/pdfs/ECTEL06WS68d.pdf External Links: Link. Cited by: 339.
[560] I. Mierlus-Mazilu (Ed.)(2010) 1^st International Workshop on Mathematics and ICT: Education, Research and Applications, External Links: Link. Cited by: 147.
[561] D. Misev(2010) Integrating SUMO and OMDoc, Bachelor’s Thesis, Computer Science, Jacobs University, Bremen. Cited by: ?.
[562] M. Kohlhase MKM-IG Mailing lists, Note: seen May 2008 External Links: Link. Cited by: ?.
[563] N. Müller, C. Müller and M. Kohlhase(2008-06) The math markup language toolkit (mmlkit), External Links: Link. Cited by: ?.
[564] T. Mossakowski, O. Kutz and C. Lange(2011-10-24) Ontology integration and interoperability (OntoIOp) – part 1: the distributed ontology language (DOL), Note: Presentation at OASIS Symposium at the International Semantic Web Conference (ISWC) External Links: Link. Cited by: ?.
[565] T. Gross (Ed.)(2007-09) Mensch & Computer 2007: Interaktion im Plural, Konferenzreihe Mensch und Computer, Oldenbourg Verlag, Bauhaus-Universität Weimar, Germany. Note: 7.te Fachübergreifende Konferenz Cited by: 330.
[566] C. Müller and M. Kohlhase Panta rhei, in 227, pp. 318–323. Cited by: ?.
[567] C. Müller and M. Kohlhase Towards A Community of Practice Toolkit, in 578, Cited by: ?.
[568] C. Müller and M. Kohlhase(2007) Panta rhei, pp. 318–323. Cited by: ?.
[569] C. Müller and M. Kohlhase(2008) Communities of practice in mathematical elearning, pp. 34–35. Cited by: ?.
[570] C. Müller and M. Kohlhase(2008) Towards a community of practice toolkit based on semantically marked up artifacts, LNAI, pp. 41–50. Cited by: ?.
[571] C. Müller and M. Kohlhase(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: ?.
[572] C. Müller and M. Kohlhase(2008-11) Communities of practice in mathematical e-learning, Research Report Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland. External Links: Link. Cited by: ?.
[573] C. Müller and M. Kohlhase(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: ?.
[574] C. Müller Presentation on Modeling Scientific Communities of Practice based on Semantic Markup of Scientific Documents and Web2.0. Technologies, in 221, Cited by: ?.
[575] C. Müller Towards the Identification and Support of Scientific Communities of Practice, in 577, Cited by: ?.
[576] C. Müller(2007-03) Lectora: Towards an Interactive, Collaborative Reader for Mathematical Documents, Jacobs University Bremen. Note: Research proposal External Links: Link. Cited by: ?.
[577] C. Müller (Ed.)(2007) 1^st Workshop on Scientific COmmunities Of Practice, Note: online at \urlhttp://kwarc.info/events/scoop/scoop1.html External Links: Link. Cited by: 575, 687.
[578] C. Müller (Ed.)(2008-06) 2^nd workshop on scientific communities of practice (scoop-2008), Note: online at \urlhttp://kwarc.info/events/scoop/scoop2.html External Links: Link. Cited by: 502, 567.
[579] C. Müller(2008) A Survey on Mathematical Notations, KWARC Report Technical Report 2008-1, Jacobs University Bremen. External Links: Link. Cited by: ?.
[580] C. Müller(2008) The CS precourse project, External Links: Link. Cited by: 31.
[581] C. Müller(2008) Towards CoPing with Information Overload, in 68, Cited by: ?.
[582] C. Müller(2008) Towards the Adaptation of Scientific Course Material powered by Community of Practice, in 68, Cited by: ?.
[583] C. Müller(2009) Communities of Practice & Semantic Web: Stimulating Collaboration by Document Markup, pp. 432–437. External Links: Link. Cited by: ?.
[584] C. Müller(2009) Communities of Practice & Semantic Web: Stimulating Collaboration by Document Markup, pp. 1–8. External Links: Link. Cited by: ?.
[585] C. Müller(2010) Adaptation of Mathematical Documents, Ph.D. Thesis, Jacobs University Bremen. External Links: Link. Cited by: ?.
[586] N. Müller and M. Kohlhase Fine-Granular Version Control & Redundancy Resolution, in 68, Note: http://www.kwarc.info/nmueller/papers/lwa08-fst.pdf External Links: Link. Cited by: ?.
[587] N. Müller and M. Wagner(2007) Towards Improving Interactive Mathematical Authoring by Ontology-driven Management of Change, in 227, pp. 289–295. Note: http://kwarc.info/nmueller/papers/lwa07.pdf External Links: Link. Cited by: ?.
[588] N. Müller OMDoc As a Data Format for VeriFun, in 433, pp. 329–332. Cited by: ?.
[589] N. Müller(2005) OMDoc-Repräsentation von Programmen und Beweisen in VeriFun, Master’s Thesis, Programmiermethodik, Technische Universität Darmstadt. Note: http://kwarc.info/nmueller/papers/dt.pdf External Links: Link. Cited by: ?.
[590] N. Müller(2006) An Ontology-Driven Management of Change, Universität Hildesheim, pp. 186–193. Note: http://kwarc.info/nmueller/papers/lwa06.pdf External Links: Link. Cited by: ?.
[591] N. Müller(2006) Towards An Ontology-Driven Management of Change – Research proposal for a Ph.D. thesis, International University Bremen. Note: http://kwarc.info/nmueller/papers/resprop.pdf External Links: Link. Cited by: ?.
[592] N. Müller(2007-06) Towards an Ontology-Driven Management of Change, Note: Exposé of PhD research proposalwhite paper Cited by: ?.
[593] N. Müller(2007) Tagungsbericht – LWA 2006, KI – Zeitschrift Künstliche Intelligenz 1, pp. 61. Note: http://www.kuenstliche-intelligenz.de/index.php?id=7754 External Links: Link. Cited by: ?.
[594] N. Müller(2009) Change management on semi-structured documents, Note: http://kwarc.info/nmueller/papers/doceng09.pdf External Links: Link. Cited by: ?.
[595] N. Müller(2010) Change management on semi-structured documents, Ph.D. Thesis, Jacobs University Bremen. External Links: Link. Cited by: ?.
[596] I. Normann and M. Kohlhase Extended formula normalization for $\epsilon$ -retrieval and sharing of mathematical knowledge, in 288, pp. 266–279. Cited by: ?.
[597] The open archive for flexiforms, Web Portal. External Links: Link. Cited by: 15.
[598] OMBase Project, Note: http://kwarc.info/projects/ombase/seen Dec. 2008 External Links: Link. Cited by: ?.
[599] M. Kohlhase OMDoc Mailing lists, Note: seen May 2008http://omdoc.org/resources/mailing-lists.html External Links: Link. Cited by: ?.
[600] The omdoc subversion repository, Note: Repository at https://svn.omdoc.org/repos/omdoc External Links: Link. Cited by: ?.
[601] The OMDoc wiki, Note: http://www.mathweb.org/omdoc/wiki/ External Links: Link. Cited by: ?.
[602] People involved with the OMDoc project, Note: web page at http://omdoc.org/people.htmlseen July 2005 External Links: Link. Cited by: ?.
[603] M. Kohlhase The OMDoc Document Type Definition, Note: http://omdoc.org/dtd/omdoc.dtd External Links: Link. Cited by: ?.
[604] M. Kohlhase The OMDoc RelaxNG schema, Note: http://omdoc.org/rnc/omdoc.rnc External Links: Link. Cited by: ?.
[605] M. Kohlhase The OMDoc XML schema, Note: http://omdoc.org/rnc/omdoc.xsd External Links: Link. Cited by: ?.
[606] M. Kohlhase XSL Style sheets for OMDoc, Note: http://omdoc.org/xsl/ External Links: Link. Cited by: ?.
[607] (2007) The panta rhei demo, Note: http://kwarc.info/projects/panta-rhei/demo/htdocs/ External Links: Link. Cited by: ?.
[608] (2008) The GenCS project, Note: http://panta-rhei.kwarc.info/ External Links: Link. Cited by: ?.
[609] Panta rhei, the active course site at jacobs university, External Links: Link. Cited by: 22.
[610] (Website) External Links: Link. Cited by: ?.
[611] The panta rhei Project, Note: seen March 2009 External Links: Link. Cited by: ?, 17.
[612] Panta: The PHP Frontend of panta rhei, External Links: Link. Cited by: 16.
[613] PlanetMath Redux.Org – math for the people, by the people, External Links: Link. Cited by: 18.
[614] D. Pesikan(2007) Coping with content representations of mathematics in editor environments: nOMDoc mode, Bachelor’s Thesis, Computer Science, Jacobs University, Bremen. Cited by: ?.
[615] PhysML – Capturing The Content of Physics, Note: available at http://www.omdoc.org/projects/physml/seen February 2008 External Links: Link. Cited by: ?.
[616] M. Pinkal and M. Kohlhase(2000) Feature logic for dotted types: a formalism for complex word meanings, Hongkong, pp. 521–528. External Links: Link. Cited by: ?.
[617] Planetary developer forum, External Links: Link. Cited by: 19.
[618] Planetary developer forum, External Links: Link. Cited by: 20.
[619] Planetary sandbox, External Links: Link. Cited by: 21.
[620] PlanetMath Redux.Org – math for the people, by the people, External Links: Link. Cited by: 24.
[621] (2009) Proceedings of balisage: the markup conference 2009, Balisage Series on Markup Technologies, Mulberry Technologies, Inc.. Note: available at \urlhttp://www.balisage.net/Proceedings/vol3/ External Links: Link. Cited by: 698.
[622] (2010) Proceedings of balisage: the markup conference 2010, Balisage Series on Markup Technologies, Mulberry Technologies, Inc.. Note: available at \urlhttp://www.balisage.net/Proceedings/vol3/ External Links: Link. Cited by: 697.
[623] (2011) Proceedings of the 29^th annual acm international conference on design of communication (sigdoc), ACM Press, ACM Special Interest Group for Design of Communication, New York, NY, USA. Cited by: 313, 319.
[624] C. C. Prodescu and M. Kohlhase MathWebSearch 0.5 - open formula search engine, in 690, External Links: Link. Cited by: ?.
[625] (2003) First qpq workshop on deductive software components, CADE-19, Miami, USA. Cited by: 125.
[626] F. Rabe and M. Iancu(2010) A Formalized Set-Theoretical Semantics of Isabelle/HOL, Note: see http://kwarc.info/frabe/Research/rabeEA_isabelle_10.pdf Cited by: ?.
[627] F. Rabe and C. Schürmann(2009) A Module System for Twelf, Note: see https://cvs.concert.cs.cmu.edu/twelf/branches/twelf-mod Cited by: ?.
[628] F. Rabe and C. Schürmann(2009) A Practical Module System for LF, (A. Felty Ed.), ACM International Conference Proceeding Series, Vol. LFMTP’09, pp. 40–48. Cited by: ?.
[629] F. Rabe(2009) Representing Logics and Logic Translations, Lecture Notes in Informatics, Vol. D-9, pp. 201–210. Note: English title: Outstanding Dissertations in Computer Science 2008 Cited by: ?.
[630] F. Rabe(2009) The MMT Language, Cited by: ?.
[631] F. Rabe(2010) Representing Isabelle in LF, (M. Miculan Ed.), Electronic Proceedings in Theoretical Computer Science, Vol. 34, pp. 85–100. Cited by: ?.
[632] F. Rabe and M. Kohlhase A better role system for OpenMath, in 145, External Links: Link. Cited by: ?.
[633] F. Rabe and M. Kohlhase(2008) An exchange format for modular knowledge, (P. Rudnicki, R. Schmidt, B. Konev and S. Schulz Eds.), CEUR Workshop Proceedings, Aachen, pp. 50–68. External Links: ISSN 1613-0073. Cited by: ?.
[634] F. Rabe and M. Kohlhase(2008) An Exchange Format for Modular Knowledge, (P. Rudnicki, R. Schmidt, B. Konev and S. Schulz Eds.), CEUR Workshop Proceedings, Vol. 418, pp. 50–68. Cited by: ?.
[635] F. Rabe and M. Kohlhase(2013) A scalable module system, Information & Computation 0 (230), pp. 1–54. External Links: Link. Cited by: ?.
[636] F. Rabe, P. Pudlák, G. Sutcliffe and W. Shen(2007) Solving the $100 Modal Logic Challenge, Journal of Applied Logic 1 (1). Cited by: ?.
[637] F. Rabe, S. Schlager and P. Schmitt(2005) A Sequent Calculus for a First-order Dynamic Logic with Trace Modalities for Promela ${}^{+}$ , (A. Voronkov Ed.), pp. 21–27. Cited by: ?.
[638] F. Rabe and K. Sojakova(2012) Mechanically Verifying Logic Translations, Cited by: ?.
[639] F. Rabe First-Order Logic with Dependent Types, in 272, pp. 377–391. Cited by: ?.
[640] F. Rabe(Website) External Links: Link. Cited by: ?.
[641] F. Rabe(Website) External Links: Link. Cited by: ?.
[642] F. Rabe(2006) Towards Determining the Subset Relation between Propositional Modal Logics, (R. Schmidt and S. Schulz Eds.), CEUR Workshop Proceedings, Aachen, pp. 126–140. External Links: ISSN 1613-0073. Cited by: ?.
[643] F. Rabe(2007) OMDoc Theory Graphs Revisited, Cited by: ?.
[644] F. Rabe(2008) Institutions with Proofs and their Representation in a Logical Framework, Note: Submitted, see http://kwarc.info/frabe/Research/rabe_instlf_07.pdf External Links: Link. Cited by: ?.
[645] F. Rabe(2008) Representing Logics and Logic Translations, Ph.D. Thesis, Jacobs University Bremen. External Links: Link. Cited by: ?.
[646] F. Rabe(2010) Review of “Reasoning in Simple Type Theory – Festschrift in Honor of Peter B. Andrews on His 70th Birthday”, Bulletin of Symbolic Logic 16 (3), pp. 409–411. Cited by: ?.
[647] F. Rabe(2012) A logical framework combining model and proof theory, Mathematical Structures in Computer Science. External Links: Link. Cited by: ?.
[648] F. Rabe(2012) A type theory based on reflection, Note: Manuscript External Links: Link. Cited by: ?.
[649] F. Rabe(2014) Generic Literals, Note: submitted to CICM 2014 External Links: Link. Cited by: ?.
[650] RDFa Wiki, External Links: Link. Cited by: 273.
[651] J. Rech, B. Decker and E. Ras (Eds.)(2008-04) Emerging technologies for semantic work environments: techniques, methods, and applications, IGI Global. External Links: Document, Link. Cited by: 326, 511.
[652] C. Rensing (Ed.)(2006) Proceedings der Pre-Conference Workshops der 4.e-Learning Fachtagung Informatik DeLFI 2006, Logos Verlag. Note: ISBN 3-8325-1330-2 Cited by: 331.
[653] J. Siekmann, C. Benzmüller, V. Brezhnev, L. Cheikhrouhou, A. Fiedler, A. Franke, H. Horacek, M. Kohlhase, A. Meier, E. Melis, M. Moschner, I. Normann, M. Pollet, V. Sorge, C. Ullrich, C. Wirth and J. Zimmer Proof development with $\Omega$ mega, in 108, pp. 144–149. Cited by: ?.
[654] J. Siekmann, C. BenzMüller, L. Cheikhrouhou, A. Fiedler, A. Franke, H. Horacek, M. Kohlhase, A. Meier, E. Melis, M. Pollet, V. Sorge, C. Ullrich and J. Zimmer(2000) Adaptive course generation and presentation, (C. Peylo Ed.), Montreal. Cited by: ?.
[655] J. Siekmann, S. Hess, C. Benzmüller, L. Cheikhrouhou, D. Fehrer, A. Fiedler, H. Horacek, M. Kohlhase, K. Konrad, A. Meier, E. Melis and V. Sorge(1998) A distributed graphical user interface for the interactive proof system OMEGA, in 683, pp. 130–138. Cited by: ?.
[656] J. Siekmann, S. Hess, C. BenzMüller, L. Cheikhrouhou, D. Fehrer, A. Fiedler, H. Horacek, M. Kohlhase, K. Konrad, A. Meier, E. Melis and V. Sorge(1998) LOUI: A distributed graphical user interface for the interactive proof system OMEGA, Eindhoven, Netherlands. External Links: Link. Cited by: ?.
[657] J. Siekmann, S. M. Hess, C. Benzmüller, L. Cheikhrouhou, A. Fiedler, H. Horacek, M. Kohlhase, K. Konrad, A. Meier, E. Melis, M. Pollet and V. Sorge(1999) L $\Omega$ UI: Lovely $\Omega$ mega user interface, Formal Aspects of Computing 3 (11), pp. 326–342. External Links: Link. Cited by: ?.
[658] J. Siekmann, M. Kohlhase and E. Melis(1998) $\Omega$ mega, Ein mathematisches Assistenzsystem, Kognitionswissenschaft 7 (3), pp. 101–105. External Links: Link. Cited by: ?.
[659] E. Simperl, P. Cimiano, A. Polleres, O. Corcho and V. Presutti (Eds.)(2012) The semantic web, LNCS, Springer. External Links: Document, ISBN 978-3-642-30283-1. Cited by: 504.
[660] E. Simperl, J. Diederich and G. Schreiber (Eds.)(2007) Proceedings of the KWEPSY (Knowledge Web PhD Symposium), CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link. Cited by: 527.
[661] K. Sojakova and F. Rabe(2009) Translating Dependently-Typed Logic to First-Order Logic, (U. Montanari Ed.), LNCS, Vol. 5486, pp. 326–341. Cited by: ?.
[662] K. Sojakova(2010) Mechanically Verifying Logic Translations, Note: Master’s thesis, Jacobs University Bremen Cited by: ?.
[663] P. Sojka and M. Kohlhase (Eds.)(2012) DML and mir 2012, Masaryk University, Brno. External Links: ISBN 978-80-210-5542-1. Cited by: 364.
[664] P. Sojka (Ed.)(2009) Towards digital mathematics library, dml 2009 workshop, Masaryk University, Brno. Cited by: 666.
[665] P. Sojka (Ed.)(2011) Towards digital mathematics library, dml workshop, Masaryk University, Brno. Cited by: 692.
[666] H. Stamerjohanns, D. Ginev, C. David, D. Misev, V. Zamdzhiev and M. Kohlhase(2009) MathML-aware article conversion from LaTeX, a comparison study, in 664, pp. 109–120. External Links: Link. Cited by: ?.
[667] H. Stamerjohanns, D. Ginev, C. David, D. Misev, V. Zamdzhiev and M. Kohlhase(2010) Conversion d’articles en LaTeX vers XML avec MathML : une étude comparative, Cahiers GUTenberg 51, pp. 7–28. External Links: Link. Cited by: ?.
[668] H. Stamerjohanns, D. Ginev, C. David, D. Misev, V. Zamdzhiev and M. Kohlhase(2009) A comparison study of mathml-aware LaTeX converters, KWARC Report Jacobs University Bremen. Note: https://svn.kwarc.info/repos/arXMLiv/doc/dml09/report.pdf External Links: Link. Cited by: ?.
[669] H. Stamerjohanns, M. Kohlhase, D. Ginev, C. David and B. Miller(2010) Transforming large collections of scientific publications to XML, Mathematics in Computer Science 3 (3), pp. 299–307. External Links: Link. Cited by: ?.
[670] H. Stamerjohanns and M. Kohlhase Transforming the arXiv to XML, in 120, pp. 574–582. External Links: Link. Cited by: ?.
[671] H. Stamerjohanns(Website) External Links: Link. Cited by: ?.
[672] sTeX Emacs Mode, External Links: Link. Cited by: 25.
[673] Note: Subversion repository at https://svn.kwarc.info/repos/stex-content/slides External Links: Link. Cited by: ?.
[674] Note: Subversion repository at https://svn.kwarc.info/repos/stex External Links: Link. Cited by: ?.
[675] Semantic markup for \latex, Note: Project Homepage External Links: Link. Cited by: 26.
[676] M. Kohlhase(2013) sTeX: Semantic markup in TeX/LaTeX, Technical report Cited by: 464.
[677] sTeXIDE, External Links: Link. Cited by: 27.
[678] C. Lange SWiM Trac, Note: web page at http://trac.kwarc.info/swim/seen September 2007 External Links: Link. Cited by: ?.
[679] S. Thorne (Ed.)(2010) Symp. of the european spreadsheet risks interest group (eusprig 2010), European Spreadsheet Risk Interest Group. External Links: ISBN 978-1-905404-50-6. Cited by: 320.
[680] V. Zholudev and M. Kohlhase The RelaxNG Schema for VDoc Specifications, Note: https://svn.tntbase.org/repos/tntbase/trunk/DbXmlAccessLib/resources/tnt-vd-spec.rnc External Links: Link. Cited by: ?.
[681] V. Zholudev Sandbox for Balisage 2010 – Virtual Documents, Note: http://tntbase.org/wiki/balisage2010 External Links: Link. Cited by: ?.
[682] H. M. Tran, C. Lange, G. Chulkov, J. Schönwälder and M. Kohlhase(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: ?.
[683] R. C. Backhouse (Ed.)(1998) User interfaces for theorem provers, Computing Science Reports, Department of Mathematics and Computing Science, Eindhoven Technical University. Cited by: 655.
[684] (2003) 17^th workshop on unification, Valencia, Spain. Cited by: 396.
[685] A. Voronkov, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. M. Watt and D. Zaharie (Eds.)(2013) International workshop on symbolic and numeric algorithms for scientific computing (synasc 2012), IEEE Press, Timisoara, \ROMANIA. External Links: ISBN 978-1-4673-5026-6. Cited by: 413.
[686] M. Völkel, S. Schaffert and S. Decker (Eds.)(2006) Proceedings of the 1^st workshop on semantic wikis, European Semantic Web Conference, CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link. Cited by: 508.
[687] M. Wagner and C. Müller Towards Community of Practice Support for Interactive Mathematical Authoring, in 577, Cited by: ?.
[688] Wikimedia Foundation (Ed.)(2001–2007) Wikipedia, the free encyclopedia, Note: \urlhttp://www.wikipedia.org External Links: Link. Cited by: 689.
[689] C. Lange(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: ?.
[690] (2011-09) Wissens- und erfahrungsmanagement lwa (lernen, wissensentdeckung und adaptivität) conference proceedings, Otto-von-Guericke-Universität Magdeburg. Cited by: 624.
[691] C. W. Wolfgang Bibel (Ed.)(1994) Informal Proc. of the 11^th Annual Meeting of the “GI-Fachgruppe Deduktionssysteme”, Forschungsbericht, FB Informatik, TH Darmstadt, Darmstadt, Germany. Cited by: 252.
[692] M. Wolska, M. Grigore and M. Kohlhase Using discourse context to interpret object-denoting mathematical expressions, in 665, pp. 85–101. External Links: Link. Cited by: ?.
[693] C. Pautasso, E. Wilde and R. Alarcon (Eds.)(2011) Proceedings of the second international workshop on restful design, ACM. External Links: ISBN 9781605589596. Cited by: 217.
[694] M. Kohlhase XSLT Stylesheet for converting OMDoc documents into XHTML., Note: http://kwarc.info/projects/xsltseen January 2008 External Links: Link. Cited by: ?.
[695] V. Zamdzhiev(2011) Formalizing Syntactical Objects within Formalized Set Theory, Jacobs University Bremen. Note: Bachelor’s thesis, Jacobs University Bremen Cited by: ?.
[696] V. Zamdzhiev(2011) Universal OpenMath machine, B. Sc. Thesis, Jacobs University Bremen. Cited by: ?.
[697] V. Zholudev and M. Kohlhase Scripting documents with xquery: virtual documents in TNTBase, in 622, Note: available at http://www.balisage.net/Proceedings/vol3/html/Zholudev01/BalisageVol3-Zholudev01.html External Links: Link. Cited by: ?.
[698] V. Zholudev and M. Kohlhase TNTBase: A versioned storage for XML, in 621, Note: available at http://kwarc.info/vzholudev/pubs/balisage.pdf External Links: Link. Cited by: ?.
[699] V. Zholudev and C. Lange(2010) TNTBase – Sandbox for ORES 2010, External Links: Link. Cited by: ?.
[700] V. Zholudev(Website) External Links: Link. Cited by: ?.
[701] V. Zholudev(2008) Towards distributed mathematical knowledge management, Jacobs University of Bremen. Note: http://kwarc.info/vzholudev/pubs/proposal.pdf External Links: Link. Cited by: ?.
[702] V. Zholudev(2010) TNTBase – RESTful api, External Links: Link. Cited by: ?, 33, 34.
[703] V. Zholudev(2010)(Website) External Links: Link. Cited by: ?.
[704] J. Zimmer and M. Kohlhase(2002) System Description: The MathWeb software bus for distributed mathematical reasoning, in 108, pp. 247–252. External Links: Link. Cited by: ?.