September 17, 2025

real algebraic geometry