摘要：投影CAD：基于RegularChains库的实现
作者：Matthew England, David Wilson, Russell Bradford and James H. Davenport
论文ID：1405.6090
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2014-08-28
PDF 下载： 英文版 中文版pdf翻译中