Christoph Lange

Available identifiers

zbMath Open lange.christophWikidataQ30276490 ScholiaQ30276490MaRDI QIDQ504393

List of research outcomes

Publication	Date of Publication	Type
An introduction to mechanized reasoning	2017-01-16	Paper
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?	2014-08-07	Paper
Semantics of the Distributed Ontology Language: Institutes and Institutions	2013-09-13	Paper
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory	2013-08-09	Paper
The ForMaRE Project – Formal Mathematical Reasoning in Economics	2013-08-09	Paper
Point-and-Write – Documenting Formal Mathematics by Reference	2012-09-07	Paper
Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset	2012-09-07	Paper
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization	2012-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q3116967	2012-02-15	Paper
Krextor - An Extensible Framework for Contributing Content Math to the Web of Data	2011-07-29	Paper
Dimensions of Formality: A Case Study for MKM in Software Engineering	2010-08-24	Paper
Integrating Web Services into Active Mathematical Documents	2009-07-09	Paper
A Mathematical Approach to Ontology Authoring and Documentation	2009-07-09	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christoph Lange