Christoph Lange

MaRDI QIDQ504393zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A general framework for robust and efficient association analysis in family-based designs: quantitative and dichotomous phenotypes Statistics in Medicine	2025-07-29	Paper
An introduction to mechanized reasoning Journal of Mathematical Economics	2017-01-16	Paper
Set theory or higher order logic to represent auction concepts in Isabelle? Lecture Notes in Computer Science	2014-08-07	Paper
Semantics of the distributed ontology language: institutes and institutions Recent Trends in Algebraic Development Techniques	2013-09-13	Paper
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory Lecture Notes in Computer Science	2013-08-09	Paper
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory Lecture Notes in Computer Science	2013-08-09	Paper
The ForMaRE project -- formal mathematical reasoning in economics Lecture Notes in Computer Science	2013-08-09	Paper
Reimplementing the mathematics subject classification (MSC) as a linked open dataset Lecture Notes in Computer Science	2012-09-07	Paper
The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization Lecture Notes in Computer Science	2012-09-07	Paper
Point-and-write -- documenting formal mathematics by reference Lecture Notes in Computer Science	2012-09-07	Paper
Enabling collaboration on semiformal mathematical knowledge by semantic web integration	2012-02-15	Paper
Krextor -- an extensible framework for contributing content math to the web of data Lecture Notes in Computer Science	2011-07-29	Paper
Dimensions of formality: a case study for MKM in software engineering Lecture Notes in Computer Science	2010-08-24	Paper
Integrating Web Services into Active Mathematical Documents Lecture Notes in Computer Science	2009-07-09	Paper
A Mathematical Approach to Ontology Authoring and Documentation Lecture Notes in Computer Science	2009-07-09	Paper

Research outcomes over time

This page was built for person: Christoph Lange