• Matlab

  • Referenced in 13544 articles [sw00558]
  • level language and interactive environment for numerical computation, visualization, and programming. Using MATLAB ... image and video processing, control systems, test and measurement, computational finance, and computational biology. More...
  • Mathematica

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

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

  • Referenced in 3189 articles [sw00320]
  • system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides ... spaces, algebras, combinatorial structures, and more. The system, including source, is distributed freely ... extend it for your special use. Computer algebra system...
  • Magma

  • Referenced in 3315 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large, well-supported software package designed for computations ... number of databases designed to aid computational research in those areas of mathematics which ... extensive documentation describing the features of the system. This handbook is available online. The documentation ... Magma language. Magma is distributed by the Computational Algebra Group at the University of Sydney...
  • DLMF

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

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

  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting research in algebraic geometry and commutative algebra ... 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...
  • SINGULAR

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

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

  • Referenced in 746 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...
  • PARI/GP

  • Referenced in 636 articles [sw00680]
  • PARI/GP is a widely used Computer Algebra System (CAS) designed for fast computations in number...
  • MACSYMA

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

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex optimization problems to global optimality. Purely continuous...
  • LAPACK

  • Referenced in 1702 articles [sw00503]
  • linear equations, least-squares 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 ... that as much as possible of the computation is performed by calls to the Basic ... matrix multiplication and the solution of triangular systems with multiple right-hand sides. Because...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • language in which you can model computer systems and a tool to help you prove...
  • gmp

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

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

  • Referenced in 237 articles [sw20382]
  • Direct methods for sparse linear systems. Computational scientists often encounter problems requiring the solution ... programming language, Direct Methods for Sparse Linear Systems equips readers with the working knowledge required ... explains how MATLAB performs its sparse matrix computations...
  • GeoGebra

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