×

zbMATH — the first resource for mathematics

Lange, Christoph

Compute Distance To:
Author ID: lange.christoph Recent zbMATH articles by "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

Publications by Year

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.68314
Giceva, Jana; Lange, Christoph; Rabe, Florian
5
2009
A qualitative comparison of the suitability of four theorem provers for basic auction theory. Zbl 1390.68577
Lange, 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.68379
Mossakowski, Till; Kutz, Oliver; Lange, Christoph
4
2013
An introduction to mechanized reasoning. Zbl 1368.68289
Kerber, 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.68008
Carette, 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.68135
Lange, 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.68005
Lange, Christoph
1
2011
The ForMaRE project – formal mathematical reasoning in economics. Zbl 1390.68578
Lange, Christoph; Rowat, Colin; Kerber, Manfred
1
2013
A mathematical approach to ontology authoring and documentation. Zbl 1247.68279
Lange, Christoph; Kohlhase, Michael
1
2009
An introduction to mechanized reasoning. Zbl 1368.68289
Kerber, Manfred; Lange, Christoph; Rowat, Colin
2
2016
A qualitative comparison of the suitability of four theorem provers for basic auction theory. Zbl 1390.68577
Lange, 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.68379
Mossakowski, 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.68008
Carette, Jacques; Aspinall, David; Lange, Christoph; Sojka, Petr; Windsteiger, Wolfgang
1
2013
The ForMaRE project – formal mathematical reasoning in economics. Zbl 1390.68578
Lange, Christoph; Rowat, Colin; Kerber, Manfred
1
2013
Reimplementing the mathematics subject classification (MSC) as a linked open dataset. Zbl 1257.68135
Lange, 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.68005
Lange, Christoph
1
2011
Integrating web services into active mathematical documents. Zbl 1247.68314
Giceva, Jana; Lange, Christoph; Rabe, Florian
5
2009
A mathematical approach to ontology authoring and documentation. Zbl 1247.68279
Lange, Christoph; Kohlhase, Michael
1
2009

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.