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