alpha认证 swMATH ID: 7351 软件作者: 乔纳森·霍恩斯坦(Jonathan D.Hauenstein);弗兰克·索蒂尔 描述: 算法921:alphaCertified:证明多项式系统的解决方案。Smale的α理论使用与牛顿方法收敛性相关的估计来证明牛顿迭代将二次收敛到平方多项式系统的解。程序alphaCertified实现了基于α理论的算法,用精确有理算法和任意精度浮点算法证明多项式系统的解。它还实现了验证给定点是否对应于实际解的算法,以及启发式验证超定系统解的算法。给出了示例来演示这些算法。 主页: http://dl.acm.org/citation.cfm?id=2331136 相关软件: 贝尔蒂尼;麦考利2;PHC包;HOM4PS(主页4PS);同伦延续;数字代数几何;单一;国际实验室;MonodromySolver公司;隔离;NAG4M2系列;第3264册示例;数字认证;岩浆;混合音量;菲律宾比索;间隙;发现者;霍姆4PS-3;寄生虫学 引用于: 68文件 全部的 前5名110位作者引用 22 乔纳森·霍恩斯坦。 11 弗兰克·索蒂尔 8 阿尔涅斯州桑托 5 达加斯·梅塔 4 保罗·布雷丁 4 蒂莫西·达夫 4 尼克拉斯·海因 4 Lee,Kisun先生 4 Margaret H.里根。 4 蒂姆,萨沙 三 丹尼尔·贝茨。 三 程金三 三 窦小杰 三 安东·莱金 三 马修·尼默格(Matthew E.Niemerg)。 三 安德鲁·约翰(Andrew John),Sommese 2 阿伊尔迪兹·阿科格鲁,图莱 2 卡洛斯·贝特兰。 2 泰勒·布莱塞维茨 2 亚伯拉罕·马丁,德尔坎波 2 凯瑟琳·哈里斯。 2 何,杨慧,Evariste 2 亚历山大·希顿 2 皮埃尔·莱雷斯 2 李宗林 2 Nick Vannieuwenhoven 2 志、李红 1 阿黛尔·阿拉迪尼 1 多米尼克·本德尔 1 埃德加·伯纳尔(Edgar A.Bernal)。 1 博姆,詹科 1 桑多尔·波佐基 1 丹尼尔·A·布雷克。 1 制动器,Danielle A。 1 劳拉·布鲁斯滕加 1 彼得·比尔吉塞 1 迈克尔·A·伯尔。 1 陈天然 1 Cucker,费利佩 1 卡梅隆·达尔文 1 沃尔夫拉姆·戴克 1 Do、Ngoc-Tu 1 安德鲁·弗罗马德 1 阿古尔·加利莫娃 1 路易斯·戴维·加西亚·普恩特 1 富尔维奥·盖斯蒙多 1 Zachary A.格里芬。 1 亚历山德罗斯·格罗斯 1 格罗斯,伊丽莎白 1 顾、苗 1 马丁·赫尔默 1 Cvetelina希尔 1 克里斯托弗·希勒(Christopher J.Hillar)。 1 雷米·伊姆巴赫 1 安德斯·内德加德·詹森 1 马雷克·卡卢巴 1 维克托·科罗廷斯基 1 Kaie Kubjas 1 彼得·库奇蒙特。 1 阿维纳什·库尔卡尼 1 维克托·列万多夫斯基 1 李天恩 1 李哲 1 艾伦·C·军·利德尔。 1 本杰明·洛伦茨 1 劳伦特·曼尼维尔 1 Angelos Mantzaflaris公司 1 斯蒂芬·麦基恩 1 Michałek,马特乌斯 1 纪尧姆·莫罗兹 1 伯纳德·穆兰 1 卢克·奥丁 1 乔治·玛丽亚·奥塔维亚尼 1 托马斯·帕伊德拉 1 维克托·雅科夫列维奇·潘 1 克里斯·彼得森 1 格哈德·普菲斯特 1 马克·普吉 1 任、岳 1 Jose Israel罗德里格斯 1 拉霍斯·罗奈 1 奥利维·鲁亚塔 1 詹姆斯·鲁福 1 乔治·肖尔滕 1 弗兰克·奥拉夫·施雷耶 1 本杰明·施罗德 1 马克·西亚比卡 1 埃姆雷·坎·塞尔特 1 沈飞 1 萨曼莎·谢尔曼。 1 萨拉·希林卡姆 1 杰夫·索马斯 1 Sorea,Miruna-ötefana公司 1 伯恩德·斯图尔姆费尔斯 1 孙闯 1 Szendrői、Balázs 1 唐婷婷 1 唐新东 1 扎克·泰特勒 1 辛西娅·文赞特 …还有10位作者 全部的 前5名33篇连载文章中引用 13 符号计算杂志 4 计算数学基础 三 美国数学学会通告 2 应用数学与计算 2 数值算法 2 实验数学 2 高能物理杂志 2 代数杂志及其应用 2 计算机代数中的ACM通信 1 IMA数值分析杂志 1 数学物理杂志 1 ACM数学软件汇刊 1 代数杂志 1 计算与应用数学杂志 1 纯粹与应用代数杂志 1 《Reine und Angewandte Mathematik》杂志 1 马特马提奇 1 理论计算机科学 1 应用数学进展 1 数学应用学报 1 美国数学学会杂志 1 科学计算杂志 1 计算几何 1 应用和计算谐波分析 1 计算数学进展 1 越南数学杂志 1 几何学进展 1 系统科学与复杂性杂志 1 统计力学杂志:理论与实验 1 计算机科学中的数学 1 高能物理进展 1 数学论坛,Pi 1 数学 全部的 前5名19个领域引用 41 数值分析(65-XX) 34 代数几何(14-XX) 19 计算机科学(68至XX) 14 交换代数(13-XX) 三 场论和多项式(12-XX) 三 量子理论(81-XX) 三 运筹学、数学编程(90-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 凸和离散几何(52-XX) 2 统计学(62-XX) 2 相对论和引力理论(83至XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 几个复变量和分析空间(32-XX) 1 特殊功能(33至XX) 1 粒子和系统力学(70-XX) 1 统计力学,物质结构(82-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文