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 689 articles , 6 standard articles )

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

1 2 3 ... 33 34 35 next

  1. Monagan, Michael; Tuncer, Baris: Sparse multivariate Hensel lifting: a high-performance design and implementation (2018)
  2. Benoit, Alexandre; Joldeş, Mioara; Mezzarobba, Marc: Rigorous uniform approximation of D-finite functions using Chebyshev expansions (2017)
  3. Gaeta, Giuseppe: Symmetry of stochastic non-variational differential equations (2017)
  4. Á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: \textsfSC(^2): satisfiability checking meets symbolic computation. (Project paper) (2016)
  5. 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)
  6. Hamidoǧlu, Ali: On general form of the tanh method and its application to nonlinear partial differential equations (2016)
  7. Csenki, Attila: A differential equation for a class of discrete lifetime distributions with an application in reliability (2015)
  8. El-Mikkawy, Moawwad; Atlan, Faiz: A new recursive algorithm for inverting general (k)-tridiagonal matrices (2015)
  9. Erdogan, Nuh; Henao, Humberto; Grisel, Richard: An improved methodology for dynamic modelling and simulation of electromechanically coupled drive systems: an experimental validation (2015)
  10. Fateman, Richard: Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration (2015)
  11. 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)
  12. Joubert, S. V.; Shatalov, M. Y.; Coetzee, C. E.: Using Fourier series to analyse mass imperfections in vibratory gyroscopes (2014)
  13. Lin, Xiao-Lin; Huo, Pei-Pei; Jia, Ji-Teng: A new recursive algorithm for inverting general periodic sevendiagonal and anti-sevendiagonal matrices (2014)
  14. Miao, Qian; Wang, Yunhu; Chen, Yong; Yang, Yunqing: \textitPDEBellII: a Maple package for finding bilinear forms, bilinear Bäcklund transformations, Lax pairs and conservation laws of the KdV-type equations (2014)
  15. van der Hoeven, Joris: Overview of the Mathemagix type system (2014)
  16. Zhang, Lijun; Khalique, C. M.: Traveling wave solutions and infinite-dimensional linear spaces of multiwave solutions to Jimbo-Miwa equation (2014)
  17. Zhao, Xiaoshan; Zhao, Guanhua; Peng, Linping: Bifurcation of traveling wave solutions of a generalized (K(n,n)) equation (2014)
  18. Alsayyed, O.; Albadarneh, R.; Abu-Shawiesh, Moustafa: Ion-acoustic solitary waves in an inhomogeneous magnetized two-ion-temperature dusty plasma (2013)
  19. Biswa, Anjan; Song, Ming: Soliton solution and bifurcation analysis of the Zakharov-Kuznetsov-Benjamin-Bona-Mahoney equation with power law nonlinearity (2013)
  20. Hamada, Tatsuyoshi: Warm-up drills and tips for mathematical software (2013)

1 2 3 ... 33 34 35 next