×

阿尔法认证

swMATH标识: 7351
软件作者: 乔纳森豪恩斯坦;弗兰克·索蒂尔
说明: 算法921:alphaCertified:证明多项式系统的解。Smale的α-理论使用与牛顿方法的收敛性有关的估计来证明牛顿迭代将二次收敛到一个平方多项式系统的解。alphaCertified程序实现了基于α理论的算法,用精确有理算法和任意精度浮点算法证明多项式系统的解。它还实现了验证给定点是否与实际解相对应的算法,以及对超定系统的启发式验证算法。通过实例说明了算法的有效性。
主页: http://dl.acm.org/citation.cfm?id=2331136
相关软件: 贝尔蒂尼;PHC包装;麦考拉2;HOM4PS公司;数字代数几何;单数;隔离;NAG4M2;单头水母;同伦连续;国际实验室;PHoM公司;混合体积;纽顿利布;马尔特罗特;弦真空;岩浆;可可;差距;书3264示例
参考文献: 49种出版物
全部的 前5名

80位作者引用

18 霍恩斯坦,乔纳森D。
10 索蒂,弗兰克
4 海因,尼可拉斯
4 马哈达,达加斯
4 桑托涅斯
贝茨,丹尼尔J。
程金三
窦小杰
莱金,安东
尼默格,马修E。
索马里人,安德鲁·约翰
提姆,萨沙
2 Brysiewicz,泰勒
2 德尔坎波,亚伯拉罕·马丁
2 达夫,提摩太
2 何,杨辉回避
2 李,基松
2 李宗林
1 阿拉迪尼,阿德尔
1 阿伊尔迪兹·阿科格鲁,图莱
1 贝特兰,卡洛斯
1 波兹基,桑多尔
1 刹车,丹尼尔A。
1 刹车,丹妮尔A。
1 布雷丁,保罗
1 布鲁斯滕加·蒙库西,劳拉
1 伯尔,迈克尔A。
1 陈天然
1 德克,沃尔夫拉姆
1 是的,恩哥克·T。
1 弗罗麦德,安德鲁
1 加西亚·普恩特,路易斯·大卫
1 格里芬,扎卡里A。
1 恶心,伊丽莎白
1 希顿,亚历山大
1 希尔,Cvetelina
1 希拉,克里斯托弗J。
1 伊巴奇,雷米
1 詹森,安德斯·内德加德
1 库奇曼,彼得A。
1 阿维纳什库尔卡尼
1 莱雷斯,皮埃尔
1 维克托,莱万多夫斯基
1 李天一
1 李哲
1 利德尔,艾伦·C·琼。
1 马尼维尔,劳伦特
1 莫罗兹,纪尧姆
1 奥丁,卢克
1 奥塔维亚尼,乔治·玛丽亚
1 潘,维克多·雅科夫列维奇
1 彼得森,克里斯
1 费斯特,格哈德
1 波吉,马克
1 里根,玛格丽特H。
1 罗德里格斯,Jose Israel
1 罗奈,拉霍斯
1 Ruatta,奥利弗
1 鲁福,詹姆斯
1 Schreyer,弗兰克·奥拉夫
1 Sciabica,马克
1 塞尔茨,埃姆雷可以
1 沈飞
1 谢尔曼,萨曼莎N。
1 Shirinkam,莎拉
1 索玛斯,杰夫
1 斯特恩费尔斯,伯恩德
1 孙庄
1 巴尔萨斯州,Szendrői
1 泰特勒,扎克
1 文森特,辛西亚
1 沃普勒,查尔斯W。二世
1 万宝城
1 韦恩斯坦,马德琳
1 文俊义
1 吴文元
1 夏碧灿
1 啊,托马斯
1 张淑红
1 智,李红

按年份引用出版物