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

DLMF
 Referenced in 1486 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 837 articles
[sw01569]
 includes proving the correctness of computer hardware or software and proving properties of computer languages...

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

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

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

ARPACK
 Referenced in 732 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 1364 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...

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

PVM
 Referenced in 295 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 669 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 739 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 958 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 104 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...

LattE
 Referenced in 102 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...

DACE
 Referenced in 134 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...

ScaLAPACK
 Referenced in 380 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 114 articles
[sw13223]
 MAXFLOW  software for computing mincut/maxflow in a graph. This software library implements the maxflow algorithm...

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

WebSphere
 Referenced in 64 articles
[sw16839]
 WebSphere refers to a brand of computer software products in the genre of enterprise software...