June 2, 2025

real algebraic geometry