Digital Library
Close Browse articles from a journal
 
Search for with title:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             10 results found
no title author magazine year volume issue page(s) type
1 Efficient Control of the Dependency Problem Based on Taylor Model Methods Kyoko Makino
 1999
 5 1 p. 3-12
10 p.
 article
2 Error Estimation for Indirect Measurements: Interval Computation Problem Is (Slightly) Harder Than a Similar Probabilistic Computational Problem Olga Kosheleva
 1999
 5 1 p. 81-95
15 p.
 article
3 Expression Templates for Dot Product Expressions Michael Lerch
 1999
 5 1 p. 69-80
12 p.
 article
4 How to Guarantee Finite Termination of Verifying Global Optimization Codes Gerhard Heindl
 1999
 5 1 p. 63-68
6 p.
 article
5 New Methods for High-Dimensional Verified Quadrature Martin Berz
 1999
 5 1 p. 13-22
10 p.
 article
6 Preface Shen Zuhe
 1999
 5 1 p. 1-1
1 p.
 article
7 Representing Knowledge within the Situation Calculus Using Interval-Valued Epistemic Fluents John Funge
 1999
 5 1 p. 35-61
27 p.
 article
8 SCAN-98: an IMACS/GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics Tibor Csendes
 1999
 5 1 p. 101-102
2 p.
 article
9 Solving Linear Systems with Error Control: Minisymposium within the 4th International Conference NMA98 N. Dimitrova
 1999
 5 1 p. 97-100
4 p.
 article
10 Solving Underdetermined Systems with Interval Methods Zhang Danqing
 1999
 5 1 p. 23-33
11 p.
 article
                             10 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands