• Matlab

  • Referenced in 11969 articles [sw00558]
  • communications, image and video processing, control systems, test and measurement, computational finance, and computational biology...
  • R

  • Referenced in 8180 articles [sw00771]
  • statistical (linear and nonlinear modelling, classical statistical tests, time-series analysis, classification, clustering, ...) and graphical...
  • mctoolbox

  • Referenced in 1379 articles [sw04827]
  • MATLAB M-files containing functions for constructing test matrices, computing matrix factorizations, visualizing matrices ... This toolbox supersedes the author’s earlier Test Matrix Toolbox (final release 1995). The toolbox...
  • Simulink

  • Referenced in 717 articles [sw04348]
  • that let you design, simulate, implement, and test a variety of time-varying systems, including ... modeling environment, and define signal, parameter, and test data...
  • OR-Library

  • Referenced in 613 articles [sw04153]
  • Library is a collection of test data sets for a variety of Operations Research ... problems. These test data sets can be accessed via the WWW using the links below ... originally described in J.E.Beasley, ”OR-Library: distributing test problems by electronic mail”, Journal...
  • CUTEr

  • Referenced in 557 articles [sw04010]
  • CUTEr is a versatile testing environment for optimization and linear algebra solvers. The package contains ... collection of test problems, along with Fortran 77, Fortran 90/95 and Matlab tools intended ... improve new and existing solvers. The test problems provided are written in so-called Standard ... manipulated to provide tools suitable for testing optimization packages. Ready-to-use interfaces to existing...
  • DIMACS

  • Referenced in 511 articles [sw08221]
  • problems that motivated theoretical work. It also tests many assumptions about implementation methods and data ... provides an opportunity to develop and test problem instances, instance generators, and other methods ... testing and comparing performance of algorithms. And it is a step in technology transfer...
  • Regularization tools

  • Referenced in 676 articles [sw00797]
  • regularization strategies. The package also includes 12 test problems. Requires Matlab Version 7.3. The manual...
  • ANSYS

  • Referenced in 654 articles [sw00044]
  • innovation and reducing physical constraints, enabling simulated tests that might not be possible otherwise...
  • TPTP

  • Referenced in 374 articles [sw04143]
  • Theorem Provers) is a library of test problems for automated theorem proving (ATP) systems ... with: A comprehensive library of the ATP test problems that are available today, in order ... TPTP is to support the testing and evaluation of ATP systems, to help ensure that ... system evaluations, meaningful system comparisons, repeatability of testing, and the production of statistically significant results...
  • SDPT3

  • Referenced in 608 articles [sw04009]
  • total of about 300 test problems to an accuracy of at least...
  • SNOPT

  • Referenced in 503 articles [sw02300]
  • most problems in the CUTE and COPS test collections (about 900 examples...
  • z3

  • Referenced in 489 articles [sw04887]
  • integrated with a number of program analysis, testing, and verification tools from Microsoft Research. These...
  • CRAN

  • Referenced in 446 articles [sw04351]
  • graphical techniques: linear and nonlinear modelling, statistical tests, time series analysis, classification, clustering, etc. Please...
  • ScaLAPACK

  • Referenced in 401 articles [sw00830]
  • Guide, the source code for the package, testing and timing programs, prebuilt version...
  • Harwell-Boeing sparse matrix collection

  • Referenced in 210 articles [sw08516]
  • Sparse matrix test problems. We describe the Harwell-Boeing sparse matrix collection ... standard test matrices for sparse matrix problems. Our test set comprises problems in linear systems ... hypotheses in sparse matrix research, to large test cases arising in large-scale computation ... procedures for obtaining and using the test collection are discussed. We also describe the guidelines...
  • TETRAD

  • Referenced in 379 articles [sw12177]
  • program which creates, simulates data from, estimates, tests, predicts with, and searches for causal...
  • NAG

  • Referenced in 375 articles [sw00610]
  • world. With over 1,600 tried and tested routines that are both flexible and portable...
  • FERET

  • Referenced in 232 articles [sw13782]
  • sequestered portion is reserved for testing facerecognition algorithms. The FERET evaluation procedure is an independently ... administered test of face-recognition algorithms. The test was designed to: (1) allow a direct...
  • LSQR

  • Referenced in 354 articles [sw00530]
  • implementation of the method, subroutine LSQR. Numerical tests are described comparing LSQR with several other...