• LAPACK

  • Referenced in 1626 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LEDA

  • Referenced in 261 articles [sw00509]
  • In the core computer science areas -- data structures...
  • LSQR

  • Referenced in 358 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • MATCONT

  • Referenced in 363 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

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

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

  • Referenced in 257 articles [sw00563]
  • R package mclust: Normal Mixture Modeling for Model...
  • MiniSat

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

  • Referenced in 61 articles [sw00622]
  • Nitpick is a counterexample generator for Isabelle/HOL that...
  • PARDISO

  • Referenced in 269 articles [sw00679]
  • The package PARDISO is a thread-safe, high...
  • R

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

  • Referenced in 1373 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • SLEPc

  • Referenced in 157 articles [sw00875]
  • SLEPc the Scalable Library for Eigenvalue Problem Computations...
  • SODAS

  • Referenced in 65 articles [sw00885]
  • The author gives a short introduction to the...
  • TSPLIB

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

  • Referenced in 877 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • SCIP

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

  • Referenced in 128 articles [sw01175]
  • ADINA R&D, Inc. was founded in 1986...
  • PRISM

  • Referenced in 406 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...