摘要：几何证明的可替代方案
作者：Jean-Charles Faugere (PolSys), Pierre-Jean Spaenlehauer (CARAMBA), Jules Svartz (PolSys)
论文ID：1605.05889
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2016-08-22
PDF 下载： 英文版 中文版pdf翻译中