• SINGULAR

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

  • Referenced in 162 articles [sw00967]
  • Practical implementation of nonlinear time series methods: The...
  • TSPLIB

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

  • Referenced in 81 articles [sw01095]
  • The subroutine library SLICOT provides Fortran 77 implementations...
  • PRISM

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

  • Referenced in 716 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • Kronos

  • Referenced in 263 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • TAXYS

  • Referenced in 21 articles [sw01389]
  • TAXYS: A tool for the development and verification...
  • veriSoft

  • Referenced in 91 articles [sw01489]
  • VeriSoft automatically searches for coordination problems (deadlocks, etc...
  • EnKF

  • Referenced in 376 articles [sw02066]
  • EnKF-The Ensemble Kalman Filter The EnKF is...
  • MINITAB

  • Referenced in 201 articles [sw02865]
  • Analyze your data and improve your products and...
  • ATERM

  • Referenced in 43 articles [sw03160]
  • GC 2: a generational conservative garbage collector for...
  • DASSL

  • Referenced in 259 articles [sw03174]
  • Subroutine DDASSL uses the backward differentiation formulas of...
  • TINA

  • Referenced in 45 articles [sw03280]
  • The tool TINA -- construction of abstract state spaces...
  • SPIN

  • Referenced in 716 articles [sw03455]
  • Spin is a popular open-source software tool...
  • SeDuMi

  • Referenced in 1216 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • Gurobi

  • Referenced in 572 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • RODAS

  • Referenced in 1623 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...
  • DiVinE

  • Referenced in 55 articles [sw04130]
  • DIVINE is a tool for LTL model checking...