The 2008 International Symposium on Nonlinear Theory and its Applications

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