重新认证

RealCertify:一个用于证明非负性的Maple包。设Q(resp.R)是有理数(resp.real)的域,X=(X1,…,Xn)是变量。判定Q[X]中多项式在Rn上或Q[X]中多项式约束所定义的半代数域上的非负性是符号计算的经典算法问题。Maple包extsc{RealCertify}通过计算输入的非负平方和证书来解决这个决策问题,其中这些证书包含有理数。它可以应用于工程科学、程序验证和网络物理系统中的许多问题。它基于基于半定规划的混合符号-数值算法。