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