IBL Tool - Digitale Bibliotheek

Digitale Bibliotheek

Tijdschrift beschrijving

Alle jaargangen van het bijbehorende tijdschrift

Alle afleveringen van het bijbehorende jaargang

Alle artikelen van de bijbehorende aflevering

12 gevonden resultaten

nr	titel	auteur	tijdschrift	jaar	jaarg.	afl.	pagina('s)	type
1	A Few Results on Table-Based Methods	Jean-Michel Muller		1999	5	3	p. 279-288 10 p.	artikel
2	An Accurate Distance-Calculation Algorithm for Convex Polyhedra	Eva Dyllong		1999	5	3	p. 241-253 13 p.	artikel
3	An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation	Nedialko S. Nedialkov		1999	5	3	p. 289-310 22 p.	artikel
4	A Numerical Verification Method of Solutions for the Navier-Stokes Equations	Yoshitaka Watanabe		1999	5	3	p. 347-357 11 p.	artikel
5	A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic	Adam Strzebonski		1999	5	3	p. 337-346 10 p.	artikel
6	A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and Slopes	Gerhard Heindl		1999	5	3	p. 269-278 10 p.	artikel
7	Comparing Partial Consistencies	Hélène Collavizza		1999	5	3	p. 213-228 16 p.	artikel
8	Dear Collegues			1999	5	3	p. 211-213 3 p.	artikel
9	Outer Estimation of Generalized Solution Sets to Interval Linear Systems	Sergey P. Shary		1999	5	3	p. 323-335 13 p.	artikel
10	The Interval-Enhanced GNU Fortran Compiler	Michael J. Schulte		1999	5	3	p. 311-322 12 p.	artikel
11	Verified Computation of Fast Decreasing Polynomials	Neli S. Dimitrova		1999	5	3	p. 229-240 12 p.	artikel
12	Verified Error Bounds for Linear Systems Through the Lanczos Process	Andreas Frommer		1999	5	3	p. 255-267 13 p.	artikel

12 gevonden resultaten

Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland