Symbolic Computation Seminar: Josué Tonelli Cueto, The University of Texas at San Antonio, Computing numerically the homology of semialgebraic sets
SAS 4201Computing the homology of semialgebraic sets is a central problem in computational real algebraic geometry. However, as of today, all symbolic algorithms for this problem require still time that is doubly exponential with respect to the number of variables. The latter is so although the size of the Betti numbers is known to be singly…