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, |