• LANCELOT

  • Referenced in 310 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • LAPACK

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • NAG

  • Referenced in 425 articles [sw00610]
  • Produced by experts for use in a variety...
  • nauty

  • Referenced in 625 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • NTL

  • Referenced in 222 articles [sw00638]
  • NTL is a high-performance, portable C++ library...
  • Octave

  • Referenced in 312 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • ooMILP

  • Referenced in 1 article [sw00652]
  • Process systems engineering is one of the many...
  • PROFIL/BIAS

  • Referenced in 134 articles [sw00733]
  • PROFIL (Programmer’s Runtime Optimized Fast Interval Library...
  • PSPLIB

  • Referenced in 277 articles [sw00740]
  • PSPLIB -- a project scheduling problem library. We present...
  • QAPLIB

  • Referenced in 236 articles [sw00751]
  • A collection of electronically available data instances for...
  • R

  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...
  • SageMath

  • Referenced in 2033 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • TOMP

  • Referenced in 34 articles [sw00971]
  • Algorithm 733: TOMP - Fortran modules for optimal control...
  • TSPLIB

  • Referenced in 711 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • SCIP

  • Referenced in 554 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • Meschach

  • Referenced in 85 articles [sw01112]
  • Meschach: Matrix computations in C. Meschach is a...