使用半定规划证明舍入误差界限

摘要:浮点非线性程序的绝对舍入误差的上界证明的框架

作者:Victor Magron, George Constantinides, Alastair Donaldson

论文ID:1507.03331

分类:Numerical Analysis

分类简称:cs.NA

提交时间:2016-11-28

PDF 下载: 英文版 中文版pdf翻译中