Dagstuhl研讨会论文集:2006年实数算法的可靠实现
彼得·赫特林 , 克里斯托夫·霍夫曼 , 沃尔夫拉姆·路德 , Nathalie Revol公司 :
实数算法的可靠实现:理论与实践,08.01.- 13.01.2006. 达格斯图尔研讨会记录 06021, 德国达格斯图尔宫国际展览中心-und Forschungszentrum fuer Informatik(IBFI) 2006 彼得·赫特林 , 克里斯托夫·霍夫曼 , 沃尔夫拉姆·路德 , Nathalie Revol公司 :
06021摘要——实数算法的可靠实现:理论与实践。 乔治·F·科利斯 , R.Baker Kearfott先生 , 内迪亚科·内迪亚科夫 , 约翰·普莱斯 , 斯宾塞·史密斯 :
间隔子程序库任务。 玛格丽塔·科罗维纳 , 尼古拉·沃罗布乔夫(Nicolai N.Vorobjov Jr.)。 :
Pfaffian动力系统有限双模拟大小的上下限。 布兰尼米尔·兰博夫 :
使用SSE-2的区间算法。 库尔特·梅尔霍恩 , 阿诺·艾根威利 , 卢兹·凯特纳 , 沃纳·克兰迪克 , 苏珊·施密特 , 尼古拉·沃尔珀特 :
比特流系数多项式的笛卡尔算法。 多米尼克·米歇尔鲁奇 , Jean-Michel Moreau女士 , 塞布蒂·福福 :
稳健性和随机性。 托马斯·彼得斯 , 爱德华·L·F·摩尔 :
用于拓扑正确科学可视化的浮点几何算法。 西尔万·皮昂 , 埃尔维·布罗尼曼 , 纪尧姆·梅尔金德 :
向C++标准库添加Interval Arithmetic的建议。 尼尔·F·斯图尔特 , 马利卡·齐达尼 :
用于实体建模误差分析中精确定义的超有限插值。 文森特·列斐尔 , 达米安·斯特勒 , 保罗·齐默尔曼 :
IEEE 754r十进制64格式中指数函数的最坏情况。 彼得·赫特林 , 克里斯托夫·霍夫曼 , 沃尔夫拉姆·路德 , Nathalie Revol公司 :
06021摘要集——实数算法的可靠实现:理论与实践。