Edit Profile Lange, Christoph Compute Distance To: Compute Author ID: lange.christoph Published as: Lange, Christoph Homepage: https://langec.wordpress.com External Links: Wikidata · ORCID · dblp Documents Indexed: 15 Publications since 2009, including 2 Books all top 5 Co-Authors 2 single-authored 5 Kerber, Manfred 5 Rowat, Colin 3 Kohlhase, Michael 3 Mossakowski, Till 2 Caminati, Marco Bright 2 Kutz, Oliver 2 Windsteiger, Wolfgang 1 Antoniou, Ioannis E. 1 Aspinall, David 1 Bratsas, Charalampos 1 Carette, Jacques 1 Corneli, Joseph 1 Dimou, Anastasia 1 Giceva, Jana 1 Gruninger, Michael 1 Ion, Patrick D. F. 1 Kohlhase, Andrea 1 Rabe, Florian 1 Sojka, Petr 1 Sperber, Wolfram 1 Tankink, Carst 1 Urban, Josef 1 Wenzel, Makarius Serials 1 Journal of Mathematical Economics 1 Lecture Notes in Computer Science 1 Mathematics in Computer Science 1 Studies on the Semantic Web Fields 15 Computer science (68-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 9 Publications have been cited 20 times in 18 Documents Cited by ▼ Year ▼ Integrating web services into active mathematical documents. Zbl 1247.68314Giceva, Jana; Lange, Christoph; Rabe, Florian 5 2009 A qualitative comparison of the suitability of four theorem provers for basic auction theory. Zbl 1390.68577Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang 4 2013 Semantics of the distributed ontology language: institutes and institutions. Zbl 1394.68379Mossakowski, Till; Kutz, Oliver; Lange, Christoph 4 2013 An introduction to mechanized reasoning. Zbl 1368.68289Kerber, Manfred; Lange, Christoph; Rowat, Colin 2 2016 Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Zbl 1268.68008Carette, Jacques (ed.); Aspinall, David (ed.); Lange, Christoph (ed.); Sojka, Petr (ed.); Windsteiger, Wolfgang (ed.) 1 2013 Reimplementing the mathematics subject classification (MSC) as a linked open dataset. Zbl 1257.68135Lange, Christoph; Ion, Patrick; Dimou, Anastasia; Bratsas, Charalampos; Corneli, Joseph; Sperber, Wolfram; Kohlhase, Michael; Antoniou, Ioannis 1 2012 Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Zbl 1275.68005Lange, Christoph 1 2011 The ForMaRE project – formal mathematical reasoning in economics. Zbl 1390.68578Lange, Christoph; Rowat, Colin; Kerber, Manfred 1 2013 A mathematical approach to ontology authoring and documentation. Zbl 1247.68279Lange, Christoph; Kohlhase, Michael 1 2009 An introduction to mechanized reasoning. Zbl 1368.68289Kerber, Manfred; Lange, Christoph; Rowat, Colin 2 2016 A qualitative comparison of the suitability of four theorem provers for basic auction theory. Zbl 1390.68577Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang 4 2013 Semantics of the distributed ontology language: institutes and institutions. Zbl 1394.68379Mossakowski, Till; Kutz, Oliver; Lange, Christoph 4 2013 Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Zbl 1268.68008Carette, Jacques; Aspinall, David; Lange, Christoph; Sojka, Petr; Windsteiger, Wolfgang 1 2013 The ForMaRE project – formal mathematical reasoning in economics. Zbl 1390.68578Lange, Christoph; Rowat, Colin; Kerber, Manfred 1 2013 Reimplementing the mathematics subject classification (MSC) as a linked open dataset. Zbl 1257.68135Lange, Christoph; Ion, Patrick; Dimou, Anastasia; Bratsas, Charalampos; Corneli, Joseph; Sperber, Wolfram; Kohlhase, Michael; Antoniou, Ioannis 1 2012 Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Zbl 1275.68005Lange, Christoph 1 2011 Integrating web services into active mathematical documents. Zbl 1247.68314Giceva, Jana; Lange, Christoph; Rabe, Florian 5 2009 A mathematical approach to ontology authoring and documentation. Zbl 1247.68279Lange, Christoph; Kohlhase, Michael 1 2009 all cited Publications top 5 cited Publications all top 5 Cited by 42 Authors 6 Kohlhase, Michael 4 Lange, Christoph 4 Rabe, Florian 3 Mossakowski, Till 2 Horozal, Fulya 2 Iancu, Mihnea 2 Jucovschi, Constantin 2 Kerber, Manfred 2 Rowat, Colin 2 Wiesing, Tom 1 Ataeva, O. M. 1 Autexier, Serge 1 Barthe, Gilles 1 Caminati, Marco Bright 1 Codescu, Mihai 1 Dehaye, Paul-Olivier 1 Diaconescu, Răzvan 1 Gaboardi, Marco 1 Gallego Arias, Emilio Jesús 1 Ghomsi Nokam, Sidoine 1 Heras, Jónathan 1 Hsu, Justin 1 Iacob, Alin 1 Ibañez, Yazmin Angelica 1 Knapp, Alexander 1 Komendantskaya, Ekaterina 1 Krieg-Brückner, Bernd 1 Lelièvre, Samuel 1 Maletzky, Alexander 1 Müller, Dennis 1 Pfeiffer, Markus 1 Rink, Martin 1 Roggenbach, Markus 1 Roth, Aaron Leon 1 Sannella, Donald T. 1 Serebryakov, V. A. 1 Strub, Pierre-Yves 1 Takemura, Ryo 1 Tarlecki, Andrzej 1 Thiéry, Nicolas Marc 1 Tuchkova, Natal’ya Pavlovna 1 Windsteiger, Wolfgang Cited in 5 Serials 1 Journal of Mathematical Economics 1 Mathematical Social Sciences 1 Information and Computation 1 Lobachevskii Journal of Mathematics 1 Mathematics in Computer Science Cited in 3 Fields 16 Computer science (68-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Mathematical logic and foundations (03-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.