New Lower Bounds for Polynomial Calculus over Non-Boolean Bases

被引:0
|
作者
The Institute of Mathematical Sciences , Chennai, India [1 ]
不详 [2 ]
机构
基金
新加坡国家研究基金会;
关键词
Boolean algebra - Differentiation (calculus) - Digital arithmetic - Theorem proving;
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 39 条