维克托·马格伦;乔治·康斯坦丁德斯;阿拉斯泰·唐纳森 使用半定编程证明舍入误差界。 (英语) Zbl 1380.65084号 ACM事务处理。数学。柔和。 第43条第4款第34条第31页(2017年). 引用于15文件 MSC公司: 65克50 舍入误差 90C22型 半定规划 关键词:相关稀疏模式;浮点运算;形式验证;多项式优化;校对助理;舍入误差;半定规划;超越函数 软件:莫塞克;SMT-LIB公司;停机坪;d真实;HOL灯;z3(零3);Coq公司;SDPA公司;OCaml公司;马克西玛;NL认证;弗洛克 PDF格式BibTeX公司 XML格式引用 \textit{V.Magron}等人,ACM Trans。数学。柔和。43,第4号,第34条,第31页(2017年;Zbl 1380.65084) 全文: 内政部 arXiv公司