Search of article List
2009 International Symposium on Nonlinear Theory and its Applications
| number | title/author |
|---|---|
| A4L-A1 | A Verified Automatic Repeated Integration Algorithm based on Double Exponential Formula Naoya Yamanaka, Shin’ichi Oishi, Takeshi Ogita, |
| A4L-A2 | Guaranteed error estimate for solutions to two-point boundary value problems Akitoshi Takayasu, Shin’ichi Oishi, Takayuki Kubo, |
| A4L-A3 | Rigorous Computation of the Monodromy and the Pruning Front of Dynamical Systems Zin Arai, |