2009 International Symposium on Nonlinear Theory and its Applications

number title/author
A4L-A1A Verified Automatic Repeated Integration Algorithm based on Double Exponential Formula
Naoya Yamanaka, Shin’ichi Oishi, Takeshi Ogita,
A4L-A2Guaranteed error estimate for solutions to two-point boundary value problems
Akitoshi Takayasu, Shin’ichi Oishi, Takayuki Kubo,
A4L-A3Rigorous Computation of the Monodromy and the Pruning Front of Dynamical Systems
Zin Arai,