摘要：真值表不变CAD的扩展版本及其在多项式求解中的应用
作者：Russell Bradford, James H. Davenport, Matthew England, Scott McCallum and David Wilson
论文ID：1401.0645
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2016-02-23
PDF 下载： 英文版 中文版pdf翻译中