RealCertify公司 swMATH ID: 28191 软件作者： Victor Magron，Mohab Safey El Din 描述： RealCertify：用于证明非否定性的Maple包。设Q（resp.R）是有理数（resp.real）的域，X=（X1，…，Xn）是变量。确定Rn上或Q[X]中多项式约束定义的半代数域上Q[X]中多项式的非负性是一个经典的符号计算算法问题。Maple包extsc{RealCertify}通过计算输入的非负平方和证书来解决这个决策问题，这些证书在有理数上有效。它可以应用于来自工程科学、程序验证和网络物理系统的许多问题。它基于基于半定规划的混合符号-数字算法。 主页： https://arxiv.org/abs/1805.02201 依赖项： 枫树 关键词： 符号计算；arXiv_cs。联合国安全理事会；数学软件；arXiv_cs。微软；枫树；非负性 相关软件： TSSOS公司；塞杜米；莫塞克；RAGlib公司；SDPA公司；GloptiPoly公司；多重vso；univsos公司；枫树；无斑点的；备用JSR；光谱；开普勒98；隔离；驾驶员侧车门开关（DDS）；阿方索；Sostools公司；PARI/GP公司；YALMIP公司；Q船体 引用于： 10文件 标准条款 2出版物描述软件，包括1出版物以zbMATH为单位 年份 {RealCertify公司}：用于证明非否定性的Maple包。 Zbl 1433.68625号维克托·马格伦；穆罕默德·萨弗里·埃尔丁 2018 RealCertify：用于证明非否定性的Maple包arXiv公司Victor Magron，Mohab Safey El Din 2018 全部的 前5名13位作者引用 7 维克托·马格伦 三 穆罕默德·萨弗里·埃尔丁 2 王杰 1 玛丽亚·戴维斯。 1 亚历山大·希顿 1 科普洛夫斯基（Koprowski，Przemysław） 1 米兰科尔达 1 Jean-Bernard Lasserre 1 达维德·帕普 1 科尔比尼安·施洛瑟 1 伊莎贝尔·尚卡尔 1 特里斯坦Vaccon 1 Vu，Trung-Hieu先生 5篇连载文章中引用 三 SIAM优化杂志 2 符号计算杂志 1 Automatica公司 1 纯粹与应用代数杂志 1 计算机代数中的ACM通信 全部的 前5名在8个字段中引用 5 运筹学、数学规划（90-XX） 4 代数几何（14-XX） 4 计算机科学（68至XX） 2 数论（11-XX） 1 组合数学（05-XX） 1 交换代数（13-XX） 1 动力系统和遍历理论（37至XX） 1 变分法与最优控制；最优化（49至XX） 按年份列出的引文