ZBMaCT中的参考文献（63篇文章中引用）

1. 保尔森，Lawrence C.：计算逻辑：起源与应用（2018）
2. 玖珂，Ke'ii；萩原，Maabu；山本，MuSuHuu：几何拓扑中Bing收缩方法的形式化（2016）
3. 新井，Noriko H.；松崎，今间卓也；伊万奈，希达瑙；阿奈，Hirokazu：机器数学（2014）
4. 阿诺德，安得烈；吉斯布雷希特，马克；罗氏，Daniel S.：通过统一的低阶根在有限域上的稀疏插值（2014）
5. 阿诺德，安得烈；罗氏，Daniel S.：利用随机Kronecker替换的多元稀疏插值（2014）
6. Carlos E.：计算参数化二阶线性微分方程的微分Galias群（2014）
7. Markus，Jindal，Gorav：一种新的稀疏多元多项式插值的确定算法（2014）
8. 博斯坦，Alin；卡鲁索，沙维尔；SHOST，EYRIC:一种计算（p）-曲率特征多项式的快速算法（2014）
9. 博斯坦，Alin；COMBOT，蒂埃里；Safey El Din，莫哈布：计算平面参数齐次势的必要可积条件（2014）
10. Bouzidi，Yacine；拉萨德，西尔文；莫罗兹，纪尧姆；PuGET，贾景晖；Rouier-法布里斯；改进的计算二元系统线性形式的改进算法（2014）
11. 汉堡，莱因霍尔德：求解具有椭圆函数系数的高阶线性微分方程（2014）
12. 陈，Changbo；MaZa，Marc Moreno：基于正则链的柱面代数分解消除量词（2014）
13. 陈，Shaoshi；冯，Ruyong；李，Ziming；辛格，Michael F.：平行伸缩和参数化Picard Vessiot理论（2014）
14. 陈，Shaoshi；考尔斯，曼努埃尔；Koutschan，克里斯托夫：广义Apagodu Zeilberger算法（2014）
15. Caless，Robert M.；杰夫瑞，David J.；王，费：一些插值非线性递推关系的渐近分析（2014）
16. De Feo，卢卡；Doliskani，Javad；SHOST，Eyric：有限域代数闭包的快速算法（2014）
17. Diatta，Daouda Niang；Rouier-R，法布里斯；罗伊，玛丽弗兰：关于平面曲线拓扑的计算（2014）
18. Diekert，Volker；KauCh，乔纳森：图积中的对数空间计算（2014）
19. 杜马斯，Jean Guillaume；Kaltofen，埃里希：线性代数中最基本的交互式证书（2014）
20. Emiris，Ioannis Z.；VIDunas，Rimunas：半混合系统的根计数，以及纳什平衡数的应用（2014）