1. Preface

   • Masaaki Sugihara

   EditorialNotes Pages: 123 - 123

2. Guest editors’ preface

   • Mitsuhiro T. Nakao
   • Shin’ichi Oishi

   EditorialNotes Pages: 123 - 124

3. Theory of an interval algebra and its application to numerical analysis

   • Teruo Sunaga

   OriginalPaper Pages: 125 - 143

4. Application of the Krawczyk-Moore-Jones algorithm to electric circuit analysis and its further development

   • Kohshi Okumura

   OriginalPaper Pages: 145 - 167

5. Fast verified solutions of linear systems

   • Takeshi Ogita
   • Shin’ichi Oishi

   OriginalPaper Pages: 169 - 190

6. Algorithms for accurate, validated and fast polynomial evaluation

   • Stef Graillat
   • Philippe Langlois
   • Nicolas Louvet

   OriginalPaper Pages: 191 - 214

7. Adaptive and efficient algorithm for 2D orientation problem

   • Katsuhisa Ozaki
   • Takeshi Ogita
   • Shin’ishi Oishi

   OriginalPaper Pages: 215 - 231

8. A numerical verification method for two-coupled elliptic partial differential equations

   • Yoshitaka Watanabe

   OriginalPaper Pages: 233 - 247

9. Inversion of extremely Ill-conditioned matrices in floating-point

   • Siegfried M. Rump

   OriginalPaper Pages: 249 - 277

10. Direct methods for linear systems with inexact input data

    • Günter Mayer

    OriginalPaper Pages: 279 - 296

11. Verified numerical computation for nonlinear equations

    • Goetz Alefeld

    OriginalPaper Pages: 297 - 315

12. Numerical verification methods for sphericalt-designs

    • Xiaojun Chen

    OriginalPaper Pages: 317 - 325

13. Numerical existence proof of five solutions for certain two-transistor circuit equations

    • Yusuke Nakaya
    • Tetsuo Nishi
    • Martin Claus

    OriginalPaper Pages: 327 - 336

14. On verified numerical computations in convex programming

    • Christian Jansson

    OriginalPaper Pages: 337 - 363

15. An application of Taylor models to the Nakao method on ODEs

    • Nobito Yamamoto
    • Takashi Komori

    OriginalPaper Pages: 365 - 392

16. Recent development in rigorous computational methods in dynamical systems

    • Zin Arai
    • Hiroshi Kokubu
    • Paweł Pilarczyk

    OriginalPaper Pages: 393 - 417

17. Computer-assisted proofs for semilinear elliptic boundary value problems

    • Michael Plum

    OriginalPaper Pages: 419 - 442

18. Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem

    • Yoshitaka Watanabe
    • Mitsuhiro T. Nakao

    OriginalPaper Pages: 443 - 463

19. Iterative refinement for ill-conditioned linear systems

    • Shin’ichi Oishi
    • Takeshi Ogita
    • Siegfried M. Rump

    OriginalPaper Pages: 465 - 476

20. Numerical verification method for infinite dimensional eigenvalue problems

    • Kaori Nagatou

    OriginalPaper Pages: 477 - 491

21. A constructive a priori error estimation for finite element discretizations in a non-convex domain using singular functions

    • Kenta Kobayashi

    OriginalPaper Pages: 493 - 516

22. Computer algebra for guaranteed accuracy. How does it help?

    • Masaaki Kanno
    • Hirokazu Anai

    OriginalPaper Pages: 517 - 530