
AXIOM
 Referenced in 161 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system (CAS). It is useful for research...

LiE
 Referenced in 136 articles
[sw01075]
 that enables mathematicians and physicists to perform computations of a Lie group theoretic nature ... systems. LiE does not compute directly with elements of the Lie groups and algebras themselves ... passed to the core of the system. This core consists of programs representing some ... about currently valid definitions and values. Computer algebra system...

MuPAD
 Referenced in 134 articles
[sw00606]
 access to the complete MuPAD language. Computer algebra system...

Cinderella
 Referenced in 131 articles
[sw00127]
 designed to interact very smoothly. Computer algebra system (CAS). Education...

Maxima
 Referenced in 126 articles
[sw00560]
 Taylor series, Laplace transforms, ordinary differential equations, systems of linear equations, polynomials, and sets, lists ... data in two and three dimensions. Computer algebra system...

Mathcad
 Referenced in 127 articles
[sw04210]
 time engineering and less time documenting. Computer Algebra system...

SYMMGRP
 Referenced in 113 articles
[sw01066]
 calculation of Lie point symmetries of large systems of differential equations (2006). The package symmgrp.max ... works only under Macsyma, the commercial computer algebra system. The 1991 version of symmgrp.max (with...

CASA
 Referenced in 66 articles
[sw00108]
 purpose system for computational algebra and constructive algebraic geometry. The system has been developed since ... Computer Algebra Group at the Research Institute for Symbolic Computation (RISCLinz), the University ... under the direction of Prof. Winkler. The system is built ... kernel of the widely used computer algebra system Maple. Computer algebra system...

LAPACK
 Referenced in 1480 articles
[sw00503]
 linear equations, leastsquares solutions of linear systems of equations, eigenvalue problems, and singular value ... Schur) are also provided, as are related computations such as reordering of the Schur factorizations ... computation is performed by calls to the Basic Linear Algebra Subprograms (BLAS). LAPACK is designed ... matrix multiplication and the solution of triangular systems with multiple righthand sides. Because...

Cabrigeometry
 Referenced in 112 articles
[sw04928]
 Université Joseph Fourier de Grenoble. Computer algebra system...

Risa/Asir
 Referenced in 94 articles
[sw00806]
 name of whole libraries of a computer algebra system (CAS) which is under development...

FeynArts
 Referenced in 94 articles
[sw06474]
 platform for topology editing. Computer algebra system...

GRAPE
 Referenced in 77 articles
[sw07516]
 Brendan McKay’s nauty package. Computer algebra system...

numericalsgps
 Referenced in 78 articles
[sw00640]
 numericalsgps. After short introductions to the computer algebra system GAP and to numerical semigroups, this...

Plural
 Referenced in 65 articles
[sw00719]
 Singular is a computer algebra system (CAS) developed for efficient computations with polynomials. We describe...

Kronecker
 Referenced in 64 articles
[sw00495]
 Kronecker is a package for Magma computer algebra system for solving systems of polynomial equations...

TINspire
 Referenced in 62 articles
[sw06151]
 regulations. The CAS variant integrates a computer algebra system, function plotter, dynamic geometry, spreadsheet, dynamic...

GiNaC
 Referenced in 59 articles
[sw01609]
 systems that embed symbolic manipulations together with more established areas of computer science (like computation ... where CAS stands for Computer Algebra System. It has been specifically developed to become...

SymPy
 Referenced in 59 articles
[sw00940]
 aims to become a fullfeatured computer algebra system (CAS) while keeping the code...

GAMS
 Referenced in 767 articles
[sw04978]
 General Algebraic Modeling System (GAMS) is specifically designed for modeling linear, nonlinear and mixed integer ... optimization problems. The system is especially useful with large, complex problems. GAMS is available ... personal computers, workstations, mainframes and supercomputers. GAMS allows the user to concentrate on the modeling...