• 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 high-level 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...
  • PETSc

  • Referenced in 1091 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • Trilinos

  • Referenced in 336 articles [sw04028]
  • Each Trilinos package is a self-contained, independent...
  • UCI-ml

  • 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...