摘要
补充材料
可供下载
L.Alberti、G.Comte和B.Mourrain。 2005.网格化隐式代数曲面：光滑情况。 在曲线和曲面的数学方法中。 特罗姆瑟，4岁，11岁--26岁。 谷歌学者 
H.Alt.1923年。 将Erzeugung gegebener ebener Kurven带到Hilfe des Gelenkvierecks。 Zeitschr公司。 安圭。 数学。 机械。 3, 1 (1923), 13--19. 谷歌学者 交叉引用 
A.上诉。 1968.实体着色机器渲染的一些技术。 1968年春季联合计算机会议记录（AFIPS’68）。 ACM，纽约州纽约市，37-45。 谷歌学者 数字图书馆 
D.S.Arnon、G.E.Collins和S.McCallum。 1984.柱面代数分解I：基本算法。 SIAM J.计算。 13，4（1984），865-877。 谷歌学者 数字图书馆 S.Basu、R.Pollack和M.F.Roy。 2006.实代数几何中的算法（数学中的算法和计算）。 Springer-Verlag纽约公司，美国新泽西州塞考克斯。 谷歌学者 D.J.Bates、D.A.Brake、J.D.Hauenstein、A.J.Sommese和C.W.Wampler。 2014年b。 用于计算临界集的连通分量的同伦。 检索自www.nd.edu/&sim； jhauenst/prints/bbhswCritical.pdf。 谷歌学者 D.J.Bates、D.A.Brake、J.D.Hauenstein、A.J.Sommese和C.W.Wampler。 2014年a。 关于计算包含无限多奇点的真实曲面的单元分解。 《国际数学软件会议论文集》（ICMS’14），Hoon Hong和Chee Yap（编辑）。 计算机科学讲义，第8592卷。 施普林格，246-252。 谷歌学者 交叉引用 D.J.Bates、J.D.Hauenstein、C.Peterson和A.J.Sommese。 2009年b。 多元多项式矩阵秩亏集的数值分解。 在近似交换代数中。 纽约施普林格，55-77。 谷歌学者 交叉引用 D.J.Bates、J.D.Hauenstein、C.Peterson和A.J.Sommese。 2009年a。 多项式方程组解集上的点的数值局部维数测试。 SIAM J.数字。 分析。 47, 5 (2009), 3608--3623. 谷歌学者 数字图书馆 D.J.Bates、J.D.Hauenstein和A.J.Sommese。 2011.有效的路径跟踪方法。 数字。 阿尔戈。 58, 4 (2011), 451--459. 谷歌学者 数字图书馆 D.J.Bates、J.D.Hauenstein、A.J.Sommese和C.W.Wampler。 2013年，使用Bertini数值求解多项式系统。 第25卷。 暹罗。 谷歌学者 D.J.Bates、J.D.Hauenstein、A.J.Sommese和C.W.Wampler。 2006.贝尔蒂尼：数值代数几何软件。 检索自bertini.nd.edu。 谷歌学者 E.Berberich、P.Emeliyanenko、A.Kobel和M.Sagraloff。 2013.平面代数曲线的精确符号-数值计算。 西奥。 计算。 科学。 491 (2013), 1--32. 谷歌学者 数字图书馆 E.Berberich、M.Kerber和M.Sagraloff。 2008.代数曲面的精确几何拓扑分析。 第24届计算几何年度研讨会论文集（SCG’08）。 ACM，纽约州纽约市，164-173。 内政部： http://dx.doi.org/10.1145/1377676.1377703 谷歌学者 数字图书馆 E.Berberich、M.Kerber和M.Sagraloff。 2010年。代数曲面分层和三角剖分的有效算法。 计算。 地理。 理论应用。 43,3（2010年4月），257--278。 谷歌学者 数字图书馆 G.M.Besana、S.Di Rocco、J.D.Hauenstein、A.J.Sommese和C.W.Wampler。 2013.几乎光滑实代数曲面的单元分解。 数字。 阿尔戈。 63, 4 (2013), 645--678. 谷歌学者 数字图书馆 O.Bottema和B.Roth。 1979.理论运动学。 《应用数学与力学系列》，第24卷。 阿姆斯特丹North-Holland出版公司。 xiv+558页。 由多佛出版社重印，纽约，1990年。 谷歌学者 D.A.Brake、D.J.Bates、W.Hao、J.D.Hauenstein、A.J.Sommese和C.W.Wampler。 2014.Bertini_real：一维和二维实代数集软件。 《国际数学软件会议论文集》（ICMS’14），Hoon Hong和Chee Yap（编辑）。 计算机科学讲义，第8592卷。 斯普林格，175-182。 谷歌学者 交叉引用 D.A.Brake、J.D.Hauenstein、A.P.Murray、D.H.Myszka和C.W.Wampler。 2016年，四连杆机构alt-burmester综合问题的完整解决方案。 J.机械。 机器人。 8, 4 (2016), 041018. 谷歌学者 交叉引用 L.E.H.伯梅斯特。 1888.勒布赫·德·金马提克。 莱比锡A.费利克斯。 谷歌学者 J.Cheng、S.Lazard、L.Peñaranda、M.Pouget、F.Rouiller和E.Tsigaridas。 2010.关于实代数平面曲线的拓扑。 数学。 计算。 科学。 4, 1 (2010), 113--137. 谷歌学者 交叉引用 L.P.周。 1993.保证曲面网格生成质量。 第九届计算几何年会论文集。 美国医学会，274--280。 谷歌学者 数字图书馆 G.E.柯林斯。 通过柱代数分解消除实闭场的量子化。 莱克。 票据构成。 科学。 第33页（1975年），第134-183页。 谷歌学者 交叉引用 D.N.Daouda、B.Mourrain和O.Ruatta。 2008.关于非约化隐式空间曲线拓扑的计算。 第二十届符号和代数计算国际研讨会论文集。 美国医学会，47-54。 谷歌学者 数字图书馆 T.K.Dey和T.Ray。 2010年，使用Delaunay细化进行多边形表面重网格。 工程计算。 26, 3 (2010), 289--301. 谷歌学者 数字图书馆 D.N.Diatta、B.Mourrain和O.Ruatta。 2012.关于代数隐式曲面的同位素网格划分。 J.符号。 计算。 47, 8 (2012), 903--925. 谷歌学者 数字图书馆 搅拌机基金会。 2014.搅拌机。 检索自www.blender.org。 谷歌学者 A.S.Glassner（编辑）。 1989年，光线追踪导论。 学术出版社，英国伦敦。 谷歌学者 J.D.Hauenstein、A.J.Sommese和C.W.Wampler。 2011.多项式系统的再生同伦。 数学。 公司。 80, 273 (2011), 345--377. 谷歌学者 交叉引用 J.D.Hauenstein和C.W.Wampler。 2013年a。 等奇异集与通缩。 已找到。 计算。 数学。 13, 3 (2013), 371--403. 谷歌学者 数字图书馆 J.D.Hauenstein和C.W.Wampler。 2013年b。 通过见证集对代数变量进行数值交叉。 申请。 数学。 计算。 219，10（2013），5730-5742。 谷歌学者 数字图书馆 J.D.Hauenstein和C.W.Wampler。 2014.统一和扩展数值代数几何中的交集算法。 检索自www.nd.edu/&sim； jdhauens/prints/hwGeneralIntersection.pdf。 谷歌学者 H.Hauser和J.Schicho。 2014.代数曲面。 检索自homepage.univie.ac.at/herwig.hauser/bildergalerie/gallery.html。 谷歌学者 M.L.Husty和A.Karger。 2000.Griffis-Duffy型并联机器人的自运动。 2000年4月24日至28日，加利福尼亚州旧金山，2000年IEEE Int.Conf.Robotics and Automation，CDROM会议录。 电气与电子工程师协会。 谷歌学者 交叉引用 M.Kerber和M.Sagraloff。 2012.代数曲线拓扑计算的最坏情况边界。 J.符号。 计算。 47，3（2012），239-258。 谷歌学者 数字图书馆 Y.Lu、D.J.Bates、A.J.Sommese和C.W.Wampler。 2007.找到复杂曲线的所有真实点。 康斯坦普。 数学。 448 (2007), 183--205. 谷歌学者 交叉引用 A.Paiva、H.Lopes、T.Lewiner和L.H.de Figueiredo。 2006.隐式曲面的稳健自适应网格。 第十九届巴西计算机图形和图像处理研讨会（Sibgrapi'06）。 IEEE，马瑙斯，AM，205--212。 谷歌学者 交叉引用 A.J.Sommese、J.Verschelde和C.W.Wampler。 2001.多项式系统解集的数值分解为不可约分量。 SIAM J.数字。 分析。 38, 6 (2001), 2022--2046. 谷歌学者 数字图书馆 A.J.Sommese、J.Verschelde和C.W.Wampler。 2004年a。 多项式延拓用于求解运动学问题的进展。 ASME J.机械。 设计126，2（2004），262-268。 谷歌学者 交叉引用 A.J.Sommese、J.Verschelde和C.W.Wampler。 2004年b。 多项式系统相交解分量的同伦。 SIAM J.数字。 分析。 42, 4 (2004), 1552--1571. 谷歌学者 数字图书馆 A.J.Sommese和C.W.Wampler。 2005年，工程和科学中出现的多项式系统的数值解。 新加坡世界科学。 谷歌学者 交叉引用 CGAL项目。 2014.CGAL用户和参考手册（4.4版）。 CGAL编辑委员会。 检索自doc.cgal.org/4.4/Manual/packages.html。 谷歌学者 Y.Tong先生。 2013年，运动与路径点生成相结合的四连杆合成。 谷歌学者 C.W.Wampler、A.P.Morgan和A.J.Sommese。 1992.四杆机构九点路径综合问题的完整解决方案。 ASME J.机械。 设计。 114, 1 (1992), 153--159. 谷歌学者 交叉引用 E.W.魏斯坦。 2014年，Barth Sextic。 检索自mathworld.wolfram.com/BarthSextic.html。 谷歌学者
建议
微分系统的同伦延拓符号数字补全 ISSAC’05：2005年符号和代数计算国际研讨会论文集 将两种思想结合起来，构造了一种混合符号-数字-微分消去方法，用于识别和包含微分系统中出现的缺失约束。 首先，我们利用了这样一个事实，即一个系统一旦分化成线性。。。 一种计算代数集分量重数的数字符号算法 让 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吨 }，确定了一个代数集。 这个代数集。。。
