Scientific Computing, Computer Arithmetic, and Validated Numerics - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer International Publishing

9783319317687, 9783319317694

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Outer Bounds for the Parametric Controllable Solution Set with Linear Shape

Scientific Computing, Computer Arithmetic, and Validated Numerics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-31769-4_12 ◽

2016 ◽

pp. 138-147 ◽

Author(s):

Evgenija D. Popova

Keyword(s):

Solution Set ◽

Outer Bounds ◽

Download Full-text

Numerical Probabilistic Approach for Optimization Problems

Scientific Computing, Computer Arithmetic, and Validated Numerics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-31769-4_4 ◽

2016 ◽

pp. 43-53 ◽

Author(s):

Boris Dobronets ◽

Olga Popova

Keyword(s):

Optimization Problems ◽

Probabilistic Approach

Download Full-text

Replacing Branches by Polynomials in Vectorizable Elementary Functions

Scientific Computing, Computer Arithmetic, and Validated Numerics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-31769-4_2 ◽

2016 ◽

pp. 14-22

Author(s):

Olga Kupriianova ◽

Christoph Lauter

Keyword(s):

Elementary Functions

Download Full-text

Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators

Scientific Computing, Computer Arithmetic, and Validated Numerics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-31769-4_18 ◽

2016 ◽

pp. 225-235

Author(s):

Takehiko Kinoshita ◽

Yoshitaka Watanabe ◽

Mitsuhiro T. Nakao

Keyword(s):

Elliptic Operators

Download Full-text

The Forthcoming IEEE Standard 1788 for Interval Arithmetic

Scientific Computing, Computer Arithmetic, and Validated Numerics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-31769-4_3 ◽

2016 ◽

pp. 23-39 ◽

Author(s):

John Pryce

Keyword(s):

Interval Arithmetic ◽

Download Full-text

Reserve of Characteristic Inclusion as Recognizing Functional for Interval Linear Systems

Scientific Computing, Computer Arithmetic, and Validated Numerics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-31769-4_13 ◽

2016 ◽

pp. 148-167

Author(s):

Irene A. Sharaya ◽

Sergey P. Shary

Keyword(s):

Linear Systems ◽

Interval Linear ◽

Interval Linear Systems

Download Full-text

Exponential Enclosure Techniques for Initial Value Problems with Multiple Conjugate Complex Eigenvalues

Scientific Computing, Computer Arithmetic, and Validated Numerics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-31769-4_20 ◽

2016 ◽

pp. 247-256 ◽

Author(s):

Andreas Rauh ◽

Ramona Westphal ◽

Harald Aschemann ◽

Ekaterina Auer

Keyword(s):

Initial Value Problems ◽

Initial Value ◽

Complex Eigenvalues

Download Full-text

Hausdorff Continuous Interval Functions and Approximations

Scientific Computing, Computer Arithmetic, and Validated Numerics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-31769-4_1 ◽

2016 ◽

pp. 3-13 ◽

Author(s):

Roumen Anguelov ◽

Svetoslav Markov

Keyword(s):

Interval Functions

Download Full-text

Efficiency of Reproducible Level 1 BLAS

Scientific Computing, Computer Arithmetic, and Validated Numerics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-31769-4_8 ◽

2016 ◽

pp. 99-108 ◽

Author(s):

Chemseddine Chohra ◽

Philippe Langlois ◽

David Parello

Keyword(s):

Download Full-text

Convergence and Inclusion Isotonicity of the Tensorial Rational Bernstein Form

Scientific Computing, Computer Arithmetic, and Validated Numerics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-31769-4_14 ◽

2016 ◽

pp. 171-179 ◽

Author(s):

Jürgen Garloff ◽

Tareq Hamadneh

Download Full-text