真值表不变圆代数分解的问题形式化:通过增量三角分解

摘要:适用于新CAD算法的问题输入形式的选择

作者:Matthew England, Russell Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza and David Wilson

论文ID:1404.6371

分类:Symbolic Computation

分类简称:cs.SC

提交时间:2014-07-15

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