Macsyma is a general purpose symbolic-numerical-graphical mathematics software product. Computer algebra system (CAS). You can use it to solve simple problems specified by one-line commands (such as finding the indefinite integral of a function), or to perform very complicated computations by means of a large Macsyma program. Macsyma offers: symbolic and numeric manipulation and solution capabilities in algebra, calculus and numerical analysis 2D and 3D report-quality graphics interactive scientific notebooks a user programming environment.

References in zbMATH (referenced in 680 articles , 6 standard articles )

Showing results 1 to 20 of 680.
Sorted by year (citations)

1 2 3 ... 32 33 34 next

  1. Benoit, Alexandre; Joldeş, Mioara; Mezzarobba, Marc: Rigorous uniform approximation of D-finite functions using Chebyshev expansions (2017)
  2. Á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; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas: \ssfSC$^2$: satisfiability checking meets symbolic computation. (Project paper) (2016)
  3. Alsayyed, O.; Jaradat, H.M.; Jaradat, M.M.M.; Mustafa, Zead.; Shatat, Feras: Multi-soliton solutions of the BBM equation arisen in shallow water (2016)
  4. Hamidoǧlu, Ali: On general form of the tanh method and its application to nonlinear partial differential equations (2016)
  5. Csenki, Attila: A differential equation for a class of discrete lifetime distributions with an application in reliability (2015)
  6. El-Mikkawy, Moawwad; Atlan, Faiz: A new recursive algorithm for inverting general $k$-tridiagonal matrices (2015)
  7. Erdogan, Nuh; Henao, Humberto; Grisel, Richard: An improved methodology for dynamic modelling and simulation of electromechanically coupled drive systems: an experimental validation (2015)
  8. Fateman, Richard: Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration (2015)
  9. García, Alfonsa; García, Francisco; del Rey, Ángel Martín; Rodríguez, Gerardo; de la Villa, Agustín: Changing assessment methods: new rules, new roles (2014)
  10. Joubert, S.V.; Shatalov, M.Y.; Coetzee, C.E.: Using Fourier series to analyse mass imperfections in vibratory gyroscopes (2014)
  11. Lin, Xiao-Lin; Huo, Pei-Pei; Jia, Ji-Teng: A new recursive algorithm for inverting general periodic sevendiagonal and anti-sevendiagonal matrices (2014)
  12. Miao, Qian; Wang, Yunhu; Chen, Yong; Yang, Yunqing: \itPDEBellII: a Maple package for finding bilinear forms, bilinear Bäcklund transformations, Lax pairs and conservation laws of the KdV-type equations (2014)
  13. van der Hoeven, Joris: Overview of the Mathemagix type system (2014)
  14. Zhao, Xiaoshan; Zhao, Guanhua; Peng, Linping: Bifurcation of traveling wave solutions of a generalized $K(n,n)$ equation (2014)
  15. Alsayyed, O.; Albadarneh, R.; Abu-Shawiesh, Moustafa: Ion-acoustic solitary waves in an inhomogeneous magnetized two-ion-temperature dusty plasma (2013)
  16. Biswa, Anjan; Song, Ming: Soliton solution and bifurcation analysis of the Zakharov-Kuznetsov-Benjamin-Bona-Mahoney equation with power law nonlinearity (2013)
  17. Hamada, Tatsuyoshi: Warm-up drills and tips for mathematical software (2013)
  18. Hibi, Takayuki (ed.): Gröbner bases. Statistics and software systems. Transl. from the Japanese (2013)
  19. Voit, Eberhard O.: Biochemical systems theory: a review (2013)
  20. Yang, Xu-dong; Ruan, Hang-yu: HBHGen: a Maple package to construct the Hirota bilinear form for nonlinear equations (2013)

1 2 3 ... 32 33 34 next