25th February 2018
B418
+498921804416
core[at]math[dot]lmu[dot]de
Priv.Doz. Dr.
Josef Berger
Dr.
Gregor Svindland
Constructive Operations Research (CORE)
Combining the
fields
philosophy – logic/constructive mathematics – applied
mathematics – software/finance/engineering, we aim at making
practical applications
of mathematics more reliable.
For more information, see the project
description and
a recent survey article.
The project is
hosted by the
Department of Mathematics of the
LudwigMaximiliansUniversität München (LMU).
In the first stage, it has been
funded by the Investment Fund of
LMUexcellent.
Workshops

third
CORE
meeting, LMU, 26 January 2018

second
CORE
meeting, LMU, 27 January 2017

first
CORE
meeting, LMU, 7 May 2016

Bridges between Financial and Constructive Mathematics, LMU, July 2015
Publications
 Josef Berger and Gregor Svindland, Convexity and unique
minimum points. To appear in: Archive for Mathematical Logic
 Josef Berger and Gregor Svindland,
Constructive convex
programming.
To appear in: Proof–Computation–Digitalization in
Mathematics, Computer Science and Philosophy (K. Mainzer,
P. Schuster, H. Schwichtenberg, editors) to be published by World Scientific Publishing Co. Pte. Ltd., Singapore
 Josef Berger and Gregor Svindland, Brouwer's
fan theorem and convexity. Preprint
 Josef Berger and Gregor Svindland,
A separating hyperplane theorem,
the fundamental theorem of asset pricing,
and Markov's principle.
Annals of Pure and Applied Logic 167 (2016) 1161–1170
 Josef Berger and Gregor Svindland,
Convexity and constructive infima.
Archive for Mathematical Logic 55 (2016) 873–881
Presentations
 A constructive supporting hyperplane theorem,
ABM, LMU, December 2017

Algorithmic aspects in financial mathematics,
Autumn
school "Proof and Computation", Herrsching, September 2017

A constructive version of the weak König
lemma,
9th European Congress of Analytic Philosophy, Munich, August 2017
(pdfslides)

Convexity and constructive minima,
Humboldt Kolleg Proof Theory as Mathesis Universalis,
Como, Italy, July 2017
(pdfslides)
 Brouwer's fan theorem and
convexity,
Japan Advanced Institute of Science and Technology, March 2017
(pdfslides)
 Brouwer's fan theorem and convexity,
ABM, LMU, December 2016

Algorithmic aspects in financial mathematics,
Autumn
school "Proof and Computation", Fischbachau, October 2016
(pdfslides 1,
2,
3)

The fan theorem and convexity,
Workshop on Mathematical Logic and its Applications, Kyoto
University, Japan, September 2016
(pdfslides)

Separating convex sets,
Intelligent
Robotics International Symposium, Kanazawa, Japan, February 2016
 Convexity and constructive infima,
ABM, LMU, December 2015
 A separating hyperplane theorem,
the fundamental theorem of asset pricing, and Markov's principle,
Bridges between Financial and Constructive Mathematics, LMU, July 2015