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 Ludwig-Maximilians-Universität München (LMU). In the first stage, it has been funded by the Investment Fund of LMUexcellent.

Workshops

  1. second CORE meeting, LMU, 27 January 2017
  2. first CORE meeting, LMU, 7 May 2016
  3. Bridges between Financial and Constructive Mathematics, LMU, July 2015

Presentations

  1. Algorithmic aspects in financial mathematics, Autumn school "Proof and Computation", Herrsching, September 2017
  2. A constructive version of the weak König lemma, 9th European Congress of Analytic Philosophy, Munich, August 2017 (pdf-slides)
  3. Convexity and constructive minima, Humboldt Kolleg Proof Theory as Mathesis Universalis, Como, Italy (pdf-slides)
  4. Brouwer's fan theorem and convexity, Japan Advanced Institute of Science and Technology, March 2017 (pdf-slides)
  5. Brouwer's fan theorem and convexity, ABM, LMU, December 2016
  6. Algorithmic aspects in financial mathematics, Autumn school "Proof and Computation", Fischbachau, October 2016 (pdf-slides 1, 2, 3)
  7. The fan theorem and convexity, Workshop on Mathematical Logic and its Applications, Kyoto University, Japan, September 2016 (pdf-slides)
  8. Separating convex sets, Intelligent Robotics International Symposium, Kanazawa, Japan, February 2016
  9. Convexity and constructive infima, ABM, LMU, December 2015
  10. A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle, Bridges between Financial and Constructive Mathematics, LMU, July 2015

Publications

  1. 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
  2. Josef Berger and Gregor Svindland, Brouwer's fan theorem and convexity. preprint
  3. 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
  4. Josef Berger and Gregor Svindland, Convexity and constructive infima. Archive for Mathematical Logic 55 (2016) 873–881