摘要：扩展Kenzo系统的一组程序的介绍
作者：A. Romero, J. Rubio, F. Sergeraert
论文ID：cs/0602064
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中