Text this: Real Algebraic Geometry with a View toward Koopman Operator Methods.