佛罗伦萨迪内钦;克里斯托夫·劳特;纪尧姆·梅尔金德 使用Gappa验证初等函数的浮点实现。 (英语) 兹比尔1367.65250 IEEE传输。计算。 60,第2期,242-253(2011). 评论:未发送评论稿。 引用于9文件 理学硕士: 6504年 计算机算术的数值算法等。 软件:加帕 PDF格式BibTeX公司 XML格式引用 \textit{F.de Dinechin}等人,IEEE Trans。计算。60,编号242-253(2011年;兹bl 1367.65250) 全文: 内政部