麦克西马

Macsyma是一个通用的符号数字图形数学软件产品。计算机代数系统(CAS)。您可以使用它来解决由单行命令指定的简单问题(例如求函数的不定积分),或通过大型Macsyma程序执行非常复杂的计算。Macsyma提供:代数、微积分和数值分析中的符号和数值操作和解决能力2D和3D报告质量图形交互式科学笔记本用户编程环境。


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

显示714的结果1到20。
按年份排序(引文)

1 2 ... 34 35 36 下一个

  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)

1 2 ... 34 35 36 下一个