• Proteus

  • Referenced in 106 articles [sw41563]
  • single sphere settling in an enclosure under gravity. As a demonstration of the efficiency...
  • libMC

  • Referenced in 47 articles [sw06615]
  • intermediate variables are introduced. Then, libMC calculates enclosures as well as convex and concave relaxations...
  • ValEncIA-IVP

  • Referenced in 30 articles [sw04846]
  • applied to obtain validated enclosures of all states. However, validated computations are often affected...
  • ParLinSys

  • Referenced in 19 articles [sw06461]
  • library C++-Toolbox. ParLinSys computes verified enclosure of the solution set of parametric interval linear ... inner approximation of the solution enclosure. Current download version is ParLinSys 0.1 (released 011203). ParLinSys...
  • ValEncIA

  • Referenced in 19 articles [sw08735]
  • methods can be applied to obtain validated enclosures of all states. However, validated computations...
  • VSDP

  • Referenced in 12 articles [sw04003]
  • bounds of the true optimal value, verified enclosures of ε-optimal solutions, and verified certificates...
  • IBEX

  • Referenced in 12 articles [sw11947]
  • addressed are: System solving. A guaranteed enclosure for each solution of a system of (nonlinear...
  • intpakX

  • Referenced in 11 articles [sw00445]
  • function on a specified interval, and range enclosure for real-valued functions...
  • GRKLib

  • Referenced in 6 articles [sw20334]
  • propagation of local errors to obtain an enclosure of the global error at each computation...
  • SubLiME

  • Referenced in 3 articles [sw20298]
  • SubLiME package (subdividable linear maximumnorm enclosure). Subdividable linear efficient function enclosures (Slefes) provide...
  • Lurupa

  • Referenced in 4 articles [sw09980]
  • linear program and compute verified enclosures of near optimal feasible points. It is written...
  • CHAPARRAL

  • Referenced in 2 articles [sw36116]
  • CHAPARRAL: A Library for Solving Large Enclosure RadiaKon Heat Transfer Problems. Large, three-dimensional enclosure ... efficient solution of extremely large three-dimensional enclosure radiation heat transfer problems...
  • Fuego

  • Referenced in 2 articles [sw31833]
  • open large-scale pool fires and building enclosure fires. Fuego represents the turbulent, buoyantly-driven...
  • CONTIDNS

  • Referenced in 1 article [sw18602]
  • handle uncertain data and to yield verified enclosures of the solution, initially gained from...
  • PyFly

  • Referenced in 1 article [sw25306]
  • aerodynamic simulator can also deal with enclosure effects, multi-body interactions, and B-spline representation...
  • ACETAF

  • Referenced in 7 articles [sw00014]
  • ACETAF: A software package for computing validated bounds...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • BARON

  • Referenced in 357 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • C-XSC

  • Referenced in 110 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...