• GAP

  • Referenced in 2707 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 2054 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 2503 articles [sw04082]
  • offers C, C++, Java, .NET, and Python libraries that solve linear programming (LP) and related...
  • LAPACK

  • Referenced in 1590 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 1107 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 1317 articles [sw00866]
  • functionality is augmented and user-extendible by libraries written in the SINGULAR programming language...
  • Python

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

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

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

  • Referenced in 605 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 515 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 446 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 695 articles [sw04348]
  • environment and a customizable set of block libraries that let you design, simulate, implement...
  • minpack

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

  • Referenced in 374 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 653 articles [sw00983]
  • TSPLIB is a library of sample instances for the TSP (and related problem) from various...
  • TPTP

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

  • Referenced in 456 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...
  • ScaLAPACK

  • Referenced in 397 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...