托马斯·斯特姆 三十年的虚拟替代。基础、技术、应用。 （英文） Zbl 1460.03007号 Carlos Arreche（编辑），《第43届符号和代数计算国际研讨会论文集》，ISSAC 2018，美国纽约州纽约市，2018年7月16-19日。纽约州纽约市：计算机协会（ACM）。11-16 (2018). 引用于7文件 MSC公司： 03C10号机组 量词消除、模型完整性和相关主题 68瓦30 符号计算和代数计算 关键词：实量词消去；虚拟替代 引文：Zbl 0646.03005号 软件：重新记录；QEPCAD公司 PDF格式BibTeX公司 XML格式引用 \textit{T.Sturm}，in：第43届符号和代数计算国际研讨会论文集，2018年ISSAC，美国纽约州纽约市，2018年7月16-19日。纽约州纽约市：计算机协会（ACM）。11--16（2018年；Zbl 1460.03007） 全文： 内政部