• Mathematica

  • Referenced in 6090 articles [sw00554]
  • deployed individual or enterprise solutions. Computer algebra system...
  • Maple

  • Referenced in 5199 articles [sw00545]
  • math, graphics, images, sound, and diagrams. Computer algebra system...
  • GAP

  • Referenced in 2974 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 3052 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large, well-supported 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...
  • DLMF

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

  • Referenced in 1758 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 multi-graded ... integral closure of rings, and more. Computer algebra system...
  • SageMath

  • Referenced in 1743 articles [sw00825]
  • Maple, Mathematica, Magma, and MATLAB. Computer algebra system...
  • SINGULAR

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

  • Referenced in 741 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...
  • CoCoA

  • Referenced in 637 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 ... high-level programming language. For convenience, the system offers a textual interface, an Emacs mode ... user interface common to most platforms. Computer algebra system...
  • MACSYMA

  • Referenced in 716 articles [sw01209]
  • symbolic-numerical-graphical 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...
  • PARI/GP

  • Referenced in 604 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 p-adic...
  • gmp

  • Referenced in 274 articles [sw00363]
  • applications and research, Internet security applications, algebra systems, computational algebra research, etc. GMP is carefully ... main target platforms are Unix-type systems, such as GNU/Linux, Solaris...
  • GeoGebra

  • Referenced in 375 articles [sw04203]
  • world. Free and open source software. Computer algebra system...
  • CHEVIE

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

  • Referenced in 317 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...
  • KANT/KASH

  • Referenced in 156 articles [sw00481]
  • KASH/KANT is a computer algebra system (CAS) for sophisticated computations in algebraic number fields ... local fields. In the number field case, algebraic integers are considered to be elements ... provide the user with the means to compute many invariants of F. It is possible ... orders) is a significant feature of our system. In the function field case, for example...
  • REDLOG

  • Referenced in 162 articles [sw04250]
  • package that extends the computer algebra system REDUCE to a computer logic system ... methods applied know about the underlying algebraic theory and make use of it. We illustrate...
  • LiE

  • Referenced in 156 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...