Computing global minima to polynomial optimization problems using Gröbner bases
scientific article; zbMATH DE number 829906