zbMATH参考文献（参考 63篇文章 参考）

1. 《计算逻辑与应用》，劳伦斯·C
2. Kuga，Ken'ichi；Hagiwara，Manabu；Yamamoto，Mitsuharu：几何拓扑中Bing收缩方法的形式化（2016）
3. Arai，Noriko H.；Matsuzaki，Takuya；Iwane，Hidenao；Anai，Hirokazu：机器数学（2014）
4. Arnold，Andrew；Giesbrecht，Mark；Roche，Daniel S.：有限域上通过低阶统一根的稀疏插值（2014）
5. Arnold，Andrew；Roche，Daniel S.：使用随机Kronecker替换的多元稀疏插值（2014）
6. Arreche，Carlos E.：计算参数化二阶线性微分方程的微分Galois群（2014）
7. Bläser，Markus；Jindal，Gorav:稀疏多元多项式插值的新确定性算法（2014）
8. Bostan，Alin；Caruso，Xavier；Schost，çric:计算（p）-曲率特征多项式的快速算法（2014）
9. Bostan，Alin；Combot，Thierry；Safey El-Din，Mohab:计算平面参数化齐次势的必要可积条件（2014）
10. Bouzidi，Yacine；Lazard，Sylvain；Moroz，Guillaume；Pouget，Marc；Rouillier，Fabrice:计算二元系统分离线性形式的改进算法（2014）
11. Burger，Reinhold:求解具有椭圆函数系数的高阶线性微分方程（2014）
12. 陈昌波；马扎，马克·莫雷诺：基于正则链的圆柱代数分解量词消去（2014）
13. 陈绍史；冯汝勇；李子明；辛格，迈克尔F.：平行伸缩和参数化皮卡德-维希奥理论（2014）
14. Chen，Shaoshi；Kauers，Manuel；Koutschan，Christoph:广义Apagodu-Zeilberger算法（2014）
15. Corless，Robert M.；Jeffrey，David J.；Wang，Fei:一些插值非线性递归关系的渐近分析（2014）
16. De Feo，Luca；Doliskani，Javad；Schost，çric:有限域代数闭包的快速算法（2014）
17. Diatta，Daouda Niang；Rouillier，Fabrice；Roy，Marie Françoise:关于平面曲线拓扑的计算（2014）
18. Diekert，Volker；Kausch，Jonathan:图产品中的日志空间计算（2014）
19. Dumas，Jean Guillaume；Kaltofen，Erich:线性代数中的本质最优交互证书（2014）
20. Emiris，Ioannis Z.；Vidunas，Raimundas:半混合系统的根计数，以及计算纳什均衡的应用（2014）