Christoph Lange
Universität Bremen · FB 10
Computing in Mathematics, Natural Science, Engineering and Medicine, Information Science, Artificial Intelligence
7Publications
19Followers
Education
Sep, 2006 - Oct, 2011
Jacobs University Bremen
Computer Science
Ph.D.
Bremen, Germany
Languages:
German (native)
English (fluent)
English (fluent)
Contact Details
Business:
Enrique-Schmidt-Straße 5, 28359 Bremen, Germany, Bremen
Institution:
Universität Bremen, FB 10
Telephone:
+49 421 218-60265
Fax:
+49 421 218-98 60265
Website:
http://kwarc.info/clange/
Other
Society memberships:
OpenMath Society
Publications
The Planetary System: Executable Science, Technology, Engineering and Math Papers
03/2011;
Executable scientific papers contain not just layouted text for reading. They contain, or link to, machine-comprehensible representations of the scientific findings or experiments they describe.
sTeX+ - a System for Flexible Formalization of Linked Data
06/2010;
We present the sTeX+ system, a user-driven advancement of sTeX - a semantic extension of LaTeX that allows for producing high-quality PDF documents for (proof)reading and printing, as well as
Towards OpenMath Content Dictionaries as Linked Data
06/2010;
"The term 'Linked Data' refers to a set of best practices for publishing and connecting structured data on the web". Linked Data make the Semantic Web work practically, which means that information
Dimensions of Formality: A Case Study for MKM in Software Engineering
04/2010;
We study the formalization of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection markup formats can cope with an
Publishing Math Lecture Notes as Linked Data
04/2010;
We mark up a corpus of LaTeX lecture notes semantically and expose them as Linked Data in XHTML+MathML+RDFa. Our application makes the resulting documents interactively browsable for students. Our
wiki.openmath.org - how it works, how you can participate
03/2010;
At http://wiki.openmath.org, the OpenMath 2 and 3 Content Dictionaries are accessible via a semantic wiki interface, powered by the SWiM system. We shortly introduce the inner workings of the system,
SWiM -- A Semantic Wiki for Mathematical Knowledge Management
03/2010;
SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the domain-specific structural semantic markup language OMDoc. It motivates users to
Follow
Following
Feryal Fulya Horozal
Jacobs University Bremen
Michael Kohlhase
Jacobs University Bremen
Vyacheslav Zholudev
ResearchGate
Nikolay Melnikov
Jacobs University Bremen
Pascal Molli
Université de Lorraine

Cs
Academic Degrees
Dr.
Research Keywords
Ontologies, Semantic Web, Linked Data, Web of Data, Semantic Web Technology, Social Semantic Web, RDF, OWL, RDFS, SPARQL, Knowledge Representation, Ontology, Ontology Engineering, Mathematical Knowledge Management, Markup Languages, XML, LaTeX 2e, Formal Methods, Web 3.0, Web Science
Current Advisors
Till Mossakowski
Past Advisors
John Bateman Michael Kohlhase
Current Location
Bremen, Germany