Numerical Software with Result Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540212607, 9783540247388

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic

Numerical Software with Result Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24738-8_16 ◽

2004 ◽

pp. 259-273 ◽

Cited By ~ 2

Author(s):

David Lester

Keyword(s):

Trigonometric Functions ◽

Exact Arithmetic ◽

Inverse Trigonometric Functions

Download Full-text

Global Optimization in the COCONUT Project

Numerical Software with Result Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24738-8_14 ◽

2004 ◽

pp. 243-249 ◽

Cited By ~ 8

Author(s):

Hermann Schichl

Keyword(s):

Global Optimization

Download Full-text

Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication

Numerical Software with Result Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24738-8_12 ◽

2004 ◽

pp. 206-225 ◽

Cited By ~ 1

Author(s):

Daniela Fausten ◽

Gerhard Haßlinger

Keyword(s):

Numerical Analysis ◽

Switching Systems

Download Full-text

On Singular Interval Systems

Numerical Software with Result Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24738-8_10 ◽

2004 ◽

pp. 191-197 ◽

Cited By ~ 1

Author(s):

Götz Alefeld ◽

Günter Mayer

Keyword(s):

Interval Systems

Download Full-text

Nonlinear Parameter and State Estimation for Cooperative Systems in a Bounded-Error Context

Numerical Software with Result Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24738-8_6 ◽

2004 ◽

pp. 107-123 ◽

Cited By ~ 3

Author(s):

Michel Kieffer ◽

Eric Walter

Keyword(s):

State Estimation ◽

Cooperative Systems ◽

Nonlinear Parameter ◽

Bounded Error

Download Full-text

Interval Algorithms in Modeling of Multibody Systems

Numerical Software with Result Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24738-8_8 ◽

2004 ◽

pp. 132-159 ◽

Cited By ~ 6

Author(s):

Ekaterina Auer ◽

Andrés Kecskeméthy ◽

Martin Tändl ◽

Holger Traczinski

Keyword(s):

Multibody Systems

Download Full-text

Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies

Numerical Software with Result Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24738-8_3 ◽

2004 ◽

pp. 36-63 ◽

Cited By ~ 2

Author(s):

R. Baker Kearfott ◽

Markus Neher ◽

Shin’ichi Oishi ◽

Fabien Rico

Keyword(s):

Case Studies ◽

Interactive Systems ◽

Verified Computations

Download Full-text

An Application of Wavelet Theory to Early Breast Cancer

Numerical Software with Result Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24738-8_15 ◽

2004 ◽

pp. 250-258

Author(s):

Baya Oussena ◽

Abderrezak Henni ◽

René Alt

Keyword(s):

Breast Cancer ◽

Early Breast Cancer ◽

Wavelet Theory

Download Full-text

OOP and Interval Arithmetic – Language Support and Libraries

Numerical Software with Result Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24738-8_1 ◽

2004 ◽

pp. 1-14 ◽

Cited By ~ 1

Author(s):

Jürgen Wolff von Gudenberg

Keyword(s):

Interval Arithmetic ◽

Language Support

Download Full-text

Guaranteed Numerical Computation as an Alternative to Computer Algebra for Testing Models for Identifiability

Numerical Software with Result Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24738-8_7 ◽

2004 ◽

pp. 124-131 ◽

Cited By ~ 7

Author(s):

Eric Walter ◽

Isabelle Braems ◽

Luc Jaulin ◽

Michel Kieffer

Keyword(s):

Numerical Computation ◽

Computer Algebra

Download Full-text

Numerical Software with Result Verification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic

Global Optimization in the COCONUT Project

Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication

On Singular Interval Systems

Nonlinear Parameter and State Estimation for Cooperative Systems in a Bounded-Error Context

Interval Algorithms in Modeling of Multibody Systems

Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies

An Application of Wavelet Theory to Early Breast Cancer

OOP and Interval Arithmetic – Language Support and Libraries

Guaranteed Numerical Computation as an Alternative to Computer Algebra for Testing Models for Identifiability

Numerical Software with Result Verification - Lecture Notes in Computer Science
Latest Publications