| Vol. 12 No. 1 (2021) Published on January 1, 2021 |
|
|
Special Section on Verified Numerical Computations, Part Ⅱ |
| |
FOREWORD |
| 1-1 : | Special section on verified numerical computations, Part II |
| | Shin’ichi Oishi, Siegfried M. Rump |
| |
Invited Paper |
| 2-40 : | Preconditioning of Taylor models, implementation and test cases |
| | Florian Bünger |
| 41-74 : | Numerical verification methods for a system of elliptic PDEs, and their software library |
| | Kouta Sekine, Mitsuhiro T. Nakao, Shin'ichi Oishi |
|
Regular Section |
| |
Paper |
| 75-87 : | Invariant set of two-dimensional dynamics of golden ratio encoders |
| | Yutaka Jitsumatsu |
| 88-102 : | Successive nested mixed-mode oscillations |
| | Hidetaka Ito, Naohiko Inaba, Hideaki Okazaki |
| 103-116 : | Augmented phase reduction for periodic orbits near a homoclinic bifurcation and for relaxation oscillators |
| | Bharat Monga, Jeff Moehlis |
|
