Geometry
Real closed field
Semialgebraic set
Betti number
Algebraic variety
Algorithm
Abstract algebra
Mathematics
Real algebraic geometry