佐藤、优介;广岛Sekigawa;藤崎隆彦;Katsusuke Nabeshima 在参数化边界基础上。 （英语） Zbl 07441056号 Daniel Slamanig（编辑）等人，《计算机和信息科学的数学方面》。2019年11月13日至15日在土耳其格布泽举行的2019年MACIS第八届国际会议。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11989, 10-15 (2020). 摘要：我们研究了参数多项式理想的边基的几个性质，并引入了最小参数边基的概念。这对于改进基于综合Gröbner系统计算的量词消去算法尤为重要。关于整个系列，请参见[Zbl 1483.68012号]。 MSC公司： 68倍 计算机科学 65-XX岁 数值分析 关键词：参数边界基;综合Gröbner系统;量词消去法 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sato}等人，Lect。注释计算。科学。11989，10-15（2020；Zbl 07441056） 全文： 内政部 参考文献： [1] 魏斯芬宁，V.：实代数量词消除的新方法。收录：Caviness，B.F.，Johnson，J.R.（编辑）量词消除和柱面代数分解。TEXTSMONOGR，第376-392页。施普林格，维也纳（1998）。https://doi.org/10网址 ·Zbl 0900.03046号 ·doi:10.1007/978-3-7091-9459-120 [2] 铃木，A.，佐藤，Y.：综合Gröbner基地的替代方法。J.塞姆。计算。36(3-4), 649-667 (2003) ·Zbl 1053.13013号 ·doi:10.1016/S0747-7171（03）00098-1 [3] Sato，Y.，Fukasaku，R.，Sekigawa，H.：关于参数零维多元多项式理想根的连续性。收录于：2018年国际会计准则理事会会议记录，第359-365页（2018年）·Zbl 1467.13053号 [4] Montes，A.：《Gröbner Cover》。ACM，第27卷。查姆施普林格（2018）。https://doi.org/10.1007/978-3-030-03904-2 ·Zbl 1412.13001号 ·doi:10.1007/978-3-030-03904-2 [5] Kreuzer，M.，Robbiano，L.：计算交换代数2。斯普林格，海德堡（2005）。https://doi.org/10.1007/3-540-28296-3。第6.4节边界基础·Zbl 1090.13021号 ·doi:10.1007/3-540-28296-3 [6] Fukasaku，R.，Iwane，H.，Sato，Y.：关于多元hermitian二次型。数学。计算。科学。13(1-2), 79-93 (2019) ·Zbl 07095829号 ·doi:10.1007/s11786-018-0387-8 [7] Fukasaku，R.，Sato，Y.：关于非激进参数理想的实根计数。收录人：Blömer，J.，Kotsireas，I.S.，Kutsia，T.，Simos，D.E.（编辑）MACIS 2017。LNCS，第10693卷，第258-263页。查姆施普林格（2017）。https://doi.org/10.1007/978-3-319-72453-9_18 ·Zbl 1497.68584号 ·文件编号：10.1007/978-3-319-72453-9_18 [8] Fukasaku，R.，Iwane，H.，Sato，Y.：关于CGS实际量化宽松的实施。收录人：Greuel，G.-M.，Koch，T.，Paule，P.，Sommese，A.（编辑）ICMS 2016。LNCS，第9725卷，第165-172页。查姆施普林格（2016）。https://doi.org/10.1007/978-3-319-42432-3_21 ·Zbl 1434.68705号 ·doi:10.1007/978-3-319-42432-321 [9] Fukasaku，R.，Iwane，H.，Sato，Y.：通过计算综合Gröbner系统消除实量词。摘自：2015年ISSAC会议记录，第173-180页（2015）·Zbl 1345.68282号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。