Results 21 to 40 of 261
Sort by:

  • 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...