
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, opensource math software...

STRFLO
 Referenced in 1 article
[sw00919]
 STRFLO: a program for timeindependent calculations of...

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

BLAS
 Referenced in 501 articles
[sw03216]
 Lowlevel 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 opensource 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 OnLine 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 highlevel, general...

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