
Mathematica
 Referenced in 6337 articles
[sw00554]
 Almost any workflow involves computing results, and that’s what Mathematica does—from building ... renowned as the world’s ultimate application for computations. But it’s much more...

Matlab
 Referenced in 13460 articles
[sw00558]
 level language and interactive environment for numerical computation, visualization, and programming. Using MATLAB ... data, develop algorithms, and create models and applications. The language, tools, and builtin math ... MATLAB for a range of applications, including signal processing and communications, image and video processing ... control systems, test and measurement, computational finance, and computational biology. More than a million engineers...

PETSc
 Referenced in 1541 articles
[sw04012]
 Portable, Extensible Toolkit for Scientiﬁc Computation (PETSc) is a suite of data structures and routines ... implementation of largescale application codes on parallel (and serial) computers. PETSc uses ... time integrators that may be used in application codes written in Fortran, C, C++, Python ... many of the mechanisms needed within parallel application codes, such as parallel matrix and vector...

ARPACK
 Referenced in 841 articles
[sw04218]
 eigenvalue problems. The package is designed to compute a few eigenvalues and corresponding eigenvectors ... eigenproblems from significant application areas. The software is designed to compute a few (k) eigenvalues...

DUNE
 Referenced in 177 articles
[sw01466]
 scientific computations and supports highperformance computing applications...

DistMesh
 Referenced in 297 articles
[sw12766]
 wide range of applications, including scientific computing and computer graphics. An unstructured simplex mesh requires...

gmp
 Referenced in 282 articles
[sw00363]
 applications and research, Internet security applications, algebra systems, computational algebra research, etc. GMP is carefully...

Isabelle/HOL
 Referenced in 1018 articles
[sw01569]
 formulas in a logical calculus. The main application is the formalization of mathematical proofs ... verification, which includes proving the correctness of computer hardware or software and proving properties...

COBOL
 Referenced in 237 articles
[sw01228]
 oriented language) is a compiled Englishlike computer programming language designed for business ... still widely used in legacy applications deployed on mainframe computers, such as largescale batch ... COBOL is now purely to maintain existing applications.[7] .. (wikipedia...

NAS Parallel Benchmarks
 Referenced in 128 articles
[sw08853]
 benchmarks are derived from computational fluid dynamics (CFD) applications and consist of five kernels ... adaptive mesh, parallel I/O, multizone applications, and computational grids. Problem sizes...

Cactus
 Referenced in 81 articles
[sw04422]
 framework for building a variety of computing applications in science and engineering, including astrophysics, relativity ... which enables highly modular, multilanguage, parallel applications to be developed by single researchers ... most details of the underlying computational libraries from the application developer. We survey how Cactus ... will also enable these applications to run on the computational Grids of the near future...

SDPB
 Referenced in 104 articles
[sw23927]
 many new computations. As an example application, we compute a new rigorous highprecision bound...

Isabelle
 Referenced in 698 articles
[sw00454]
 formulas in a logical calculus. The main application is the formalization of mathematical proofs ... verification, which includes proving the correctness of computer hardware or software and proving properties...

FGb
 Referenced in 247 articles
[sw00286]
 stateoftheart algorithms for computing Gröbner bases: actually, from a research point ... been used in various applications (Robotic, Signal Theory, Biology, Computational Geometry, . . . ) and more recently...

OpenCV
 Referenced in 116 articles
[sw11376]
 provide a common infrastructure for computer vision applications and to accelerate the use of machine ... both classic and stateoftheart computer vision and machine learning algorithms. These algorithms...

SHOGUN
 Referenced in 103 articles
[sw03517]
 have used this toolbox in several applications from computational biology, some of them coming with...

bootlib
 Referenced in 426 articles
[sw40642]
 Their Application by Anthony Davison and David Hinkley. Bootstrap methods are computerintensive methods...

Maude
 Referenced in 698 articles
[sw06233]
 programming for a wide range of applications. Maude has been influenced in important ways ... programming, Maude also supports rewriting logic computation...

MADM
 Referenced in 131 articles
[sw06484]
 supported by various realworld application examples. Also, computer codes for AHP, TOPSIS, DEA, PROMETHEE...

AUTO
 Referenced in 942 articles
[sw01059]
 also do certain continuation and evolution computations for parabolic PDEs. It also includes the software ... benefit from multiple processors; therefore it is applicable to rather large systems of differential equations...