• MA57

  • Referenced in 88 articles [sw00536]
  • MA57 - a code for the solution of sparse...
  • Maple

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

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

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

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

  • Referenced in 419 articles [sw00610]
  • Produced by experts for use in a variety...
  • Octave

  • Referenced in 295 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • PROFIL/BIAS

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

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

  • Referenced in 741 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SageMath

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

  • Referenced in 168 articles [sw00834]
  • Scilab includes hundreds of mathematical functions. It has...
  • Sostools

  • Referenced in 276 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...
  • SPG

  • Referenced in 74 articles [sw00897]
  • Algorithm 813: SPG -- software for convex-constrained optimization...
  • SUNDIALS

  • Referenced in 220 articles [sw00927]
  • SUNDIALS was implemented with the goal of providing...
  • SymPy

  • Referenced in 127 articles [sw00940]
  • SymPy is a Python library for symbolic mathematics...
  • TSPLIB

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

  • Referenced in 375 articles [sw00989]
  • An ANSI C code for sparse LU factorization...
  • SCIP

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