
Matlab
 Referenced in 7965 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 4654 articles
[sw00554]
 renowned as the world’s ultimate application for computations. But it’s much more...

CUDA
 Referenced in 891 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...

PETSc
 Referenced in 815 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...

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

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

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

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

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

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

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

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

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

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

PVS
 Referenced in 524 articles
[sw03484]
 that it can be used for significant applications. PVS is a research prototype: it evolves...

Chaff
 Referenced in 518 articles
[sw06916]
 problem instances encountered in a range of applications in Electronic Design Automation (EDA), as well...

AdaBoost.MH
 Referenced in 362 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...

NAG
 Referenced in 326 articles
[sw00610]
 experts for use in a variety of applications, the NAG Library is the largest commercially ... core of thousands of programs and applications spanning the globe. The NAG Library...

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

LINDO
 Referenced in 449 articles
[sw04448]
 Nonlinear Programming, Stochastic Programming, Global Optimization LINDO Application Programming Interface (LINDO...