在圆柱代数覆盖中利用严格约束

摘要:扩展的圆柱代数覆盖方法: 一种减少计算工作量的方法

作者:Philipp B"ar, Jasper Nalbach, Erika ''Abrah''am, Christopher W. Brown

论文ID:2306.16757

分类:Symbolic Computation

分类简称:cs.SC

提交时间:2023-06-30

PDF 下载: 英文版 中文版pdf翻译中