
Matlab
 Referenced in 13702 articles
[sw00558]
 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...

Mathematica
 Referenced in 6445 articles
[sw00554]
 renowned as the world’s ultimate application for computations. But it’s much more...

PETSc
 Referenced in 1594 articles
[sw04012]
 blocks for the implementation of largescale application codes on parallel (and serial) computers. PETSc ... 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 ... make the efﬁcient implementation of many application codes simpler than “rolling them” yourself...

CUDA
 Referenced in 1336 articles
[sw03258]
 developers building GPUaccelerated applications. The CUDA Toolkit includes a compiler for NVIDIA GPUs, math ... debugging and optimizing the performance of your applications. You’ll also find programming guides, user ... help you get started quickly accelerating your application with GPUs...

Coq
 Referenced in 1906 articles
[sw00161]
 interactive development of machinechecked proofs. Typical applications include the formalization of programming languages semantics...

ABAQUS
 Referenced in 1616 articles
[sw04215]
 problems covering a vast spectrum of industrial applications. In the automotive industry engineering work groups...

LIBSVM
 Referenced in 1204 articles
[sw04879]
 users to easily apply SVM to their applications. LIBSVM has gained wide popularity in machine...

Isabelle/HOL
 Referenced in 1025 articles
[sw01569]
 formulas in a logical calculus. The main application is the formalization of mathematical proofs...

KernSmooth
 Referenced in 1018 articles
[sw04586]
 problems in general. To describe the principles, applications and analysis of kernel smoothers the authors...

AUTO
 Referenced in 958 articles
[sw01059]
 benefit from multiple processors; therefore it is applicable to rather large systems of differential equations...

OpenFOAM
 Referenced in 555 articles
[sw04317]
 compiled into their own shared library. Executable applications are then created that are simply linked ... library functionality. OpenFOAM includes over 80 solver applications that simulate specific problems in engineering mechanics ... over 170 utility applications that perform pre and postprocessing tasks, e.g. meshing, data visualisation...

ARPACK
 Referenced in 848 articles
[sw04218]
 symmetric, nonsymmetric, and generalized eigenproblems from significant application areas. The software is designed to compute...

Excel
 Referenced in 786 articles
[sw06848]
 Microsoft Excel is a powerful spreadsheet application that can be used to create, analyze, present...

SparseMatrix
 Referenced in 747 articles
[sw04629]
 sparse matrices that arise in real applications. The Collection is widely used by the numerical...

Isabelle
 Referenced in 719 articles
[sw00454]
 formulas in a logical calculus. The main application is the formalization of mathematical proofs...

Maude
 Referenced in 700 articles
[sw06233]
 programming for a wide range of applications. Maude has been influenced in important ways...

AdaBoost.MH
 Referenced in 505 articles
[sw08517]
 generalization of online learning and an application to boosting. In the first part ... slightly weaker in some cases, but applicable to a considerably more general class of learning...

Uppaal
 Referenced in 658 articles
[sw04702]
 channels or shared variables [WPD94, LPW97b]. Typical application areas include realtime controllers and communication...

TensorFlow
 Referenced in 653 articles
[sw15170]
 system is general enough to be applicable in a wide variety of other domains...

COMSOL
 Referenced in 460 articles
[sw04091]
 number of predefined physics interfaces for applications ranging from fluid flow and heat transfer ... arbitrary functions of the dependent variables.Predefined multiphysicsapplication templates solve many common problem types...