• Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • LAPACK

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Mathematica

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • PARI/GP

  • Referenced in 655 articles [sw00680]
  • PARI/GP is a widely used Computer Algebra System...
  • SageMath

  • Referenced in 2033 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • STRFLO

  • Referenced in 1 article [sw00919]
  • STRFLO: a program for time-independent calculations of...
  • QUADPACK

  • Referenced in 266 articles [sw01236]
  • Fortran subprograms for evaluating definite integrals of functions...
  • BLAS

  • Referenced in 501 articles [sw03216]
  • Low-level utilities common to many mathematical software...
  • CUDA

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

  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...
  • EISPACK

  • Referenced in 490 articles [sw04208]
  • EISPACK is a collection of Fortran subroutines that...
  • ARPACK

  • Referenced in 848 articles [sw04218]
  • ARPACK is a collection of Fortran77 subroutines designed...
  • GAUSSIAN

  • Referenced in 202 articles [sw06118]
  • Gaussian is an electronic structure program, used by...
  • OEIS

  • Referenced in 4285 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • Sturmian

  • Referenced in 14 articles [sw07530]
  • The generalized Sturmian method The generalized Sturmian method...
  • TestU01

  • Referenced in 124 articles [sw08033]
  • TestU01 is a software library, implemented in the...
  • RADWEQ

  • Referenced in 12 articles [sw10750]
  • Accurate numerical solution of the Schrödinger and Dirac...
  • Python

  • Referenced in 2164 articles [sw14460]
  • Python is a widely used high-level, general...
  • Lean

  • Referenced in 46 articles [sw15148]
  • The Lean theorem prover (system description). Lean is...