埃尔凡·哈尼基 关于多项式微积分分解的证明复杂性。 16:1-16:24 2022 23 ACM事务处理。计算。日志。 三 https://doi.org/10.1145/3506702 https://www.wikidata.org/entity/Q113771685 db/journals/tocl/tocl23.html#Khaniki22