藤崎隆彦;伊瓦内、希德诺;佐藤、优介 CGSQE/SyNRAC：一个基于综合Gröbner系统计算的真正量词消除包。 （英语） Zbl 1365.68488号 ACM通信。计算。代数 50，第3期，101-104（2016）. 引用于1文件 MSC公司： 68瓦30 符号计算和代数计算 13-04 交换代数问题的软件、源代码等 第13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础） 软件：SYNRAC公司;枫树;CGSQE公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Fukasaku}等人，ACM Commun。计算。代数50，第3期，101--104（2016；Zbl 1365.68488） 全文： 内政部 参考文献： [1] Becker，E.和Wö；rmann，T.：关于二次型的迹公式。实代数几何和二次型的最新进展（加州伯克利，1990/1991；加州旧金山，1991），第271-291页，康泰普。数学。，阿默尔155号。数学。Soc.，普罗维登斯，RI，1994年·doi:10.1090/conm/155/01385 [2] Collins，G，E.：通过柱面代数分解消除实闭场的量词。自动机理论和形式语言（第二次GI会议，凯泽斯劳滕，1975），第134-183页。计算机课堂讲稿。科学。，第33卷，施普林格，柏林，1975年。 [3] Fukasaku，R.，Iwane，H.和Sato，Y.：通过计算综合Grö；消除实量词；bner系统。符号和代数计算国际研讨会论文集（ISSAC 2015），第173-180页，ACM，2015年·Zbl 1345.68282号 ·doi:10.1145/2755996.2756646 [4] Fukasaku，R.、Iwane，H.和Sato，Y.：改进CGS-QE算法。第六届计算机和信息科学数学方面国际会议论文集（MACIS 2015），计算机课堂讲稿。科学。，第9582卷，第231-235页，施普林格出版社，2016年·兹比尔1460.13051 ·文件编号：10.1007/978-3-319-32859-1_20 [5] Iwane，H.，Yanami，H.和Anai，H.：SyNRAC：求解实代数约束的工具箱。数学软件——ICMS 2014，第518-522页。计算机课堂讲稿。科学。，第8592卷，施普林格出版社，柏林，2014年·Zbl 1437.13005号 [6] Pedersen，P.，Roy，M.-F.和Szpirglas，A.：在多元情况下计算实零。计算代数几何，第203-224页，《数学进展》，第109卷，1993年·Zbl 0806.14042号 ·doi:10.1007/978-1-4612-2752-6_15 [7] 铃木A.和佐藤Y.：计算综合Grö；的简单算法；使用Grö；的bner基；bner Bases公司。符号和代数计算国际研讨会论文集（ISSAC 2006），第326–331页，ACM，2006年·Zbl 1356.13040号 ·数字对象标识代码：10.1145/1145768.1145821 [8] 魏斯芬宁，V.：综合组ö；bner bases，《符号计算杂志》，第14/1卷，第1-29页，1992年·Zbl 0784.13013号 ·doi:10.1016/0747-7171（92）90023-W [9] 魏斯芬宁，V.：实代数的量词消除——三次方情形。符号和代数计算国际研讨会论文集（ISSAC 1994），第258–263页，ACM，1994年·Zbl 0919.03030号 ·doi:10.1145/190347.190425 [10] 魏斯芬宁，V.：实代数的量词消除——二次型情形和Beyon。申请。代数工程通讯。计算。第8卷第2期，第85–101页，1997年·Zbl 0867.03003号 ·doi:10.1007/s002000050055 [11] 魏斯芬宁，V.：实代数量词消除的新方法。量词消除和柱面代数分解，第376–392页，施普林格出版社，1998年·Zbl 0900.03046号 ·doi:10.1007/978-3-7091-9459-120 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。