
GAP
 Referenced in 2850 articles
[sw00320]
 Theory. GAP provides a programming language, a library of thousands of functions implementing algebraic algorithms ... language as well as large data libraries of algebraic objects. See also the overview...

DLMF
 Referenced in 2225 articles
[sw04968]
 NIST digital library of mathematical functions. The National Institute of Standards and Technology is preparing ... Digital Library of Mathematical Functions (DLMF) to provide useful data about special functions...

CPLEX
 Referenced in 2551 articles
[sw04082]
 offers C, C++, Java, .NET, and Python libraries that solve linear programming (LP) and related...

LAPACK
 Referenced in 1626 articles
[sw00503]
 make the widely used EISPACK and LINPACK libraries run efficiently on sharedmemory vector ... ATLAS to automatically generate an optimized BLAS library for the architecture. A Fortran 77 reference...

PETSc
 Referenced in 1148 articles
[sw04012]
 parallel matrix and vector assembly routines. The library is organized hierarchically, enabling users to employ ... steeper learning curve than a simple subroutine library. In particular, for individuals without some computer...

Python
 Referenced in 1378 articles
[sw14460]
 large and comprehensive standard library. Python interpreters are available for installation on many operating systems...

SINGULAR
 Referenced in 1373 articles
[sw00866]
 functionality is augmented and userextendible by libraries written in the SINGULAR programming language...

CUDA
 Referenced in 1185 articles
[sw03258]
 includes a compiler for NVIDIA GPUs, math libraries, and tools for debugging and optimizing...

LIBSVM
 Referenced in 1088 articles
[sw04879]
 LIBSVM is a library for Support Vector Machines (SVMs). We have been actively developing this...

ORLibrary
 Referenced in 619 articles
[sw04153]
 Library is a collection of test data sets for a variety of Operations Research ... using the links below. ORLibrary was originally described in J.E.Beasley, ”ORLibrary: distributing test...

IMSL Numerical Libraries
 Referenced in 579 articles
[sw04964]
 IMSL Libraries are a comprehensive set of mathematical and statistical functions that programmers can embed...

deal.ii
 Referenced in 549 articles
[sw03516]
 deal.II is a C++ program library targeted at the computational solution of partial differential equations ... this is best done using a program library that takes care of the details...

NAG
 Referenced in 417 articles
[sw00610]
 variety of applications, the NAG Library is the largest commercially available collection of numerical ... applications spanning the globe. The NAG Library is so widely used and trusted because ... world’s largest supercomputers, the NAG Library has the numerical capabilities to fit your model ... Library is available for use with many programming languages and for many platforms and operating...

Ox
 Referenced in 459 articles
[sw09501]
 with a comprehensive mathematical and statistical function library. Matrices can be used directly in expressions ... features of Ox are its speed, extensive library, and welldesigned syntax, which leads ... impression of the matrix and statistical function library see the Function summary. Versions...

Simulink
 Referenced in 721 articles
[sw04348]
 environment and a customizable set of block libraries that let you design, simulate, implement...

minpack
 Referenced in 691 articles
[sw05310]
 development of software for optimization libraries. In the second part I illustrate some...

SciPy
 Referenced in 492 articles
[sw06293]
 scientific programming with Python. The SciPy library depends on NumPy, which provides convenient and fast ... dimensional array manipulation. The SciPy library is built to work with NumPy arrays, and provides...

FFTW
 Referenced in 481 articles
[sw04126]
 FFTW is a C subroutine library for computing the discrete Fourier transform ... free software, should become the FFT library of choice for most applications. The latest official...

TSPLIB
 Referenced in 661 articles
[sw00983]
 TSPLIB is a library of sample instances for the TSP (and related problem) from various...

TPTP
 Referenced in 376 articles
[sw04143]
 Problems for Theorem Provers) is a library of test problems for automated theorem proving ... supplies the ATP community with: A comprehensive library of the ATP test problems that ... systems being considered. A common library of problems is necessary for meaningful system evaluations, meaningful ... significant results. The TPTP is such a library...