
Coq
 Referenced in 1748 articles
[sw00161]
 Coq is a formal proof management system. It...

HSL
 Referenced in 260 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

LAPACK
 Referenced in 1582 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LSQR
 Referenced in 343 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...

Maple
 Referenced in 4896 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5693 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 11446 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

NAG
 Referenced in 373 articles
[sw00610]
 Produced by experts for use in a variety...

R
 Referenced in 7603 articles
[sw00771]
 R is a language and environment for statistical...

SUNDIALS
 Referenced in 202 articles
[sw00927]
 SUNDIALS was implemented with the goal of providing...

CUDA
 Referenced in 1131 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...

Silhouettes
 Referenced in 157 articles
[sw03705]
 Silhouettes: a graphical aid to the interpretation and...

PETSc
 Referenced in 1091 articles
[sw04012]
 The Portable, Extensible Toolkit for Scientiﬁc Computation (PETSc...

Trilinos
 Referenced in 336 articles
[sw04028]
 Each Trilinos package is a selfcontained, independent...

UCIml
 Referenced in 2918 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

METIS
 Referenced in 429 articles
[sw04089]
 METIS is a set of serial programs for...

COMSOL
 Referenced in 349 articles
[sw04091]
 The COMSOL Multiphysics engineering simulation software environment facilitates...

FFTW
 Referenced in 447 articles
[sw04126]
 FFTW is a C subroutine library for computing...

EISPACK
 Referenced in 486 articles
[sw04208]
 EISPACK is a collection of Fortran subroutines that...