摘要：逐步增量的圆柱代数分解算法在Maple中的实现及其在SMT求解器中的应用研究报告
作者：Alexander I. Cowen-Rivers, Matthew England
论文ID：1804.08564
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2018-04-24
PDF 下载： 英文版 中文版pdf翻译中