Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Mathematical Software Année : 2006

Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques

Résumé

RealPaver is an interval software for modeling and solving nonlinear systems. Reliable approximations of continuous or discrete solution sets are computed using Cartesian products of intervals. Systems are given by sets of equations or inequality constraints over integer and real variables. Moreover, they may have different natures, being square or nonsquare, sparse or dense, linear, polynomial, or involving transcendental functions.The modeling language permits stating constraint models and tuning parameters of solving algorithms which efficiently combine interval methods and constraint satisfaction techniques. Several consistency techniques (box, hull, and 3B) are implemented. The distribution includes C sources, executables for different machine architectures, documentation, and benchmarks. The portability is ensured by the GNU C compiler.
Fichier non déposé

Dates et versions

hal-00480813 , version 1 (05-05-2010)

Identifiants

  • HAL Id : hal-00480813 , version 1

Citer

Laurent Granvilliers, Frédéric Benhamou. Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques. ACM Transactions on Mathematical Software, 2006, 32 (1), pp.138-156. ⟨hal-00480813⟩
208 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More