摘要：基于真值表不变的圆柱代数分解算法（TTICAD）的设计和实现
作者：Russell Bradford, James H. Davenport, Matthew England, Scott McCallum and David Wilson
论文ID：1304.7603
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2013-07-10
PDF 下载： 英文版 中文版pdf翻译中