• Matlab

  • Referenced in 13702 articles [sw00558]
  • level language and interactive environment for numerical computation, visualization, and programming. Using MATLAB ... video processing, control systems, test and measurement, computational finance, and computational biology. More than ... academia use MATLAB, the language of technical computing...
  • Mathematica

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that’s what Mathematica does—from building ... world’s ultimate application for computations. But it’s much more—it’s the only ... development platform fully integrating computation into complete workflows, moving you seamlessly from initial ideas ... deployed individual or enterprise solutions. Computer algebra system...
  • R

  • Referenced in 10196 articles [sw00771]
  • language and environment for statistical computing and graphics. It is a GNU project which...
  • OEIS

  • Referenced in 4285 articles [sw07248]
  • correct order. (Perhaps you are a computer scientist or someone working in information science ... Knuth, ”The Art of Computer Programming”, where you find your algorithm described. The entry even...
  • Magma

  • Referenced in 3363 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 ... Magma language. Magma is distributed by the Computational Algebra Group at the University of Sydney...
  • Maple

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

  • Referenced in 3221 articles [sw00320]
  • system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides ... extend it for your special use. Computer algebra system...
  • DLMF

  • Referenced in 2889 articles [sw04968]
  • More than 50 mathematicians, physicists and computer scientists from around the world are participating ... include mathematical formulas, graphs, references, methods of computation, and links to software. Special features ... search, for example, or for input to computer algebra systems. These and other problems...
  • UCI-ml

  • Referenced in 3444 articles [sw04074]
  • most cited ”papers” in all of computer science. The current version of the web site...
  • Macaulay2

  • Referenced in 1958 articles [sw00537]
  • since 1992. Macaulay2 includes core algorithms for computing Gröbner bases and graded or multi-graded ... objects and the installation of methods for computing specifically with them. Macaulay2 can compute Betti ... ideals, integral closure of rings, and more. Computer algebra system...
  • LAPACK

  • Referenced in 1713 articles [sw00503]
  • 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 ... promotes high efficiency on many high-performance computers, particularly if specially coded implementations are provided ... available for many modern high-performance computers. For details of known vendor- or ISV-provided...
  • SINGULAR

  • Referenced in 1522 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for polynomial computations in commutative algebra, algebraic geometry ... singularity theory. SINGULAR’s main computational objects are ideals and modules over a large variety ... SINGULAR features fast and general implementations for computing Groebner and standard bases, including e.g. Buchberger ... polynomial factorizations, resultant, characteristic set and gcd computations, syzygy and free-resolution computations, and many...
  • SageMath

  • Referenced in 2033 articles [sw00825]
  • algebra, geometry, number theory, cryptography, numerical computation, and related areas. Both the Sage development model ... alternative to Maple, Mathematica, Magma, and MATLAB. Computer algebra system...
  • GitHub

  • Referenced in 2760 articles [sw23170]
  • using git. It is mostly used for computer code. It offers all of the distributed...
  • PETSc

  • Referenced in 1594 articles [sw04012]
  • Portable, Extensible Toolkit for Scientific Computation (PETSc) is a suite of data structures and routines ... scale application codes on parallel (and serial) computers. PETSc uses the MPI standard ... library. In particular, for individuals without some computer science background, experience programming...
  • mctoolbox

  • Referenced in 1521 articles [sw04827]
  • Matrix Computation Toolbox is a collection of MATLAB M-files containing functions for constructing test ... matrices, computing matrix factorizations, visualizing matrices, and carrying out direct search optimization. Various other miscellaneous...
  • LMI toolbox

  • Referenced in 1468 articles [sw06383]
  • mind that the complexity of LMI computations remains higher than that of solving...
  • Isabelle/HOL

  • Referenced in 1025 articles [sw01569]
  • verification, which includes proving the correctness of computer hardware or software and proving properties ... computer languages and protocols...
  • ARPACK

  • Referenced in 848 articles [sw04218]
  • eigenvalue problems. The package is designed to compute a few eigenvalues and corresponding eigenvectors ... application areas. The software is designed to compute a few (k) eigenvalues with user specified ... desired k-dimensional eigen-space is computed which is numerically orthogonal to working precision. Numerically...
  • PARI/GP

  • Referenced in 655 articles [sw00680]
  • PARI/GP is a widely used Computer Algebra System (CAS) designed for fast computations in number ... large number of other useful functions to compute with mathematical entities such as matrices, power ... library to allow for faster computations...