Christoph Lange

Available identifiers

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
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
Point-and-Write – Documenting Formal Mathematics by Reference	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

This page was built for person: Christoph Lange