叶卡捷琳娜·奥尔;安德烈斯·凯斯科梅西;马丁·坦德;霍尔格·特雷钦斯基 多体系统建模中的区间算法。 （英语） Zbl 1126.65311号 Alt，René（编辑）等人，具有结果验证的数值软件。国际达格斯图尔研讨会，达格斯图城堡，德国，2003年1月19日至24日。修订论文。柏林：施普林格出版社（ISBN 3-540-2126-4/pbk）。计算机科学课堂讲稿2991132-159（2004）。 摘要：我们将展示各种区间算法如何在多体建模程序MOBILE中使用。本文使读者熟悉该开源软件的关键特性，描述了区间算法如何帮助实现新的传输元素，并报告了动力学的区间建模，这是多体仿真的固有部分。在后一种情况下，使用区间初值问题求解器（基于VNODE）增强了MOBILE的区间扩展。此应用程序的功能通过一些示例显示。我们深入了解了使用区间算术概念增强现有建模软件的技术。关于整个系列，请参见[Zbl 1046.65001号]. 引用于三文件 MSC公司： 65G30型 区间和有限算术 65G20个 具有自动结果验证的算法 70E55型 多体系统动力学 70-08年 粒子力学和系统力学问题的计算方法 软件：个人资料/偏差;纽尤尔;塔迪夫;移动的 PDF格式BibTeX公司 XML格式引用 \textit｛E.Auer｝等人，Lect。注释计算。科学。2991132--159（2004年；Zbl 1126.65311） 全文： 内政部