重新认证

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献7条,2标准条款)

显示结果1到7，共7个。
按年份排序(引用)

  1. 希顿，亚历山大；Shankar，Isabelle:对称函数不等式的SOS反例（2021）
  2. 马格伦，维克多；萨菲·艾尔丁（Safey El-Din），莫哈布：论雷兹尼克、希尔伯特·阿丁和普蒂纳的精确表述（2021）
  3. 科比尼亚人施洛瑟；米兰Korda:使用半定规划将外部近似收敛到全局吸引子（2021）
  4. 王杰；Magron，Victor:非负电路和的二阶锥特征（2020）
  5. 拉塞尔，让伯纳德；Magron，Victor:在SDP松弛中，不准确的解算器进行稳健优化（2019年）
  6. 马格伦，维克多；Safey El Din，Mohab:\ TEXTSCrealCertificate:认证非负性的枫木包装（2018）
  7. Victor Magron，Mohab Safey El-Din:RealCertificate:认证非负性的枫木包装（2018）阿尔十四