
ULM
 Referenced in 10 articles
[sw08978]
 deal with the suspensive character of some operations, and to program reactive behaviour. We also ... makes the access to references also potentially suspensive...

FIDAP
 Referenced in 37 articles
[sw00006]
 FIDAP (A Fluid Dynamics Analysis Program). This paper...

Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

hypre
 Referenced in 334 articles
[sw00426]
 hypre is a software library for the solution...

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

Matlab
 Referenced in 13702 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

SuperLU
 Referenced in 196 articles
[sw00930]
 SuperLU is a general purpose library for the...

TISEAN
 Referenced in 173 articles
[sw00967]
 Practical implementation of nonlinear time series methods: The...

SNOPT
 Referenced in 556 articles
[sw02300]
 SNOPT: An SQP algorithm for largescale constrained...

PETSc
 Referenced in 1594 articles
[sw04012]
 The Portable, Extensible Toolkit for Scientiﬁc Computation (PETSc...

Trilinos
 Referenced in 412 articles
[sw04028]
 Each Trilinos package is a selfcontained, independent...

Gurobi
 Referenced in 727 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming...

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

ABAQUS
 Referenced in 1616 articles
[sw04215]
 The Abaqus Unified FEA product suite offers powerful...

FLUENT
 Referenced in 447 articles
[sw04263]
 FLUENT is a Computational Fluid Dynamics (CFD) code...

OpenFOAM
 Referenced in 555 articles
[sw04317]
 The OpenFOAM® (Open Field Operation and Manipulation) CFD...

Simulink
 Referenced in 820 articles
[sw04348]
 Simulink® is an environment for multidomain simulation and...

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

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

MPT
 Referenced in 235 articles
[sw04732]
 The MultiParametric Toolbox (MPT) is a free...