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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 1

Author(s):

Evgenija D. Popova

Keyword(s):

Solution Set ◽

Outer Bounds ◽

Linear Shape

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 ◽

Cited By ~ 3

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

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 ◽

Cited By ~ 3

Author(s):

Andreas Rauh ◽

Ramona Westphal ◽

Harald Aschemann ◽

Ekaterina Auer

Keyword(s):

Initial Value Problems ◽

Initial Value ◽

Complex Eigenvalues

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 ◽

Cited By ~ 4

Author(s):

John Pryce

Keyword(s):

Interval Arithmetic ◽

Ieee Standard

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

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 ◽

Cited By ~ 1

Author(s):

Roumen Anguelov ◽

Svetoslav Markov

Keyword(s):

Interval Functions

Download Full-text

Computing Capture Tubes

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

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

2016 ◽

pp. 209-224

Author(s):

Luc Jaulin ◽

Daniel Lopez ◽

Vincent Le Doze ◽

Stéphane Le Menec ◽

Jordan Ninin ◽

...

Download Full-text

Interval Regularization Approach to the Firordt Method of the Spectrophotometric Analysis of the Non-separated Mixtures

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

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

2016 ◽

pp. 201-208 ◽

Cited By ~ 1

Author(s):

Valentin Golodov

Keyword(s):

Spectrophotometric Analysis

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Outer Bounds for the Parametric Controllable Solution Set with Linear Shape

Numerical Probabilistic Approach for Optimization Problems

Replacing Branches by Polynomials in Vectorizable Elementary Functions

Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators

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

The Forthcoming IEEE Standard 1788 for Interval Arithmetic

Reserve of Characteristic Inclusion as Recognizing Functional for Interval Linear Systems

Hausdorff Continuous Interval Functions and Approximations

Computing Capture Tubes

Interval Regularization Approach to the Firordt Method of the Spectrophotometric Analysis of the Non-separated Mixtures

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