Alt，René（编辑）;安德烈亚斯·弗洛默（编辑）;Kearfott，R.Baker，贝克（编辑）;沃尔夫拉姆·路德（编辑） 带有结果验证的数值软件。国际达格斯图尔研讨会，达格斯图城堡，德国，2003年1月19日至24日。修订论文。 （英语） Zbl 1046.65001号 计算机科学讲义2991.柏林：施普林格出版社（ISBN 3-540-2126-4/pbk）。x、 315页。(2004). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：沃尔夫·冯·古登堡（Jürgen Wolff von Gudenberg），OOP和区间算术-语言支持和库，1-14[兹比尔1126.68342]沃纳·霍夫舒斯特；沃尔特·克雷默，C-XSC 2.0–用于扩展科学计算的C++库，15-35[Zbl 1126.65328号]Kearfott，R.Baker；马库斯·尼赫尔（Markus Neher）；小石、神道；法比安·里科用于验证计算的库、工具和交互系统四个案例研究，36-63[Zbl 1126.65329号]马库斯·格里默；佩特拉斯，克努特；娜塔莉·雷沃，多精度区间包：比较不同方法，64-90[Zbl 1126.65327号]乔治·柯利斯（George F.Corliss）。；于军，应用于COSY区间和泰勒模型算法的区间测试策略，91-106[Zbl 1126.65326号]米歇尔·基弗；埃里克·沃尔特，有界误差背景下合作系统的非线性参数和状态估计，107-123[Zbl 1126.93339号]埃里克·沃尔特；伊莎贝尔·布雷姆斯（Isabelle Braems）；Luc Jaulin；米歇尔·基弗，保证数值计算作为测试模型可识别性的计算机代数的替代方法，124-131[Zbl 1126.93329号]叶卡捷琳娜·奥尔；安德烈斯·凯斯科梅西；Tändl，Martin；霍尔格·特雷钦斯基，多体系统建模中的区间算法，132-159[Zbl 1126.65311号]比勒，卡加；伊娃·迪隆；沃尔夫拉姆·路德，使用有限精度几何进行可靠的距离和交点计算，160-190[Zbl 1126.65312号]阿勒菲尔德，哥茨；Günter Mayer，关于奇异区间系统，191-197[兹比尔1126.65310]托马斯·比利茨；克里斯蒂安·比肖夫（Christian Bischof）；布鲁诺·朗；克劳斯·舒尔特·阿尔霍夫，化学过程分析中非线性系统的结果验证解，198-205[Zbl 1126.65314号]Daniela Fausten；哈逗留，格哈德，电信交换系统性能的验证数值分析，206-225[Zbl 1126.68325号]斯特凡·博罗瓦茨；海因德尔，格哈德，大地测量计算问题的结果验证，226-242[Zbl 1126.86303号]赫尔曼·施奇尔，COCONUT项目中的全局优化，243-249[Zbl 1126.65318号]巴亚州乌塞纳；阿卜杜勒扎克·亨尼（Abderrezak Henni）；Alt，René，小波理论在早期乳腺癌中的应用，250-258[Zbl 1126.65324号]大卫·莱斯特，使用PVS验证精确算法的反三角函数，259-273[Zbl 1126.68351号]Laurent Granvilliers；弗拉基克·克里诺维奇；米勒，诺伯特，具有结果验证的数值软件新方法，274-305[Zbl 1126.65308号]Sylvie推杆；埃里克·古鲍特（Eric Goubault）；马蒂厄·马特尔，基于静态分析的浮点计算验证，306-313[Zbl 1126.65309号] 引用于2文件 MSC公司： 65-06 与数值分析有关的会议记录、会议、收藏等 68-06 与计算机科学有关的会议记录、会议、收藏等 00B25型 杂项特定利益的会议记录 65岁99岁 数值算法的计算机方面 PDF格式BibTeX公司 XML格式引用 \textit{R.Alt}（ed.）等人，《数值软件与结果验证》。国际达格斯图尔研讨会，达格斯图城堡，德国，2003年1月19-24日。修订论文。柏林：施普林格出版社（2004；Zbl 1046.65001） 全文： 内政部