The 2008 International Symposium on Nonlinear Theory and its Applications

number title/author
C4L-C1Can exact computation help optimization?
Daniel Lazard,
C4L-C3Numerical Verification of Optimum Point in Linear Programming
Shin’ichi Oishi, Kunio Tanabe,