伊夫·尼韦尔特 标量融合的乘法加法指令产生的浮点矩阵算术可证明精确到倒数第二位。 (英语) 兹比尔1069.68505 ACM事务处理。数学。柔和。 29,第1期,第27-48页(2003年). 引用于9文件 MSC公司: 2007年7月68日 计算机体系结构的数学问题 68瓦99 计算机科学中的算法 65岁99岁 数值算法的计算机方面 68M99型 计算机系统组织 软件:数学软件;mctoolbox软件;C-XSC(C-XSC);ACRITH-XSC公司 PDF格式BibTeX公司 XML格式引用 \textit{Y.Nievergelt},ACM事务。数学。柔和。29,第1号,第27-48条(2003年;Zbl 1069.68505) 全文: 内政部