-
PRISM
- Referenced in 442 articles
[sw01186]
- PRISM: Probabilistic symbolic model checker. In this paper...
-
ML
- Referenced in 522 articles
[sw01218]
- ML (’Meta Language’) is a general-purpose functional...
-
AMPL
- Referenced in 617 articles
[sw04001]
- AMPL is a comprehensive and powerful algebraic modeling...
-
METIS
- Referenced in 468 articles
[sw04089]
- METIS is a set of serial programs for...
-
Ipopt
- Referenced in 740 articles
[sw04808]
- Ipopt (Interior Point OPTimizer, pronounced eye-pea-Opt...
-
XPPAUT
- Referenced in 453 articles
[sw05543]
- XPPAUT is software for the analysis and simulation...
-
Chebfun
- Referenced in 419 articles
[sw05897]
- Chebfun is a collection of algorithms and a...
-
bvp4c
- Referenced in 299 articles
[sw06178]
- MATLAB-bvp4c -Solve boundary value problems for ordinary...
-
LMI toolbox
- Referenced in 1463 articles
[sw06383]
- Linear Matrix Inequalities (LMIs) and LMI techniques have...
-
PMIRKDC
- Referenced in 32 articles
[sw06409]
- PMIRKDC: a parallel mono-implicit Runge-Kutta code...
-
PyDSTool
- Referenced in 18 articles
[sw06718]
- PyDSTool is a sophisticated & integrated simulation and analysis...
-
MIRKDC
- Referenced in 36 articles
[sw07159]
- Runge-Kutta software defect control for boundary value...
-
Robotics
- Referenced in 101 articles
[sw07383]
- The Robotics Toolbox is a software package that...
-
PHClab
- Referenced in 16 articles
[sw09668]
- PHClab: A MATLAB/Octave Interface to PHCpack. PHCpack is...
-
rootsb
- Referenced in 15 articles
[sw11379]
- Computing common zeros of two bivariate function: r...
-
LBS
- Referenced in 15 articles
[sw12372]
- A language for biochemical systems: design and formal...
-
BlenX
- Referenced in 22 articles
[sw12373]
- The BlenX Language: A Tutorial. This paper presents...
-
Chebfun2
- Referenced in 41 articles
[sw12708]
- An extension of Chebfun to two dimensions. Chebfun...
