摘要：创造性望远镜的应用和进展的综述
作者：Christoph Koutschan
论文ID：1307.4554
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2013-07-18
PDF 下载： 英文版 中文版pdf翻译中