https://profilbaru.com/en/Real_algebraic_geometry