08021摘要–当前硬件架构中的数字验证

@会议记录{cuyt_et_al:DagSemProc.08021.2，author={Cuyt、Annie和Kr“{a} 梅尔沃尔特和路德，沃尔夫拉姆和马克斯坦，彼得}，title={{08021摘要–当前硬件架构中的数值验证}}，booktitle={当前硬件架构中的数值验证}，series={Dagstuhl研讨会论文集（DagSemProc）}，ISSN={1862-4405}，年份={2008}，体积={8021}，editor={Annie Cuyt和Walter Kr“{a} 梅尔沃尔夫拉姆·路德和彼得·马克斯坦，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagSemProc.08021.2},URN={URN:nbn:de:0030-drops-14334}，doi={10.4230/DagSemProc.08021.2}，annote={关键词：计算机算法、任意精度、浮点算法标准化、语言支持、可靠库、高精度特殊函数、可靠算法、不同平台上的可靠浮点和区间计算}}