Algorithm 852
Published in ACM Transactions on Mathematical Software • Mar 1, 2006
NobleIDNI2P93W48R23S19
Authors:,
Laurent Granvilliers
Frédéric Benhamou
Abstract
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...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!