
Mathematica
 Referenced in 3960 articles
[sw00554]
 deployed individual or enterprise solutions. Computer algebra system...

Maple
 Referenced in 3882 articles
[sw00545]
 math, graphics, images, sound, and diagrams. Computer algebra system...

GAP
 Referenced in 1694 articles
[sw00320]
 system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides ... algebraic algorithms written in the GAP language as well as large data libraries of algebraic ... representations, rings, vector spaces, algebras, combinatorial structures, and more. The system, including source, is distributed ... extend it for your special use. Computer algebra system...

Magma
 Referenced in 1681 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large, wellsupported software package designed for computations ... computational research in those areas of mathematics which are algebraic in nature. The overview provides ... extensive documentation describing the features of the system. This handbook is available online. The documentation ... language. Magma is distributed by the Computational Algebra Group at the University of Sydney...

SINGULAR
 Referenced in 939 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for polynomial computations in commutative algebra, algebraic geometry...

Macaulay2
 Referenced in 1000 articles
[sw00537]
 software system devoted to supporting research in algebraic geometry and commutative algebra, whose creation ... since 1992. Macaulay2 includes core algorithms for computing Gröbner bases and graded or multigraded ... integral closure of rings, and more. Computer algebra system...

SageMath
 Referenced in 755 articles
[sw00825]
 Maple, Mathematica, Magma, and MATLAB. Computer algebra system...

REDUCE
 Referenced in 640 articles
[sw00789]
 REDUCE is an interactive system for general algebraic computations ... interest to mathematicians, scientists and engineers. Computer algebra system (CAS). It has been produced...

MACSYMA
 Referenced in 668 articles
[sw01209]
 symbolicnumericalgraphical mathematics software product. Computer algebra system ... function), or to perform very complicated computations by means of a large Macsyma program. Macsyma ... numeric manipulation and solution capabilities in algebra, calculus and numerical analysis 2D and 3D report...

DLMF
 Referenced in 638 articles
[sw04968]
 example, or for input to computer algebra systems. These and other problems, and some partially...

CoCoA
 Referenced in 483 articles
[sw00143]
 CoCoA is a system for Computations in Commutative Algebra. It is able to perform simple ... rational functions). For example, it can readily compute Grobner bases, syzygies and minimal free resolution ... highlevel programming language. For convenience, the system offers a textual interface, an Emacs mode ... user interface common to most platforms. Computer algebra system...

NIST DLMF
 Referenced in 494 articles
[sw00621]
 example, or for input to computer algebra systems. These and other problems, and some partially...

PARI/GP
 Referenced in 310 articles
[sw00680]
 PARI/GP is a widely used Computer Algebra System (CAS) designed for fast computations in number ... functions to compute with mathematical entities such as matrices, power series, algebraic or padic...

GeoGebra
 Referenced in 266 articles
[sw04203]
 world. Free and open source software. Computer algebra system...

CHEVIE
 Referenced in 150 articles
[sw04235]
 structures. It is based on the computer algebra systems GAP, and MAPLE. Computer algebra system...

gmp
 Referenced in 161 articles
[sw00363]
 applications and research, Internet security applications, algebra systems, computational algebra research, etc. GMP is carefully ... main target platforms are Unixtype systems, such as GNU/Linux, Solaris...

polymake
 Referenced in 205 articles
[sw00724]
 graphs, tropical objects, and other objects. Computer algebra system...

FORM
 Referenced in 202 articles
[sw09051]
 Computer algebra system (CAS) for very big calculations in theoretical particle physics, with a very ... supports multiple kernels (see TFORM) and distributed computations on a network (ParFORM). See also...

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