摘要：实现智能问题对算法进行套用的挑选，以及对问题正确的算法变量的选择，对于提高量化消除和符号实代数几何的实际应用具有关键作用
作者：Matthew England
论文ID：1405.3461
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2014-06-26
PDF 下载： 英文版 中文版pdf翻译中