×
藤崎隆彦;伊瓦内、希德诺;佐藤、优介

关于多元厄米特二次型。 （英语） Zbl 07095829号

数学。计算。科学。 13，编号1-2，79-93（2019）.
摘要：基于V.Weispfening提出并由我们进一步改进的综合Gröbner系统的计算，多元Hermitian二次型在实量词消除算法中起着重要作用。我们的算法需要计算参数多项式环中的某种类型的饱和理想。本文更详细地研究了多元Hermitian二次型，并给出了在参数多项式环中特别重要的几个事实。我们的结果使我们有了一种计算饱和理想的有效方法，这给我们的实际量词消除软件带来了巨大的改进。

引用于2文件

MSC公司：

12D99型 真实字段和复杂字段

关键词：

量词消去法;实闭场;综合Gröbner系统

软件：

红线批注;QEPCAD公司;前列腺素B;CGSQE公司
PDF格式BibTeX公司 XML格式引用
\textit{R.Fukasaku}等人，数学。计算。科学。13，编号1--2，79-93（2019；Zbl 07095829）
全文： DOI程序

参考文献：

[1] Arai，N.H.，Matsuzaki，T.，Iwane，H.，Anai，H.：机器数学。在：符号与代数计算国际研讨会论文集，第1-8页，美国计算机学会出版社（2014）·Zbl 1325.68212号
[2] Becker，E.，Wörmann，T.：关于二次型的迹公式。摘自：《实代数几何和二次型最新进展学报》，《当代数学》，第155卷，第271-291页。美国数学学会（1994）·Zbl 0835.11016号
[3] Brown，C.等人：QEPCAD。https://urldefense.proofpoint.com/v2/url？u=https-3A__www.usna.edu_CS_qepcadweb_B_QEPCAD.html&d=DwICAg&c=vh6FgFnduejNhPPD0fl_yRaSfZy8CWbWnIf4XJhSqx8&r=UpNksRRkQEKvUbblp9QRYTuemGLwQgpW1U7iMCFPZ8k&m=mWR4kwzCQJx99sfByc_Wd_NtOKrvA94px0mf4a_qj_8&s=fs72Aj2MHHKrUbt5MXeOF0B3iyfTQk LWYjPboUB-RSA&e=。2017年10月8日访问
[4] Fukasaku，R.：2016版CGSQE包。https://urldefense.proofpoint.com/v2/url？u=http-3A__www.rs.tus.ac.jp_fukasaku_software_CGSQE-2D20160509_&d=DwICAg&c=vh6FgFnduejNhPPD0fl_yRaSfZy8CWbWnIf4XJhSqx8&r=UpNksRRkQEKvUbblp9QRYTuemGLwQgpW1U7iMCFPZ8k&m=mWR4kwzCQJx99sfByc_Wd_NtOKrvA94px0mf4a_qj_8&s=ExGbD7jMK0fzhZjaF_9DQ2vYfqv6alRkPjcYhRzkADk&e=。2017年10月8日访问·Zbl 1365.68488号
[5] Fukasaku，R.：2017版CGSQE包。https://urldefense.proofpoint.com/v2/url？u=http-3A__www.rs.tus.ac.jp_fukasaku_software_CGSQE-2D2017_&d=DwICAg&c=vh6FgFnduejNhPPD0fl_yRaSfZy8CWbWnIf4XJhSqx8&r=UpNksRRkQEKvUbblp9QRYTuemGLwQgpW1U7iMCFPZ8k&m=mWR4kwzCQJx99sfByc_Wd_NtOKrvA94px0mf4a_qj_8&s=E-8Gmc7etlgpy1LN6yFA1q KUNLLB65V2URmVednn2Rg&E=。2017年10月8日访问
[6] Collins，G.E.：通过柱面代数分解消除实闭场的量词。收录于：《自动机理论与形式语言学报》，LNCS第33卷，第134-183页。柏林施普林格（1975）·Zbl 0318.02051号
[7] Fukasaku，R.：基于综合Gröbner系统的QE软件。收录于：数学软件-ICMS 2014-4国际大会论文集，LNCS第8592卷，第512-517页。柏林施普林格出版社（2014）·Zbl 1434.68704号
[8] Fukasaku，R.，Iwane，H.，Sato，Y:通过计算综合Gröbner系统消除实量词。摘自：《符号和代数计算国际研讨会论文集》，第173-180页。ACM出版社（2015）·Zbl 1345.68282号
[9] Fukasaku，R.，Iwane，H.，Sato，Y:关于CGS实际量化宽松的实施。摘自：数学软件-ICMS 2016-5年国际会议论文集，LNCS第9725卷，第165-172页。柏林施普林格出版社（2016）·Zbl 1434.68705号
[10] Iwane，H.：SyNRAC包。https://urldefense.proofpoint.com/v2/url？u=http-3A_www.fujitsu.com_jp_group_labs_en_resources_tech_freeware_synrac_&d=DwICAg&c=vh6FgFnduejNhPPD0fl_yRaSfZy8CWbWnIf4XJhSqx8&r=UpNksRRkQEKvUbblp9QRYTuemGLwQgpW1U7iMCFPZ8k&m=mWR4kwzCQJx99sfByc_Wd_NtOKrvA94px0mf4a_qj_8&s=ohEYZdyMb9fiZ7ajsP 8WnI6QvqhisstedbZQtD1hGkM&e=。2017年10月8日访问
[11] Kapur，D.，Sun，Y.，Wang，D.：计算综合Gröbner系统的新算法。载：《符号与代数计算国际研讨会论文集》，第29-36页。ACM出版社（2010）·Zbl 1321.68533号
[12] Kurata，Y.：通过使用Gröbner基的稳定性和有效实现的基本操作来改进铃木佐藤的CGS算法。Commun公司。日本。Soc.符号。阿尔盖布。计算。1, 39-66 (2011)
[13] Maza，M.-M等人：RegularChains包。https://urldefense.proofpoint.com/v2/url？u=http-3A__www.regularchains.org_&d=DwICAg&c=vh6FgFnduejNhPPD0fl_yRaSfZy8CWbWnIf4XJhSqx8&r=UpNksRRkQEKvUbblp9QRYTuemGLwQgpW1U7iMCFPZ8k&m=mWR4kwzCQJx99sfByc_Wd_NtOKrvA94px0mf4a_qj_8&s=NJ2uBtKt_hCxEF7lQWZVvTVQSMTVMTVWIHFjDD-Fsbid A&e=。2017年10月8日访问
[14] Nabeshima，K.：计算综合Gröbner系统的算法的加速。摘自：符号和代数计算国际研讨会论文集，第299-306页。ACM出版社（2007）·Zbl 1190.13025号
[15] Nabeshima，K.：单项式碱和综合Gröbner系统的稳定性条件。收录于：《科学计算中的计算机代数学报》，LNCS第7442卷，第248-259页。柏林施普林格出版社（2012）·Zbl 1373.13030号
[16] Pedersen，P.，Roy，M.-F.，Szpirglas，A.：在多元情况下计算实零。摘自：《代数几何有效方法学报》，《数学进展》第109卷，第203-224页。柏林施普林格（1993）·Zbl 0806.14042号
[17] Sato，S.，Fukasaku，R.，Sekigawa，H.：关于参数零维多元多项式理想根的连续性。摘自：《符号和代数计算国际研讨会论文集》，第359-365页。ACM出版社（2018）·Zbl 1467.13053号
[18] Strzebonski，A.：数学的简化。https://urldefense.proofpoint.com/v2/url？u=https-3A__reference.wolfram.com_language_ref_Reduce.html&d=DwICAg&c=vh6FgFnduejNhPPD0fl_yRaSfZy8CWbWnIf4XJhSqx8&r=UpNksRRkQEKvUbblp9QRYTuemGLwQgpW1U7iMCFPZ8k&m=mWR4kwzCQJx99sfByc_Wd_NtOKrvA94px0mf4a_qj_8&s=4EgFsOWDHosP2kivGNaEgtF21HCLwzXqfkkgm rzY7SI&e=。2017年10月8日访问
[19] Strzebonski，A.：数学的解决方案。https://urldefense.proofpoint.com/v2/url？u=https-3A__reference.wolfram.com_language_ref_Resolve.html&d=DwICAg&c=vh6FgFnduejNhPPD0fl_yRaSfZy8CWbWnIf4XJhSqx8&r=UpNksRRkQEKvUbblp9QRYTuemGLwQgpW1U7iMCFPZ8k&m=mWR4kwzCQJx99sfByc_Wd_NtOKrvA94px0mf4a_qj_8&s=f-nt87scWnkm1Ct-Hg0T9_eYCwKRzyOsZBx-bn IlD10&e=。2017年10月8日访问
[20] Strzebonski，A.：求解严格多项式不等式组。J.塞姆。计算。29(3), 471-480 (2000) ·Zbl 0962.68183号 ·doi:10.1006/jsco.1999.0327
[21] Sturm，T.等人：Redlog包。https://urldefense.profoint.com/v2/url？u=http-3A__www.redlog.eu_&d=DwICAg&c=vh6FnduejnhPPD0fl_yRaSfZy8CWbWnIf4XJhSqx8&r=UpNksRRkQEKvUbblp9QRYTuemGLwQgpW1U7iMCFPZ8k&m=mWR4kwzCQJx99sfByc_Wd_NtOKrvA94px0mf4a_qj_8&s=IYEAxvdgb7Rlopn5s55MJGTASSLXMa0Tr395COkW5Ww&e=。访问日期：2017年10月8日
[22] 铃木，A.，佐藤，Y.：一种简单的算法，用于使用格氏基计算综合格氏基。摘自：符号和代数计算国际研讨会论文集，第326-331页。ACM出版社（2006）·Zbl 1356.13040号
[23] 魏斯芬宁，V.：实代数量词消除的新方法。收录于：量词消除和柱面代数分解，第376-392页。柏林施普林格（1998）·Zbl 0900.03046号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。