zbMATH中的参考文献（引用于，1标准件)

1. Horáchek，Jan；Kreuzer，Martin:关于从CNF到ANF的转换（2020）
2. Horáchek，Jan；Kreuzer，Martin；Messeng Ekossono，Ange Salomé：基于签名的边界基算法（2020）
3. 阿古德罗·阿格德洛，胡安C.；埃切弗里·瓦伦西亚，圣地亚哥：模态逻辑的多项式语义（2019）
4. 加西亚，丽贝卡；普恩特，路易斯·大卫·加西亚；克鲁斯，瑞安；刘，杰西卡；米亚塔，丹恩；彼得森，伊桑；菲利普斯，凯特琳；肖，安妮：《神经理想的格勃纳基础》（2018）
5. Horáček，Jan；Kreuzer，Martin:3BA:a border bases solver with a SAT extension（2018年）
6. 劳里亚，马西莫；埃尔弗斯，一月；诺德斯特伦，雅各布；维尼尔斯，马克：CNFgen：一个精心制作的基准（2017年）
7. 艾特塞拉斯，阿尔伯特；劳里亚，马西莫；诺德斯特伦，雅各布：狭义证明可能最长（2016年）
8. Cifuntes，Diego；Parrilo，Pablo A.：利用多项式理想中的弦结构：Gröbner基方法（2016）
9. Quedenfeld，Frank-M.；Wolf，Christopher:Trivium的高级代数攻击（2016）
10. Filmus，Yuval；Lauria，Massimo；Nordstrom，Jakob；Ron Zewi，Noga；Thapen，Neil:多项式演算中的空间复杂性（2015）
11. Lundqvist，Samuel:布尔理想及其变体（2015）
12. 邱益浩；洪伟志；周立平；丁金泰；杨伯银；程，陈某：对修补过的米法雷经典的实际攻击（2014）
13. Nagai，Akira；Inoue，Shutaro:在一般计算机代数系统上实现布尔Gröbner基和综合布尔Gröbner基的方法（2014）
14. 安东尼奥·洛恩斯（Antonio Lonso）的《回答》（Anono Loérailway），安东尼奥·洛恩斯（Antonio Lonso）的《回答》（Anono Loérailway）；安东尼奥·洛恩斯（Antonio Lonso）的《回答》（Anonio Loérailway）；安东尼奥·罗
15. 孙尧；王定康：布尔多项式环上分支Gröbner基算法的实现及复杂性分析（2014）
16. Beck，Chris；Nordstrom，Jakob；Tang，Bangsheng:多项式微积分的一些权衡结果（扩展摘要）（2013）
17. Bonacina，Ilario；Galesi，Nicola:伪划分，横截性和局部性，代数证明系统中空间测度的组合特征（2013）
18. Brickenstein，Michael；Dreyer，Alexander:Gröbner布尔多项式的自由范式（2013）
19. Albrecht，Martin R.；Cid，Carlos；Faugère，Jean-Charles；Perret，Ludovic：关于MXL算法族与Gröbner基算法之间的关系（2012）
20. 高小山；黄振宇：有限域方程求解的特征集算法（2012）