zbMATH中的参考文献（参考文献79篇文章,1标准件)

1. Ábrahám，埃里卡；达文波特，詹姆斯H。；英格兰，马修；Kremer，Gereon:用圆柱代数覆盖确定非线性实数运算约束与冲突驱动搜索的一致性（2021）
2. 阿穆尔，亚辛；赫尔默，马丁；Tellander，Felix:关于正交域的唯一性问题（2021）
3. 东，瑞娜；王东明：用Gröbner基计算强正则特征对（2021）
4. 马格伦，维克多；萨菲·艾尔丁（Safey El-Din），莫哈布：论雷兹尼克、希尔伯特·阿丁和普蒂纳的精确表述（2021）
5. Mohammadali Asadi，Alexander Brandt，Mahsa Kazemi，Marc Moreno Maza，Erik Postma:Maple的多元幂级数（2021）阿尔十四
6. 王东明；徐娟：分离某些根表达式实根的符号数值算法（2021）
7. 布拉德福德，拉塞尔；达文波特，詹姆斯H。；英格兰，马修；埃拉米，哈桑；格特，弗拉基米尔；格里戈里耶夫，迪玛；霍伊特，查尔斯；科斯塔，马雷克；拉杜列斯库，奥维迪乌；斯图姆，托马斯；韦伯，安德烈亚斯：识别某些生物网络多稳态的参数发生率（2020）
8. 英格兰，马修；布拉德福德，拉塞尔；Davenport，James H.：带等式约束的柱形代数分解（2020）
9. 郭、冯；酸碱度ạm、 Ti'n-Son:实多项式函数的退化临界点类型（2020）
10. 克莱默，格雷恩；Ábrahám，Erika:全增量圆柱代数分解（2020）
11. 兰格黑格曼，马库斯；Daniel Robertz:Thomas分解与非线性控制系统（2020）
12. 样方，阿尔班（编辑）；泽兹，伊娃（编）：动力系统中的代数和符号计算方法。根据为第五届系统结构与控制研讨会（IFAC，法国格勒诺布尔，2013年2月4日至6日）和第21届网络与系统数学理论国际研讨会（MTNS 2014）特邀会议撰写的文章，荷兰格罗宁根，2014年7月7日至11日（2020年）
13. 埃利，阿姆扎拉格；孙孟晓；波古丁，格勒布；Vo，Thieu N.：代数集三角表示的复杂性（2019）
14. 英格兰，马修；Florescu，Dorian:比较机器学习模型以选择圆柱形代数分解的变量顺序（2019）
15. 哈里斯，科里；米查埃克，马特乌斯；Sertöre计算多项式（2019年）
16. 黄宗炎；英格兰，马修；威尔逊，大卫J。；布里奇，詹姆斯；达文波特，詹姆斯H。；Paulson，Lawrence C.：使用机器学习改进圆柱代数分解（2019）
17. 施瑞克，帕斯卡：关于直尺和罗盘构造的机械化（2019）
18. 蒙特斯，安东尼奥：格里布纳封面（2018）
19. Cifuntes，迭戈；Parrilo，Pablo A.：多项式理想的弦网络（2017）
20. 科里斯，罗伯特M。；莫雷诺马扎，马克；Thornton，Steven E.：Jordan canonical form with parameters from Frobenius form with parameters（2017）中的带参数的Jordan canonical form from Frobenius form with parameters（2017年）