克里斯·贝克；雅各布诺德斯特罗姆；唐邦生 多项式微积分的一些权衡结果（扩展抽象）。 （英语） 兹比尔1293.03031 第45届ACM计算理论年会论文集，STOC’13。2013年6月1日至4日，美国加利福尼亚州帕洛阿尔托。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2029-0）。813-822 (2013). 引用于13文件 MSC公司： 20层03 证明的复杂性 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 关键词：聚合酶链反应；度；卵石游戏；卵石公式；多项式微积分；证明复杂性；分辨率；规模-空间权衡；谢廷公式 引文：Zbl 1286.68180号 软件：PolyBoRi公司 PDF格式BibTeX公司 XML格式引用 \textit{C.Beck}等人，in：第45届ACM计算理论研讨会论文集，STOC’13。2013年6月1-4日，美国加利福尼亚州帕洛阿尔托。纽约州纽约市：计算机协会（ACM）。813-822（2013年；兹bl 1293.03031） 全文： 内政部