| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A constructive a priori error estimation for finite element discretizations in a non-convex domain using singular functions
|
Kobayashi, Kenta
|
|
2009
|
|
2-3 |
p. 493-516
|
artikel
|
| 2 |
Adaptive and efficient algorithm for 2D orientation problem
|
Ozaki, Katsuhisa
|
|
2009
|
|
2-3 |
p. 215-231
|
artikel
|
| 3 |
Algorithms for accurate, validated and fast polynomial evaluation
|
Graillat, Stef
|
|
2009
|
|
2-3 |
p. 191-214
|
artikel
|
| 4 |
An application of Taylor models to the Nakao method on ODEs
|
Yamamoto, Nobito
|
|
2009
|
|
2-3 |
p. 365-392
|
artikel
|
| 5 |
A numerical verification method for two-coupled elliptic partial differential equations
|
Watanabe, Yoshitaka
|
|
2009
|
|
2-3 |
p. 233-247
|
artikel
|
| 6 |
Application of the Krawczyk-Moore-Jones algorithm to electric circuit analysis and its further development
|
Okumura, Kohshi
|
|
2009
|
|
2-3 |
p. 145-167
|
artikel
|
| 7 |
Computer algebra for guaranteed accuracy. How does it help?
|
Kanno, Masaaki
|
|
2009
|
|
2-3 |
p. 517-530
|
artikel
|
| 8 |
Computer-assisted proofs for semilinear elliptic boundary value problems
|
Plum, Michael
|
|
2009
|
|
2-3 |
p. 419-442
|
artikel
|
| 9 |
Direct methods for linear systems with inexact input data
|
Mayer, Günter
|
|
2009
|
|
2-3 |
p. 279-296
|
artikel
|
| 10 |
Fast verified solutions of linear systems
|
Ogita, Takeshi
|
|
2009
|
|
2-3 |
p. 169-190
|
artikel
|
| 11 |
Guest editors’ preface
|
Nakao, Mitsuhiro T.
|
|
2009
|
|
2-3 |
p. 123-124
|
artikel
|
| 12 |
Inversion of extremely Ill-conditioned matrices in floating-point
|
Rump, Siegfried M.
|
|
2009
|
|
2-3 |
p. 249-277
|
artikel
|
| 13 |
Iterative refinement for ill-conditioned linear systems
|
Oishi, Shin’ichi
|
|
2009
|
|
2-3 |
p. 465-476
|
artikel
|
| 14 |
Numerical existence proof of five solutions for certain two-transistor circuit equations
|
Nakaya, Yusuke
|
|
2009
|
|
2-3 |
p. 327-336
|
artikel
|
| 15 |
Numerical verification method for infinite dimensional eigenvalue problems
|
Nagatou, Kaori
|
|
2009
|
|
2-3 |
p. 477-491
|
artikel
|
| 16 |
Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem
|
Watanabe, Yoshitaka
|
|
2009
|
|
2-3 |
p. 443-463
|
artikel
|
| 17 |
Numerical verification methods for sphericalt-designs
|
Chen, Xiaojun
|
|
2009
|
|
2-3 |
p. 317-325
|
artikel
|
| 18 |
On verified numerical computations in convex programming
|
Jansson, Christian
|
|
2009
|
|
2-3 |
p. 337-363
|
artikel
|
| 19 |
Preface
|
Sugihara, Masaaki
|
|
2009
|
|
2-3 |
p. 123
|
artikel
|
| 20 |
Recent development in rigorous computational methods in dynamical systems
|
Arai, Zin
|
|
2009
|
|
2-3 |
p. 393-417
|
artikel
|
| 21 |
Theory of an interval algebra and its application to numerical analysis
|
Sunaga, Teruo
|
|
2009
|
|
2-3 |
p. 125-143
|
artikel
|
| 22 |
Verified numerical computation for nonlinear equations
|
Alefeld, Goetz
|
|
2009
|
|
2-3 |
p. 297-315
|
artikel
|
Tijdschrift beschrijving