• 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 high-level 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 large-scale constrained...
  • PETSc

  • Referenced in 1594 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • Trilinos

  • Referenced in 412 articles [sw04028]
  • Each Trilinos package is a self-contained, 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 Multi-Parametric Toolbox (MPT) is a free...