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

ValEncIAIVP
 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 realvalued 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, threedimensional enclosure ... efficient solution of extremely large threedimensional enclosure radiation heat transfer problems...

Fuego
 Referenced in 2 articles
[sw31833]
 open largescale pool fires and building enclosure fires. Fuego represents the turbulent, buoyantlydriven...

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, multibody interactions, and Bspline representation...

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

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

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

CXSC
 Referenced in 110 articles
[sw00181]
 CXSC. A programming environment for verified scientific...