Computing the Homology of Semialgebraic Sets. I: Lax Formulas

Peter Bürgisser, Felipe Cucker, Josué Tonelli-Cueto. Computing the Homology of Semialgebraic Sets. I: Lax Formulas. Foundations of Computational Mathematics, 20(1):71-118, 2020. [doi]

Abstract

Abstract is missing.