Fachbereich Mathematik und Statistik |
Universität Konstanz |
![]() |
Schwerpunkt Reelle Geometrie und Algebra > Unterrichtstreffen Konstanz-Passau-Regensburg |
Sponsored by DFG.
09:30-10:20 | Timothy Mellor (Regensburg) Introduction to model theory and definition of o-minimality, a comparison with semi-algebraic sets |
10:45-11:35 | Tobias Kaiser (Regensburg) First applications of the axioms of o-minimality |
12:00-12:50 | Doris Augustin, née Rotheigner (Regensburg) Introduction to the real spectrum and application to positivity |
14:30-15:20 | Igor Klep (Ljubljana) Schmüdgen's Positivstellensatz - the original way |
15:45-16:35 | Vincent Astier (Nottingham) Algebraic methods in o-minimal structures |
17:00-17:50 | Tamara Servi (Regensburg) Algorithms for finding the roots of exponential polynomials and other decision problems |
10:00-10:50 | Richard Leroy (Rennes) Sums of squares and optimization |
11:15-12:05 | Tim Netzer (Konstanz) Moment problem and approximation of nonnegative polynomials |