MPFI公司 swMATH ID: 597 软件作者: Nathalie Revol;法布里斯·鲁利耶 描述: 任意精度区间算法和MPFI库的动机。本文证明了为什么需要任意精度的区间算法。为了提供准确的结果,区间计算需要较小的输入区间;这就解释了为什么在区间算法中经常使用平分。MPFI库的建立就是为了满足这一需求。实际上,没有任何现有的库符合所需的规范。简要介绍了该库的主要特点,并就一个具体问题与固定精度区间算法进行了比较。它表明,由于多重精度而产生的开销是完全可以接受的。最后,给出了基于MPFI的一些应用:机器人技术、多项式实根的分离(通过符号计算和数值计算相结合的算法)以及任意精度的实根逼近。 主页: http://perso.ens-lyon.fr/natalie.revol/software.html 编程语言: C类 关键词: 多精度浮点可靠算法库 相关软件: MPFR公司;C-XSC 2.0版;隔离;gmp公司;阿伯;国际实验室;mctoolbox软件;算法524;SageMath公司;个人资料/偏差;细屑++;C-XSC(C-XSC);开普勒98;并入PT_90;PNM公司;intpakX公司;Boost间隔算术;国际RRAM;XBLAS公司;SLEEF公司 引用于: 47文件 全部的 前5名93位作者引用 5 Revol,纳塔莉 5 法布里斯·鲁利耶 三 艾丽西亚·科德罗 三 纪尧姆·梅尔金德 三 大卫·约翰·普拉特 三 托雷格罗萨·桑切斯,胡安·拉蒙 2 亚西内·布齐迪 2 费尔南多·马里奥·德·奥利维拉·菲略 2 乔迪·路易斯·菲格拉斯 2 斯特凡诺·加拉托洛 2 哈罗,阿勒克斯 2 卢克·杰林 2 Jeannerod,克劳德·皮埃尔 2 沃尔特·克雷默 2 亚历杭德罗·卢克 2 Jean-Michel穆勒 2 伊莎亚·尼索利 2 蒂莫西·斯特鲁吉安(Timothy S.Trudgian)。 1 卡洛斯·安德烈乌 1 瓦勒巴洪 1 格列布·贝利亚科夫 1 路易斯·贝内特 1 西尔维·博尔多 1 佛罗伦萨布莱哈德 1 埃尔维·布伦尼曼 1 尼古拉斯·布鲁尼 1 雅各布·凯布尔 1 法比西奥·卡鲁扎·马查多 1 诺埃利亚·坎比尔 1 吉尔·查伯特 1 大卫·丹尼 1 佛罗伦萨迪内钦 1 彼得·德·梅沙尔克 1 玛丽亚·多斯特尔 1 阿巴斯·埃达拉特 1 阿明·法朱迪安 1 卢卡·费兰蒂 1 哈维尔·戈梅斯·塞拉诺 1 斯特夫·格雷亚特 1 Laurent Granvilliers 1 马库斯·格里默 1 顾、农 1 克里斯托巴尔·古兹曼 1 托马斯·卡利斯特·黑尔斯 1 何塞·路易斯·休索 1 雷米·伊姆巴赫 1 法比安·杰泽奎尔 1 米奥拉乔尔德什 1 弗拉基克·雅科夫列维奇(Vladik Yakovlevich Kreinovich) 1 维克托·五·库利亚明。 1 Jean-Bernard Lasserre 1 莫妮克·洛朗 1 丹尼尔·拉扎德 1 雅希亚·利巴 1 文森特·勒费弗尔 1 李毅然 1 阿西亚·马布比 1 马蒂厄·马特尔 1 尤拉利亚·马丁内斯 1 尤里·弗拉基米洛维奇·马蒂亚塞维奇 1 肖恩·麦克劳林 1 Jean-Pierre梅雷特 1 克劳德·米歇尔 1 毛里齐奥·蒙吉 1 拉蒙·摩尔(Ramon E.Moore)。 1 纪尧姆·莫罗兹 1 托比亚斯·尼普科 1 牛、小龙 1 史蒂文·奥布阿 1 克努特·佩特拉斯 1 西尔万·皮昂 1 尼古拉·波波维奇 1 马克·普吉 1 Damien Pous 1 阿尔班Quadrat 1 西蒙·罗霍 1 菲利普·罗斯塔尔斯基 1 米歇尔·鲁赫 1 齐格弗里德·迈克尔(Siegfried Michael),臀部 1 大卫·鲁苏 1 曼努埃勒·桑托普雷特 1 Yannick Saouter,扬尼克 1 克里斯托夫·斯潘德尔 1 亨德里克·苏斯 1 谢尔盖·托雷斯 1 弗兰克·瓦勒滕 1 乔里斯·范德霍温 1 瓦西列娃(Maria P.Vassileva)。 1 王世岳 1 向勇 1 谢尔盖·日林。 1 朱玉祥 1 罗兰·祖姆凯勒 全部的 前5名29篇连载文章中引用 三 计算数学 三 可靠的计算 2 非线性 2 理论计算机科学 2 离散和计算几何 2 计算数学基础 2 计算机科学中的数学 1 数学分析与应用杂志 1 比特币 1 计算 1 计算与应用数学杂志 1 数论杂志 1 模拟中的数学和计算机 1 编程和计算机软件 1 SIAM数值分析杂志 1 系统和控制信件 1 符号计算杂志 1 多维系统及信号处理 1 实验数学 1 摘要与应用分析 1 自然与社会中的离散动力学 1 非线性科学与数值模拟中的通信 1 应用数学杂志 1 SIAM应用动力系统杂志 1 数字学报 1 SIAM应用数学研究 1 阿尔巴尼亚数学杂志 1 S(\vec{\text{e}}\)文学硕士期刊 1 欧洲数学杂志 全部的 前5名16个领域引用 29 数值分析(65-XX) 10 计算机科学(68-XX) 6 动力系统和遍历理论(37至XX) 5 数论(11-XX) 4 代数几何(14-XX) 4 运筹学、数学规划(90-XX) 三 交换代数(13-XX) 三 凸和离散几何(52-XX) 三 系统论;控制(93至XX) 2 偏微分方程(35-XX) 2 粒子和系统力学(70-XX) 1 几个复变量和分析空间(32-XX) 1 差分和函数方程(39至XX) 1 近似值和展开值(41至XX) 1 生物学和其他自然科学(92-XX) 1 信息和通信理论,电路(94-XX) 按年份列出的引文