This workshop will explore complexity-theoretic and probabilistic aspects of real number computations, with a focus on numerical equation solving, optimization, and the geometry of solution sets. Topics include condition numbers, random real algebraic systems, and the distribution of points on manifolds. We will also address new directions involving effective o-minimality and positive, hyperbolic and Lorentzian polynomials.
Our workshop naturally connects with Computational Algebraic Geometry, particularly around shared interests in solution structure and symbolic-numeric techniques. There is also strong overlap with Numerical Linear Algebra, especially regarding condition numbers, optimization, and the stability of algorithms. Joint sessions or panels could explore the interplay between algebraic structure, numerical behavior, and computational complexity, enriching discussions across disciplines.
Organizers
Speakers
Semi-plenary speakers
University of Leipzig
TU Dresden
Invited speakers
University of Leipzig
Universität Osnabrück
Technische Universität Berlin
Technische Universität Chemnitz
CUNEF Universidad
INRIA Saclay
University of Warwick
ENS Lyon
INRIA & Université Paris-Saclay
UT Austin
University of Warwick
Universidade Federal do Rio de Janeiro
ETH Zurich
University of North Carolina
TU Wien
UiT The Arctic University of Norway
Texas A&M University
Universität Leipzig
MPI
