Results 1 to 20 of 33
Sort by:

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