Götz Alefeld, Siegfried M. Rump, Mitsuhiro T. Nakao
págs. 197-198
Super-fast validated solution of linear systems
Siegfried M. Rump, Takeshi Ogita
págs. 199-206
Eberhard P. Hofer, Harald Aschemann, Marco Kletting, Andreas Rauh
págs. 207-212
Marco Kletting, Eberhard P. Hofer, Andreas Rauh, Harald Aschemann
págs. 213-219
On regular and singular interval systems
Günter Mayer
págs. 220-228
On multistep interval methods for solving the initial value problem
Andrzej Marciniak
págs. 229-237
págs. 238-244
An eigenvalue problem for derogatory matrices
Tomohiro Suzuki, Toshio Suzuki
págs. 245-250
Interval modeling of dynamics for multibody systems
Ekaterina Auer
págs. 251-256
págs. 257-262
A verified method for bounding clusters of zeros of analytic functions
Xiao-Ming Niu, Hiroshi Sugiura, Tetsuya Sakurai
págs. 263-270
The convergence rate of continued fractions representing solutions of a Riccati equation
Wolfram Luther
págs. 271-276
Guaranteed nonlinear parameter estimation in knowledge-based models
Michel Kieffer, Éric Walter
págs. 277-285
Kenta Genma, Nobito Yamamoto
págs. 286-296
A COCR method for solving complex symmetric linear systems
Shao-Liang Zhang, Tomohiro Sogabe
págs. 297-303
Existence test for solution of nonlinear systems applying affine arithmetic
Masahide Kashiwagi, Shinya Miyajima
págs. 304-309
Inner and outer bounds for the solution set of parametric linear systems
Evgenija Popova, Walter Krämer
págs. 310-316
Principles of verified numerical integration
Knut Petras
págs. 317-328
Remarks on a posteriori error estimation for finite element solutions
Hironobu Saito, Fumio Kikuchi
págs. 329-336
A method of obtaining verified solutions for linear systems suited for Java
S. Miyajima, T. Ogita, S. Oishi, K. Ozaki, S.M. Rump
págs. 337-344
A new scheme of computing the approximate inverse preconditioner for the reduced linear systems
T. Nodera, K. Moriya
págs. 345-352
Mihály Csaba Markót
págs. 353-357
Verified convex hull and distance computation for octree-encoded objects
Wolfram Luther, Eva Dyllong
págs. 358-364
Tadashi Kawanago
págs. 365-371
An efficient and safe framework for solving optimization problems
Yahia Lebbah, Michel Rueher, Claude Michel
págs. 372-377
Towards a computer-assisted proof for chaos in a forced damped pendulum equation
László Hatvani, Balázs Bánhelyi, Tibor Csendes
págs. 378-383
Empirical convergence speed of inclusion functions for facility location problems
Tibor Csendes, B. Tóth, J. Fernández
págs. 384-389
Two acceleration mechanisms in verified global optimization
A. Frommer, H. Tapamo
págs. 390-396
Proving the existence of zeros using the topological degree and interval arithmetic
B. Lang, F. Hoxha, A. Frommer
págs. 397-402
Interval-type and affine arithmetic-type techniques for handling uncertainty in expert systems
Bertram Ludäscher, Hung T. Nguyen, Sanjeev Chopra, Martine Ceberio, Chitta Baral, Vladik Kreinovich, Luc Longpré
págs. 403-410
© 2001-2024 Fundación Dialnet · Todos los derechos reservados