17th October 2017
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

second
CORE
meeting, LMU, 27 January 2017

first
CORE
meeting, LMU, 7 May 2016

Bridges between Financial and Constructive Mathematics, LMU, July 2015
Presentations

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
(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
Publications
 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