藤崎隆彦;伊瓦内、希德诺;佐藤、优介 通过计算综合Gröbner系统来消除实数量词。 （英语） Zbl 1345.68282号 第40届符号和代数计算国际研讨会论文集，ISSAC 2015，英国巴斯，2015年7月6日至9日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3435-8）。173-180 (2015). 引用于7文件 MSC公司： 68瓦30 符号计算和代数计算 03C10号机组 量词消除、模型完整性和相关主题 关键词：综合Gröbner系统;实量词消去 引文：Zbl 0900.03046号 软件：枫树;RAGlib公司;重新记录;减少;SYNRAC公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Fukasaku}et al.，in：第40届符号和代数计算国际研讨会论文集，ISSAC 2015，英国巴斯，2015年7月6-9日。纽约州纽约市：计算机协会（ACM）。173-180（2015年；Zbl 1345.68282） 全文： 内政部