number | title/author |
---|---|
C3L-C1 | A basic interval global optimization procedure for Matlab/INTLAB Tibor Csendes, Laszlo Pal, |
C3L-C2 | A computer-assisted proof of chaotic behaviour of the area preserving Henon map Balazs Banhelyi, Tibor Csendes, Barnabas M. Garay, |
C3L-C3 | Verified Numerical Computations in Convex Programming and Applications Christian Jansson, |
C3L-C4 | Capabilities of Constraint Programming in Rigorous Global Optimization Michel Rueher Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, |