×
E.福图纳。;詹尼，P。;Parenti，P。;特拉弗斯，C。

计算可定向实代数曲面拓扑的算法。 （英语） Zbl 1049.14046号

J.塞姆。计算。 36，第3-4号，343-364（2003）.
摘要：我们从（S）的有理系数多项式方程出发，提出了确定实射影空间中非奇异可定向实代数射影曲面（S）拓扑类型的构造性算法。当（mathbb R\mathbb P^3）中存在不与曲面相交的线时，我们将解决这个问题，这是一个可判定的问题；对于四次曲面，当这个条件总是满足时，我们给出了一个求与曲面不相交的线的过程。我们的算法使用莫尔斯理论作为基本工具，在有限的步骤中计算曲面的各种连接组件的同源性。整个过程已在Axiom中实现。

引用于9文件

MSC公司：

2010年第14季度 代数曲面的计算方面
14第25页 实代数簇的拓扑
68瓦30 符号计算和代数计算

关键词：

同源性计算;实代数曲面
PDF格式BibTeX公司 XML格式引用
\textit{E.Fortuna}等人，J.Symb。计算。36，编号3--4，343--364（2003；Zbl 1049.14046）
全文： 内政部

参考文献：

[1] Arnborg，S。；冯华，正则曲线的代数分解，符号计算。，5, 1-2, 131-140 (1988) ·Zbl 0666.14012号
[2] Arnon，D.S.，《逻辑和代数的几何推理》，《人工智能》，第37期，第37-60页（1988年）·Zbl 0705.68086号
[3] Arnon，D.S。；McCallum，S.，实代数曲线拓扑类型的多项式时间算法，J.符号计算。，5, 1-2, 213-236 (1988) ·Zbl 0664.14017号
[4] 奥布里，P。；拉扎德，D。；Moreno Maza，M.，《论三角集理论》，符号计算杂志。，28, 1-2, 105-124 (1999) ·Zbl 0943.12003号
[5] 奥布里，P。；罗利尔，F。；Safey El Din，M.，《正维系统的实解》，J.符号计算。，34, 6, 543-560 (2002) ·Zbl 1046.14031号
[6] Auzinger，W。；Stetter，H.J.，计算多元多项式方程组所有零点的消除算法，（数值数学（新加坡，1988）（1988），Birkhä用户：Birkhá用户巴塞尔），11-30·Zbl 0658.65047号
[7] 巴苏，S。；波拉克，R。；Roy，M.-F.，《计算各种半代数集的路线图》，J.Amer。数学。《社会学杂志》，13，1，55-82（2000）·Zbl 0933.14037号
[8] 巴苏，S。；波拉克，R。；Roy，M.-F.，实代数几何中的算法。实代数几何中的算法，算法和计算。《数学》，第10卷（2003），斯普林格·弗拉格·Zbl 1031.14028号
[9] Bouziane，D。；El Kahoui，M.，平面射影曲线对偶的计算，J.符号计算。，34, 105-117 (2002) ·Zbl 1013.14016号
[10] Canny，J.，《机器人运动规划的复杂性》（1988），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥
[11] 塞利尼，P。；詹尼，P。；Traverso，C.，半代数集形状的算法。新方法，（应用代数、代数算法和纠错码（新奥尔良，洛杉矶，1991）（1991），施普林格：施普林格-柏林），1-18·Zbl 0779.14022号
[12] 科恩，A.M。；Cuypers，H。；Sterk，H.，《计算机代数的一些塔帕》（1999），《施普林格-弗拉格：柏林施普林格》·Zbl 0924.13021号
[13] Collins，G.，通过柱面代数分解消除实闭域的量词，（自动机理论和形式语言（第二次GI Conf.，Kaiserslautern，1975）。《自动机理论与形式语言》（第二届GI大会，凯泽斯劳滕，1975），《计算机科学讲义》，第33卷（1975），施普林格：施普林格-柏林），134-183·Zbl 0318.02051号
[14] Cucker，F。；González-Vega，L。；Rossello，F.，关于实代数平面曲线的算法，（代数几何中的有效方法（Castiglioncello，1990）（1991），Birkhäuser:Birkháuser Boston，MA），63-87·Zbl 0737.14017号
[15] Degtyarev，A。；伊滕伯格，I。；Kharlamov，V.，《Real Enriques Surfaces》。Real Enriques Surfaces，数学课堂讲稿，第1746卷（2000），Springer-Verlag:Springer-Verlag Berlin·兹伯利0963.14033
[16] 福图纳，E。；詹尼，P。；Parenti，P.，实代数曲线的一些构造，Pubbl。浸渍。比萨马特大学，1.285.1441（2003）·Zbl 1120.14046号
[17] 詹尼，P。；Mora，T.，使用Groebner基对多项式方程组进行代数求解，（应用代数、代数算法和纠错码）（Menorca，1987）。应用代数、代数算法和纠错码（Menorca，1987），计算机科学讲义，第356卷（1989），施普林格：施普林格-柏林），247-257·Zbl 0692.13012号
[18] 詹尼，P。；Trager，B。；Zacharias，G.，Gröbner基与多项式理想的初等分解，符号计算。，6, 149-167 (1988) ·Zbl 0667.13008号
[19] 詹尼，P。；Traverso，C.，《真实曲线和曲面的形状确定》，Ann.Univ.Ferrara Sez。VII（N.S.），29，87-109（1983年）·Zbl 0557.14011号
[20] Gonzalez-Vega，L.，Lombardi，H.，Recio，T.，Roy，M.-F.，1989年。Sturm-Habicht序列。摘自：ISSAC’89会议记录。第136-145页；Gonzalez Vega，L.、Lombardi，H.、Recio，T.、Roy，M.-F，1989年。Sturm-Habicht序列。摘自：ISSAC’89会议记录。第136-145页
[21] Gonzalez-Vega，L。；雷西奥，T。；伦巴第，H。；Roy，M.-F.，Sturm-Habicht序列，一元多项式的行列式和实根，（量词消除和圆柱代数分解（1998），Springer-Verlag:Springer-Verlag纽约），300-316·Zbl 0900.12002号
[22] Gonzalez-Vega，L。；罗利尔，F。；罗伊，M.-F。；Trujillo，G.，《真实解决方案的符号食谱》，（《计算机代数的一些塔帕》（1999），施普林格出版社：柏林施普林格），121-167·Zbl 0994.12003号
[23] Gournay，L。；Risler，J.-J.，《在半代数集合中构建路线图》，应用。代数工程通信计算。，4, 239-252 (1993) ·Zbl 0807.14047号
[24] Habicht，W.，Eine Verallgemeinerung des Sturmschen Wurzelzählverfahrens，评论。数学。帮助。，21, 99-116 (1948) ·Zbl 0029.24402号
[25] 海因茨，J。；罗伊，M.-F。；Solernó，P.，半代数集中的单指数路径查找。二、。一般情况，（代数几何及其应用（印第安纳州西拉斐特，1990）（1994），施普林格：施普林格纽约），449-465·Zbl 0921.14039号
[26] Hirsch，M.W.，《微分拓扑》。微分拓扑，数学研究生教材，第33卷（1976），Springer-Verlag:Springer-Verlag纽约·Zbl 0356.57001号
[27] Massey，W.S.，《代数拓扑：导论》（1977年），Springer-Verlag:Springer-Verlag New York，1967年版再版，数学研究生教材，第56卷·Zbl 0361.55002号
[28] Massey，W.S.，代数拓扑基础课程（1991），Springer-Verlag:Springer-Verlag纽约·Zbl 0725.55001号
[29] Milnor，J.，莫尔斯理论（1963），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿·Zbl 0108.10401号
[30] Milnor，J.，《复杂超曲面的奇点》。复杂超曲面的奇点，《数学研究年鉴》，第61卷（1968年），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿·兹比尔0184.48405
[31] Roy，M.-F.，实曲线拓扑的计算，Astérisque，192，17-33（1990），Algorithmique，topologie et géométrie algébriques（Seville，1987和Toulouse，1988）·Zbl 0840.14036号
[32] Roy，M.-F.，《实代数几何中的基本算法及其复杂性：从Sturm定理到实存在理论》（《实几何讲座》，马德里，1994年）。《真实几何讲座》（马德里，1994），de Gruyter实验数学。，第23卷（1996年），《格鲁伊特：柏林格鲁伊塔》，1-67·Zbl 0894.14028号
[33] Viro，O.Y.，过去六年来实代数变种拓扑的进展，俄罗斯数学。调查，41，55-82（1986）·Zbl 0619.14015号
[34] 沃尔切克，E.，1997年。关于计算平面代数曲线的对偶。摘自：1997年ISSAC会议记录。第356-358页；Volcheck，E.，1997年。关于计算平面代数曲线的对偶。摘自：1997年ISSAC会议记录。第356-358页·Zbl 0920.68062号
[35] Wilson，G.，Hilbert的第十六个问题，拓扑，17，1，53-73（1978）·Zbl 0394.57001号
[36] Winkler，F.，代数计算的进展和问题，（《普通代数的贡献》，第12卷（维也纳，1999年）（2000年），Heyn:Heyn Klagenfurt），51-70·Zbl 0959.68145号
[37] 杨，L.，确定参数多项式实根数的最新进展，J.符号计算。，28, 225-243 (1999) ·兹比尔0957.65041
[38] Yang，L。；侯，X。；曾，Z.，一个完整的多项式判别系统，科学。中国Ser。E 39、6、628-646（1996）·Zbl 0866.68104号
[39] Yang，L。；张杰。；Hou，X.，《非线性方程系统与自动定理证明》（1996），《技术与教育》。上海科学出版社
[40] Zeuthen，H.，《数学课程平面的不同形式》。安，7410-432（1874）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。