Theory of an interval algebra and its application to numerical analysis Teruo Sunaga OriginalPaper Pages: 125 - 143
Application of the Krawczyk-Moore-Jones algorithm to electric circuit analysis and its further development Kohshi Okumura OriginalPaper Pages: 145 - 167
Fast verified solutions of linear systems Takeshi OgitaShin’ichi Oishi OriginalPaper Pages: 169 - 190
Algorithms for accurate, validated and fast polynomial evaluation Stef GraillatPhilippe LangloisNicolas Louvet OriginalPaper Pages: 191 - 214
Adaptive and efficient algorithm for 2D orientation problem Katsuhisa OzakiTakeshi OgitaShin’ishi Oishi OriginalPaper Pages: 215 - 231
A numerical verification method for two-coupled elliptic partial differential equations Yoshitaka Watanabe OriginalPaper Pages: 233 - 247
Inversion of extremely Ill-conditioned matrices in floating-point Siegfried M. Rump OriginalPaper Pages: 249 - 277
Direct methods for linear systems with inexact input data Günter Mayer OriginalPaper Pages: 279 - 296
Numerical existence proof of five solutions for certain two-transistor circuit equations Yusuke NakayaTetsuo NishiMartin Claus OriginalPaper Pages: 327 - 336
On verified numerical computations in convex programming Christian Jansson OriginalPaper Pages: 337 - 363
An application of Taylor models to the Nakao method on ODEs Nobito YamamotoTakashi Komori OriginalPaper Pages: 365 - 392
Recent development in rigorous computational methods in dynamical systems Zin AraiHiroshi KokubuPaweł Pilarczyk OriginalPaper Pages: 393 - 417
Computer-assisted proofs for semilinear elliptic boundary value problems Michael Plum OriginalPaper Pages: 419 - 442
Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem Yoshitaka WatanabeMitsuhiro T. Nakao OriginalPaper Pages: 443 - 463
Iterative refinement for ill-conditioned linear systems Shin’ichi OishiTakeshi OgitaSiegfried M. Rump OriginalPaper Pages: 465 - 476
Numerical verification method for infinite dimensional eigenvalue problems Kaori Nagatou OriginalPaper Pages: 477 - 491
A constructive a priori error estimation for finite element discretizations in a non-convex domain using singular functions Kenta Kobayashi OriginalPaper Pages: 493 - 516
Computer algebra for guaranteed accuracy. How does it help? Masaaki KannoHirokazu Anai OriginalPaper Pages: 517 - 530