Result 1 to 20 of 51 total
Piecewise constant bounds for the solution of nonlinear Volterra-Fredholm integral equations. (English)
Comput. Appl. Math. 31, No. 2, 305-322 (2012).
1
New enclosure algorithms for the verified solutions of nonlinear Volterra integral equations. (English)
Appl. Math. Modelling 35, No. 6, 2972-2980 (2011).
2
Enclosing solutions in least squares problems. (English)
HERMIS-$μπ$ 11, 55-62 (2010).
3
Two-stage interval Krawczyk-Schwarz methods with applications to nonlinear parabolic PDE. (English)
Gervasi, Osvaldo (ed.) et al., Computational science and its applications ‒ ICCSA 2007. International conference, Kuala Lumpur, Malaysia, August 26‒29, 2007. Proceedings. Part III. Berlin: Springer (ISBN 978-3-540-74482-5/pbk). Lecture Notes in Computer Science 4707, 285-297 (2007).
4
Parallel interval Newton-like Schwarz methods for almost linear parabolic problems. (English)
J. Comput. Appl. Math. 199, No. 2, 437-444 (2007).
5
Numerical verification methods for solutions of the free boundary problem. (English)
Numer. Funct. Anal. Optimization 26, No. 4-5, 523-542 (2005).
6
A new subclass of $P$-matrices. (English)
Linear Algebra Appl. 393, 353-364 (2004).
7
Improved validated bounds for Taylor coefficients and for Taylor remainder series. (English)
J. Comput. Appl. Math. 152, No.1-2, 393-404 (2003).
8
Inclusion of solutions of Darboux problems for quasilinear hyperbolic equations. (English)
J. Comput. Appl. Math. 152, No.1-2, 243-262 (2003).
9
Cheap and tight bounds on the solution set of perturbed systems of nonlinear equations. (English)
Reliab. Comput. 7, No.5, 399-408 (2001).
10
Erratum to: “A simple derivation of the Hansen-Bliek-Rohn-Ning-Kearfott enclosure for linear interval equations”. (English)
Reliab. Comput. 6, No.2, 227 (2000).
11
Multistep filtering operators for ordinary differential equations. (English)
Jaffar, Joxan (ed.), Principles and practice of constraint programming - CP ’99. 5th international conference, Alexandria, VA, USA, October 11-14, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1713, 246-260 (1999).
12
Interval arithmetic tools for range approximation and inclusion of zeros. (English)
Bulgak, Haydar (ed.) et al., Error control and adaptivity in scientific computing. Proceedings of the NATO ASI, Antalya, Turkey, August 9-21, 1998. Dordrecht: Kluwer Academic Publishers. NATO ASI Ser., Ser. C, Math. Phys. Sci. 536, 1-21 (1999).
13
An enclosure method for the solution of linear ODEs with polynomial coefficients. (English)
Numer. Funct. Anal. Optimization 20, No.7-8, 779-803 (1999).
14
A simple derivation of the Hansen-Bliek-Rohn-Ning-Kearfott enclosure for linear interval equations. (English)
Reliab. Comput. 5, No.2, 131-136 (1999).
15
On the verified solution of large systems of linear equations with sparse matrices of arbitrary bandwidth. (Zur verifizierten Lösung großer linearer Gleichungssysteme mit spärlich besetzten Matrizen beliebiger Bandbreite.) (German)
Aachen: Shaker Verlag. xviii, 129 S. (Diss. Univ. Basel 1998) (1999).
16
Computing reliable error estimations for integral equations with discontinuities. (English)
Rev. Anal. Numér. Théor. Approx. 27, No.2, 227-236 (1998).
17
Comparison of direct to shooting enclosures for an inverse-monotone boundary value problem with locally steep solution. (English)
Computing 59, No.1, 63-83 (1997).
18
Problems in enclosing solutions of ODEs. (English)
Alefeld, Götz (ed.) et al., Numerical methods and error bounds. Proceedings of the IMACS-GAMM international symposium, Oldenburg, Germany, July 9‒12, 1995. Berlin: Akademie Verlag. Math. Res. 89, 297-302 (1996).
19
Interval methods that are guaranteed to underestimate (and the resulting new justification of Kaucher arithmetic). (English)
Reliab. Comput. 2, No.2, 119-124 (1996).
20
Result 1 to 20 of 51 total
Start
Contact
Print
General Help
