Dagstuhl研讨会成果:2008年当前硬件架构的数值验证
安妮·A·M·库伊特 , 沃尔特·克雷默 , 沃尔夫拉姆·路德 , 彼得·马克斯坦 :
当前硬件架构中的数值验证,国际达格斯图尔研讨会,德国达格斯图城堡,2008年1月6日至11日。 修订论文。 计算机科学课堂讲稿 5492, 施普林格 2009 ,国际标准图书编号 978-3-642-01590-8
标准化/硬件
R.Baker Kearfott先生 , 约翰·普莱斯 , Nathalie Revol公司 :
在Dagstuhl研讨会08021上讨论区间算术标准。 1-6 乌尔里希·库利什 :
完全区间算法及其在计算机上的实现。 7-26
工具
安妮·A·M·库伊特 , 弗兰基·巴克尔贾乌 , 斯特凡·贝库韦 , 米歇尔·科尔曼 , 汤姆·多克斯 , 乔里斯·范德恩 :
特殊功能的续分数:手册和软件。 27-40 弗里斯约夫·布洛奎斯特 , 沃纳·霍夫斯切斯特 , 沃尔特·克雷默 :
一种改进的交错校正算法,具有更高的精度和非常宽的指数范围。 41-67 沃纳·霍夫斯切斯特 , 沃尔特·克雷默 , 马库斯·尼赫 :
C-XSC和密切相关的软件包。 68-102 马库斯·格里默 :
扩展C-XSC的范围:用于并行和其他环境的一些工具和应用程序。 103-116 叶甫盖尼娅·波波娃 :
Mathematica与区间库filib++和C-XSC的连接。 117-132
应用
伊娃·戴龙 :
区间算法在层次实体建模中的一些应用。 133-144 叶卡捷琳娜·奥尔 , 沃尔夫拉姆·路德 :
计算生物力学中的数值验证评估。 145-160 狄江 , 尼尔·F·斯图尔特 :
细分曲面模型上布尔运算的稳健性。 161-174 安德烈亚斯·劳赫 , 约翰娜·米尼西尼 , 埃伯哈德·P·霍弗 :
为控制工程系统的验证计算机辅助设计和验证开发区间算法环境。 175-188 米歇尔·基弗 :
传感器网络中的分布式有界误差参数和状态估计。 189-202 安德烈亚斯·弗洛默 , 瓦莱丽亚·西蒙西尼 :
矩阵有理函数Lanczos逼近的误差界。 203-216
线性系统
斯特夫·格雷亚特 , 让·吕克·拉莫特 , 吴彦宏(Diep Nguyen Hong) :
以舍入模式向零进行无错误转换。 217-229 沃尔特·克雷默 , 迈克尔·齐默 :
C-XSC中使用无误差变换和BLAS的快速(并行)密集线性系统解算器。 230-249 玛丽亚娜·卢德里兹·科尔伯格 , 沃尔特·克雷默 , 迈克尔·齐默 :
关于使用C-XSC解决SIAM 100位挑战题7的说明。 250-261