• RODAS

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

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

  • Referenced in 490 articles [sw04208]
  • EISPACK is a collection of Fortran subroutines that...
  • Mathcad

  • Referenced in 140 articles [sw04210]
  • PTC Mathcad is the Industry Standard Software for...
  • CRAN

  • Referenced in 570 articles [sw04351]
  • R is ‘GNU S’, a freely available language...
  • quantreg

  • Referenced in 162 articles [sw04356]
  • R package quantreg: Quantile Regression. Estimation and inference...
  • DIFSUB

  • Referenced in 106 articles [sw04370]
  • Algorithm 407 — DIFSUB for solution of ordinary differential...
  • LSODE

  • Referenced in 135 articles [sw04374]
  • LSODE (Livermore Solver for Ordinary Differential Equations) solves...
  • RealPaver

  • Referenced in 51 articles [sw04401]
  • Algorithm 852 Realpaver: nonlinear constraint solving & rigorous global...
  • alr3

  • Referenced in 296 articles [sw04474]
  • alr3: Data to accompany Applied Linear Regression 3rd...
  • GLPK

  • Referenced in 183 articles [sw04560]
  • The GLPK (GNU Linear Programming Kit) package is...
  • YALMIP

  • Referenced in 1063 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • MPT

  • Referenced in 235 articles [sw04732]
  • The Multi-Parametric Toolbox (MPT) is a free...
  • KELLEY

  • Referenced in 643 articles [sw04829]
  • Iterative methods for optimization This book gives an...
  • JStatCom

  • Referenced in 108 articles [sw04873]
  • JStatCom is a software framework that makes it...
  • HYSDEL

  • Referenced in 39 articles [sw05200]
  • HYSDEL allows modeling a class of hybrid systems...
  • bvp4c

  • Referenced in 307 articles [sw06178]
  • MATLAB-bvp4c -Solve boundary value problems for ordinary...
  • JBool

  • Referenced in 123 articles [sw06185]
  • This software promotes some general and useful tools...
  • PATH Solver

  • Referenced in 190 articles [sw06242]
  • Several new interfaces have recently been developed requiring...