• 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 shared-memory 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 user-extendible 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...
  • OR-Library

  • Referenced in 613 articles [sw04153]
  • Library is a collection of test data sets for a variety of Operations Research ... using the links below. OR-Library was originally described in J.E.Beasley, ”OR-Library: 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 well-designed 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 high-performance 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...