×
伯纳德·穆兰;Jean-Pierre·Técourt;莫妮克·泰劳德

关于三维二次曲面排列的计算。 （英语） Zbl 1063.65018号

计算。地理。 30，第2期，145-164（2005）.
摘要：我们研究了计算（R^3）中一组二次曲面排列的扫描算法。我们定义了扫掠平面中的“梯形”分解，并研究了扫掠过程中这种细分的演变。该算法的一个关键点是代数数的处理。从这个角度来看，我们非常强调计算排列所需的代数工具的使用，包括Sturm序列和多元多项式系统根的有理单变量表示。

引用于16文件

理学硕士：

65D17号 计算机辅助设计（曲线和曲面建模）
65G20个 具有自动结果验证的算法
65H10型 方程组解的数值计算

关键词：

安排;二次方;隐式曲面;代数数;有理单变量表示;经认证的计算;计算机辅助几何设计;扫描算法;细分;Sturm序列;多元多项式系统

软件：

隔离
PDF格式BibTeX公司 XML格式引用
\textit{B.Mourrain}等人，计算。地理。30，第2号，145--164（2005；Zbl 1063.65018）
全文： 内政部

参考文献：

[1] Auzinger，W。；Stetter，H.J.，计算多元多项式方程组全零的消去算法，（Proc.Inter.Conf.on Numerical Math.Proc.Inter.Conf.on Numerical Math.，Int.Series of Numerical Math.，vol.86（1988），Birkhäuser），12-30·Zbl 0658.65047号
[2] 巴苏，S。；波拉克，R。；Roy，M.-F.，《实代数几何中的算法》（2003年），施普林格-弗拉格：柏林施普林格·Zbl 1031.14028号
[3] Busé，L。；埃尔卡迪，M。；Mourrain，B.，《在计算机辅助几何设计中使用投影算子》（代数几何和几何建模主题，当代数学（2003）），321-342·Zbl 1036.14500号
[4] Chazelle，B。；埃德尔斯布伦纳，H。；Guibas，L.J。；Sharir，M.，《真实半代数变种的单指数分层方案及其应用》，（Proc.16th Internat.Colloq.Automata Lang.Program。Proc.16st Internat.Coloq.Automata Lang.Program，讲义计算科学，vol.372（1989），Springer-Verlag），179-193·Zbl 0702.68064号
[5] Chazelle，B。；埃德尔斯布伦纳，H。；Guibas，L.J。；Sharir，M.，实半代数变种的单指数分层方案及其应用，定理。计算。科学。，84, 77-105 (1991) ·兹伯利0757.14031
[6] Collins，G.E.，通过柱面代数分解消除实闭域的量词，（第二届自动机理论和形式语言GI会议论文集，第二届自动理论和形式化语言GI大会论文集，计算机科学讲稿，第33卷（1975年），Springer-Verlag），134-183·Zbl 0318.02051号
[7] Corless，R.M。；詹尼，P.M。；Trager，B.M.，具有多个根的零维多项式系统的重排序Schur因式分解方法，（Küchlin，W.W.，Proc.ISSAC（1997）），133-140·Zbl 0917.65048号
[8] 笛卡尔，R.，Géométrie，《数学参考书》，第90-31卷（1636），哈瓦德大学出版社
[9] 杜邦，L。；拉扎德，D。；Lazard，S。；Petitjean，S.，二次曲面交点的近最优参数化（Proc.19th Annu.ACM Sympos.Compute.Geom.（2003）），246-255·Zbl 1375.68124号
[10] 艾根威利，A。；Kettner，L。；Schömer，E。；Wolpert，N.，《用三次曲线进行完整、准确和有效的计算》（第20届ACM Sympos.Comput.Geom.（2004）），提交出版·Zbl 1375.68126号
[11] 埃尔卡迪，M。；Mourrain，B.，《系统方程解决方案导论》（Notes de cours（2003），尼斯大学），（第310页）
[12] Geismann，N。；Hemmer，M。；Schömer，E.，计算二次曲面排列中的三维单元：准确而实际！，（美国机械工程师学会第17届年会论文集《计算机几何》（2001）），264-273·Zbl 1375.68137号
[13] Gonzalez-Vega，L。；罗利尔，F。；Roy，M.F.，《多项式系统求解的符号食谱》，（《计算机代数的一些塔帕》（1997），施普林格出版社）·Zbl 0966.13020号
[14] 古德里奇，M.T。；Tamassia，R.，《动态树和动态点位置》，SIAM J.Compute。，28, 612-636 (1998) ·Zbl 0915.68162号
[15] Halperin，D.，《安排》（Goodman，J.E.；O'Rourke，J.，《离散和计算几何手册》（1997），CRC出版社：CRC出版社，佛罗里达州博卡拉顿），389-412·Zbl 0907.68191号
[16] 约翰逊·J·R。；Krandick，W.，《使用近似算法的多项式实根隔离》，（Proc.1997 Internat.Symp.Symbolic and Algebraic Comput.（Kihei，HI）（1997），ACM:ACM New York），225-232，（电子版）·Zbl 0917.65046号
[17] 拉扎德，S。；Peñaranda，L.M。；Petitjean，S.，《相交二次曲面：一种高效而精确的实现》（Proc.20th Annu.ACM Sympos.Comput.Geom.2004），提交出版·Zbl 1377.14002号
[18] Macaulay，F.S.，《关于将给定的模系统分解为包含希尔伯特数某些性质的基本系统》，Proc。伦敦数学。学会，66-121（1912）
[19] Mehlhorn，K。；Seel，M.，《Infinimal frames:一种使线看起来像线段的技术》，（《第17届欧洲计算地理研讨会摘要》（2001），弗雷大学：柏林弗雷大学），78-81·Zbl 1093.68131号
[20] Mourrain，B.，用矩阵方法计算孤立多项式根，J.符号计算。（多项式的符号数字代数专刊），26，6，715-738（1998）·Zbl 0934.68136号
[21] B.Mourrain，F.Rouiller，M.-F.Roy，伯恩斯坦的基础和真正的根分离，技术报告5149，INRIA Rocquencourt，2004；B.Mourrain、F.Rouiller、M.-F.Roy，伯恩斯坦的基础和真正的根分离，技术报告5149，INRIA Rocquencourt，2004年·Zbl 1094.14051号
[22] 穆兰，B。；Trébuchet博士，《数值求解的代数方法》，（2001年第三届科学计算符号和数值算法国际研讨会论文集（罗马尼亚蒂米苏拉）（2002年）），42-57
[23] 穆兰，B。；弗拉哈蒂斯，M。；Yakoubsohn，J.C.，关于分离实根和确定计算拓扑度的复杂性，J.complexity，18，2，612-640（2002）·Zbl 1008.65022号
[24] Rouillier，F.，通过有理单变量表示法求解零维多项式系统，附录。藻类。工程公司。，9, 5, 433-461 (1999) ·兹布尔0932.2008
[25] 罗利尔，F。；Zimmermann，P.，多项式实根的有效分离，J.Compute。应用程序。数学。，162, 1, 33-50 (2003) ·Zbl 1040.65041号
[26] Roy，M.F.，《实代数几何中的基本算法：从Sturm定理到实存在论》，（纪念Mario Raimondo的实几何讲座。纪念Mario Raimondo的实几何演讲，数学博览会，第23卷（1996）），1-67·Zbl 0894.14028号
[27] 谢里尔，M。；Agarwal，P.K.，Davenport-Schinzel序列及其几何应用（1995），剑桥大学出版社：剑桥大学出版社，纽约·Zbl 0834.68113号
[28] Shaul，H。；Halperin，D.，《三维排列垂直分解的改进构造》，（《美国计算机学会会刊》第18期，《计算地质学》（2002）），283-292·Zbl 1414.68136号
[29] Trébuchet博士，Versune résolution stable et rapide deséquations algébriques，博士论文，皮埃尔和玛丽·居里大学，2002年；Trébuchet博士，Versune résolution stable et rapide deséquations algébriques，博士论文，皮埃尔和玛丽·居里大学，2002年
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。