多项式在闭长方体上的等式约束极小化
对于给定的一个实多项式函数f,R[x<sub>1</sub>...,,x<sub>n</sub>]中一个非空的有限子集H以及R’中一个闭长方体<sup>n</sup>∏<sub>i</sub>=1[a<sub>i</sub>,b<sub>i</sub>],本文给出了一个有效算法,用来计算多项式函数f在集合<sup>n</sup>∏<sub>i</sub>=1[a<sub>i</sub>,b<sub>i</sub>]∩Zero<sub>R</sub>（H）上的最小值,这里ZeroR（H）为H的实零点集。此外,本文中算法可产生一个最小值点,该点被写成所谓的区间-有理单元表示。
相应的有关算法通过Maple软件被编制成一个通用程序,可处理相关实例。