
GAP
 Referenced in 2829 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 2196 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 2541 articles
[sw04082]
 offers C, C++, Java, .NET, and Python libraries that solve linear programming (LP) and related...

LAPACK
 Referenced in 1617 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 1127 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...

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

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

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

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

ORLibrary
 Referenced in 613 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...

deal.ii
 Referenced in 541 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...

Ox
 Referenced in 455 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 717 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...

NAG
 Referenced in 375 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...

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

FFTW
 Referenced in 476 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...

SciPy
 Referenced in 476 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...

TPTP
 Referenced in 374 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...

ScaLAPACK
 Referenced in 401 articles
[sw00830]
 package or scalable LAPACK. It is a library of highperformance linear algebra routines ... supercomputers, and shared memory parallel computers. Both libraries contain routines for solving systems of linear ... timing programs, prebuilt version of the library for a number of computers, example programs...