摘要
补充材料
可供下载
Allgower，E.和Georg，K。 2003 数值延拓方法简介 《应用数学经典丛书》，第45卷，SIAM，宾夕法尼亚州费城。 谷歌学者 
数字图书馆 
Bates，D.、Hauenstein，J.、Sommese，A.和Wampler，C。 2008.自适应多精度路径跟踪。 SIAM J.数字。 分析。 46 , 2, 722--746. 谷歌学者 数字图书馆 Bates，D.、Hauenstein，J.、Sommese，A.和Wampler，C。 2009年a。 路径跟踪的步长控制。 在 经典代数几何与数值代数几何的相互作用 ，内容。 数学。 系列，第496卷，美国数学学会，普罗维登斯，RI，21-31。 谷歌学者 Bates，D.J.、Hauenstein，J.D.、Peterson，C.和Sommese，A.J。 2009年b。 多元多项式矩阵秩亏集的数值分解。 在 近似交换代数 《符号计算的文本和专著》，施普林格，55-77。 谷歌学者 Bates，D.J.、Hauenstein，J.D.和Sommese，A.J。 2011.高效的路径跟踪方法。 数字。 阿尔戈。 58 , 4, 451--459. 谷歌学者 数字图书馆 Bates，D.、Hauenstein，J.、Sommese，A.和Wampler，C。 2012.Bertini：数值代数几何软件。 www.nd.edu/~sommen/bertini。 谷歌学者 Becker，E.、Marinari，M.、Mora，T.和Traverso，C。 1993.形状引理的形状。 在 算法与计算国际研讨会论文集 . 129--133. 谷歌学者 数字图书馆 Beltran，C.和Leykin，A。 2012.认证的数字同伦跟踪。 专家。 数学。 21 , 1, 69--83. 谷歌学者 交叉引用 
Blum，L.、Cucker，F.、Shub，M.和Smale，S。 1998 复杂性与实计算 施普林格。 谷歌学者 数字图书馆 Decker，W.、Greuel，G.-M.、Pfister，G.和Schönemann，H。 2010年，SINGULAR 3-1-1——用于多项式计算的计算机代数系统。 www.singular.uni-kl.de。 谷歌学者 J.-P.Dedieu和M.Shub。 2000.超定方程组的牛顿法。 数学。 计算。 69 , 231, 1099--1115. 谷歌学者 数字图书馆 迪特迈尔，P。 1998年，一般几何的Stewart-Gough平台可以有40个真实姿势。 在 机器人运动学研究进展：分析与控制 ，Kluwer学术出版社，1-10。 谷歌学者 Fousse，L.、Hanrot，G.、Lefèvre，V.、Pélissier，P.和Zimmermann，P。 MPFR:具有正确舍入的多精度二进制浮点库。 ACM事务处理。 数学。 柔和。 33 第13、15条。 谷歌学者 数字图书馆 W.Fulton和R.Pandharipande。 1997.关于稳定映射和量子上同调的注记。 在 圣克鲁斯代数几何1995 《纯数学系列研讨会论文集》，第62卷，美国数学学会，普罗维登斯，RI，45-96。 谷歌学者 García-Puente，L.、Hein，N.、Hillar，C.、del Campo Sanchez，a.M.、Ruffo，J.、Sottile，F.和Teitler，Z。 2010.实际舒伯特演算中的割线猜想。 ArXiv.org/1010.0665。 谷歌学者 Golub，G.和Van Loan，C。 1996 矩阵计算 第三版，约翰·霍普金斯数学科学研究。 约翰·霍普金斯大学出版社，马里兰州巴尔的摩。 谷歌学者 数字图书馆 V.戈夫。 1957.对汽车稳定性、控制和轮胎性能研究讨论论文的贡献。 程序。 自动分配仪表机械。 工程师。 , 392--394. 谷歌学者 Hauenstein，J.和Sottile，F。 2011年，alphaCertified：用于验证多项式方程数值解的软件。 www.math.tamu.edu/~sottile/research/stories/alphaCertified。 谷歌学者 Hauenstein，J.、Hein，N.、del Campo-Sanchez，A.M.和Sottile，F。 2010年，超越夏皮罗猜想和埃雷蒙科·加布里埃洛夫下限。 www.math.tamu.edu/~sottile/research/pages/lower Shapiro/。 谷歌学者 Hauenstein，J.、Sommese，A.和Wampler，C。 2011.多项式系统的再生同伦。 数学。 计算。 80 , 345--377. 谷歌学者 交叉引用 Itenberg，I.、Kharlamov，V.和Shustin，E。 2009.实复曲面del Pezzo曲面的Welschinger不变量的Caporaso-Harris型公式。 注释。 数学。 Helv公司。 84 , 1, 87--126. 谷歌学者 交叉引用 Jeronimo，G.和Perrucci，D。 2010.关于标准单纯形上正多项式的最小值。 J.符号计算。 45 , 4, 434--442. 谷歌学者 数字图书馆 科斯特兰，E。 随机多项式和代数的统计基本定理。 www.developmentserver.com/randompolynomals/rpsfta。 谷歌学者 朗，S。 1983 实际分析 第二版。Addison-Wesley出版公司高级图书计划，马萨诸塞州雷丁。 谷歌学者 Lee，T.-L.、Li，T.-Y和Tsai，C.-H。 HOM4PS-2.0：通过多面体同伦延拓方法求解多项式系统的软件包。 计算。 83 , 109--133. 谷歌学者 数字图书馆 Leykin，A.和Sottile，F。 2009.通过同伦计算的Schubert问题的Galois群。 数学。 计算。 78 , 267, 1749--1765. 谷歌学者 米哈尔金，G。 2005.R2中的枚举热带代数几何。 J.Amer。 数学。 社会学18 , 2, 313--377. 谷歌学者 交叉引用 A.摩根。 2009 利用工程和科学问题的延拓求解多项式系统 应用数学经典，57，宾夕法尼亚州费城SIAM。 谷歌学者 数字图书馆 Morgan，A.、Sommese，A.和Wampler，C。 1992.四杆机构九点路径综合问题的完整解决方案。 ASME J.机械。 设计。 114 , 1, 153--159. 谷歌学者 交叉引用 Mukhin，E.、Tarasov，V.和Varchenko，A。 2009.实代数几何中的B.和M.夏皮罗猜想和Bethe ansatz。 安。数学。 (2) 170 , 2, 863--881. 谷歌学者 交叉引用 Shub，M.和Smale，S。 1993年，B'ezout定理的复杂性。 I.几何方面。 J.Amer。 数学。 社会地位6 , 2, 459--501. 谷歌学者 斯梅尔，S。 1986年，牛顿法根据某一点的数据进行估算。 在 学科融合：纯数学、应用数学和计算数学的新方向 施普林格，185-196。 谷歌学者 Sommese，A.和Wampler II，C。 2005 工程与科学中多项式系统的数值解 .世界科学出版有限公司，新泽西州哈肯萨克。 谷歌学者 Sommese，A.、Verschelde，J.和Wampler，C。 2001.使用组件上点的投影进行数值不可约分解。 在 符号计算：求解代数、几何和工程中的方程 ，内容。 数学系列，第286卷，美国数学学会，普罗维登斯，RI，37-51。 谷歌学者 Sottile，F。 2010年，舒伯特微积分的现实前沿。 牛市。 阿默尔。 数学。 社会（N.S.）47 , 1, 31--71. 谷歌学者 交叉引用 D.斯图尔特。 1966.6自由度平台。 程序。 仪器机械。 发动机。 180 ，第371页至第386页。 谷歌学者 交叉引用 J.Verschelde。 1999年a。 算法795:PHCpack：通过同伦延拓的多项式系统通用求解器。 ACM事务处理。 数学。 柔和。 25 , 2, 251--276. www.math.uic.edu/~jan。 谷歌学者 数字图书馆 J.Verschelde。 1999年b。 Stewart-Gough平台40个实际位置的多项式公式和解。 www.math.uic.edu/~jan/Demo/stewgou40.html。 谷歌学者 Welschinger，J.-Y。 实有理辛4-流形的不变量和实枚举几何中的下限。 C.R.数学。 阿卡德。 科学。 巴黎336 , 4, 341--344. 谷歌学者 交叉引用
建议
一种计算代数集分量重数的数字符号算法 让 F类 1 ，F 2 ,..., F类 t吨 是变量中的多元多项式（具有复系数） z（z） 1 ，z 2 ,..., Z轴 n个 .这些多项式的公共零轨迹， V（F） 1 ，F 2 ,..., F类 t吨 ) = { 第页 ∈C n个 | F类 我 （p） 1≤时=0 我 ≤ t吨 }，确定一个代数集。 这个代数集。。。
