• Magma

  • Referenced in 2359 articles [sw00540]
  • large, well-supported 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 symbolic-numerical-graphical 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 multi-graded...
  • 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 efficient 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 message-passing 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...