
Magma
 Referenced in 2716 articles
[sw00540]
 large, wellsupported software package designed for computations in algebra, number theory, algebraic geometry...

DLMF
 Referenced in 2019 articles
[sw04968]
 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...

Isabelle/HOL
 Referenced in 921 articles
[sw01569]
 includes proving the correctness of computer hardware or software and proving properties of computer languages...

MACSYMA
 Referenced in 714 articles
[sw01209]
 general purpose symbolicnumericalgraphical mathematics software product. Computer algebra system...

Isabelle
 Referenced in 594 articles
[sw00454]
 includes proving the correctness of computer hardware or software and proving properties of computer languages...

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

SageMath
 Referenced in 1505 articles
[sw00825]
 software that supports research and teaching in algebra, geometry, number theory, cryptography, numerical computation...

ARPACK
 Referenced in 770 articles
[sw04218]
 eigenvalue problems. The package is designed to compute a few eigenvalues and corresponding eigenvectors ... usual order n2 floating point operations. This software is based upon an algorithmic variant ... from significant application areas. The software is designed to compute a few (k) eigenvalues with...

Macaulay2
 Referenced in 1567 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 multigraded...

PVM
 Referenced in 305 articles
[sw04273]
 software package that permits a heterogeneous collection of Unix and/or Windows computers hooked together ... aggregate power and memory of many computers. The software is very portable. The source, which ... enables users to exploit their existing computer hardware to solve much larger problems at minimal...

SPIN
 Referenced in 699 articles
[sw03455]
 used for the formal verification of distributed software systems. The tool was developed at Bell ... group of the Computing Sciences Research Center, starting in 1980. The software has been available...

AUTO
 Referenced in 811 articles
[sw01059]
 AUTO is a software for continuation and bifurcation problems in ordinary differential equations, originally developed ... continuation and evolution computations for parabolic PDEs. It also includes the software HOMCONT...

PETSc
 Referenced in 1091 articles
[sw04012]
 scale application codes on parallel (and serial) computers. PETSc uses the MPI standard ... users. PETSc is a sophisticated set of software tools; as such, for some users ... library. In particular, for individuals without some computer science background, experience programming ... advantage of the features that enable efﬁcient software use. However, the power of the PETSc...

Gfan
 Referenced in 105 articles
[sw04698]
 Gfan is a software package for computing Gröbner fans and tropical varieties. These are polyhedral ... bases of its defining ideal. The software computes all marked reduced Gröbner bases...

DACE
 Referenced in 151 articles
[sw04715]
 with kriging approximations to computer models. Typical use of this software is to construct ... surrogate for the computer model. The software also addresses the design of experiment problem, that ... inputs at which to evaluate the computer model for constructing the kriging approximation...

LattE
 Referenced in 110 articles
[sw04654]
 LattE (Lattice point Enumeration) is a computer software dedicated to the problems of counting lattice ... LattE integrale, has the ability to directly compute integrals of polynomial functions over polytopes...

ScaLAPACK
 Referenced in 394 articles
[sw00830]
 routines for distributed memory messagepassing MIMD computers and networks of workstations supporting parallel virtual ... produced analogous software for workstations, vector supercomputers, and shared memory parallel computers. Both libraries contain ... precision complex, and double precision complex. The software has been written to be portable across ... library for a number of computers, example programs, and the full set of LAPACK Working...

MAXFLOW
 Referenced in 122 articles
[sw13223]
 MAXFLOW  software for computing mincut/maxflow in a graph. This software library implements the maxflow algorithm...

SLEPc
 Referenced in 144 articles
[sw00875]
 Scalable Library for Eigenvalue Problem Computations, is a software library for the solution of large...

TensorFlow
 Referenced in 206 articles
[sw15170]
 TensorFlow™ is an open source software library for numerical computation using data flow graphs. Nodes...