Semi-algebraic decision complexity, the real spectrum, and degree
scientific article; zbMATH DE number 896570
scientific article