August 5, 2025

real algebraic geometry