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…