数学参考文献，6标准条款)

1. Roanes Lozano，Eugenio；Galán-García，Jose Luis；Solano Macías，Carmen:关于计算机代数系统的成功和影响的一些思考（2019年）
2. Galán-García，JoséL；Aguilera Venegas，Gabriel；Galán-García，MaríaÁ；Rodríguez Cielos，佩德罗；Atencia Mc。Killop，Iván:提高CAS能力：计算不当积分的新规则（2018）
3. Monagan，Michael；Tuncer，Baris：稀疏多变量Hensel提升：高性能设计和实现（2018）
4. Benoit，Alexandre；Joldeş，Mioara；Mezzaroba，Marc:使用Chebyshev展开式对D-有限函数的严格一致逼近（2017）
5. Gaeta，Giuseppe:随机非变分微分方程的对称性（2017）
6. Ábrahám，Erika；Abbott，John；Becker，Bernd；Bigatti，Anna m.；Brain，Martin；Buchberger，Bruno；Cimatti，Alessandro；Davenport，James H.；England，Matthew；Fontaine，Pascal；Forrest，Stephen；Griggio，Alberto；Krooning，Daniel；Seiler，Werner m.；Sturm，Thomas:\ textsfSC（^2）：满足性检验满足符号计算。（项目文件）（2016）
7. Alsayed，O.；Jaradat，H.M.；Jaradat，M.M.M.；Mustafa，Zead.；Shatat，Feras：浅水中出现的BBM方程的多孤子解（2016年）
8. Hamidoǧlu，Ali:tanh方法的一般形式及其在非线性偏微分方程中的应用（2016）
9. Csenki，Attila:一类离散寿命分布的微分方程及其在可靠性中的应用（2015）
10. El Mikkaway，Moawwad；Atlan，Faiz:通用（k）-三对角矩阵逆的新递归算法（2015）
11. Erdogan，Nuh；Henao，Humberto；Grisel，Richard：机电耦合驱动系统动态建模和仿真的改进方法：实验验证（2015）
12. Fateman，Richard:计算机代数系统中代数子表达式的划分：与符号积分应用相匹配的替代方法（2015）
13. 《新的角色评估：新的角色》（193年《新的角色评估》；阿肯德尔加西亚；新方法）
14. Joubert，S.V.；Shatalov，M.Y.；Coetzee，C.E.：使用傅立叶级数分析振动陀螺仪中的质量缺陷（2014）
15. 林小林；霍培培；贾季腾：一种新的广义周期七角和反七角矩阵的递推算法（2014）
16. Miao，Qian；Wang，Yunhu；Chen，Yong；Yang，Yunqing:\textITPDebelli:寻找双线性形式的Maple包，双线性Bäcklund变换，Lax对和KdV型方程守恒定律（2014）
17. Joremavender系统概述（2014年版）
18. 张立军；哈立克，C.M.：Jimbo-Miwa方程的行波解和多波解的无限维线性空间（2014）
19. 赵晓山；赵冠华；彭林平：广义（K（n，n））方程行波解的分歧（2014）
20. Alsayed，O.；Albadarneh，R.；Abu Shawiesh，Moustafa:非均匀磁化双离子温度尘埃等离子体中的离子声波孤波（2013）