(作者:M.Lerch、G.Tischler、,J.Wolff von Gudenberg、W.Hofschuster、W.Krämer)
filib++是间隔库filib的扩展。后者最重要的目标是快速计算一组完备初等函数的区间型的保证界。filib++从两个方面扩展了这个库。首先,它添加了第二个模式,即“扩展”模式,它使用特殊值来表示无穷大和从IEEE浮点标准754到间隔。在这种模式下,计算所谓的包含集以包含函数范围的拓扑闭包在一个时间间隔内定义。其次,最先进的设计使用模板和特性类,以获得高效、易于扩展和可移植的库根据C++标准。
下载:
文件:
- 勒奇,M。;蒂施勒,G。;Wolff von Gudenberg,J。;霍夫丘斯特,W;Krämer,W.:
filib++,支持包含计算的快速间隔库。
ACM TOMS,第32卷,编号2第299-324页,2006年
- 勒奇,M。;蒂施勒,G。;沃尔夫·冯·古登堡,J。;霍夫丘斯特,W;克雷默,W.:
Interval Library filib++2.0-设计、功能和示例程序
预印本2001/4,伍珀塔尔大学,2001(后记(826 KB),PDF(348 KB))
filib++的其他软件:
自动解析函数泰勒系数估计的计算(ACETAF)(作者:M.Neher,I.Eble;卡尔斯鲁厄大学)