Reliable Implementation of Real Number Algorithms: Theory and Practice - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540855200, 9783540855217

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Interval Arithmetic Using SSE-2

Reliable Implementation of Real Number Algorithms: Theory and Practice - Lecture Notes in Computer Science ◽

10.1007/978-3-540-85521-7_6 ◽

2008 ◽

pp. 102-113 ◽

Cited By ~ 7

Author(s):

Branimir Lambov

Keyword(s):

Interval Arithmetic

Download Full-text

Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP

Reliable Implementation of Real Number Algorithms: Theory and Practice - Lecture Notes in Computer Science ◽

10.1007/978-3-540-85521-7_1 ◽

2008 ◽

pp. 1-27 ◽

Cited By ~ 14

Author(s):

Ekaterina Auer ◽

Andreas Rauh ◽

Eberhard P. Hofer ◽

Wolfram Luther

Keyword(s):

Mechanical Systems

Download Full-text

Theory of Real Computation According to EGC

Reliable Implementation of Real Number Algorithms: Theory and Practice - Lecture Notes in Computer Science ◽

10.1007/978-3-540-85521-7_12 ◽

2008 ◽

pp. 193-237 ◽

Cited By ~ 6

Author(s):

Chee Yap

Download Full-text

Homotopy Conditions for Tolerant Geometric Queries

Reliable Implementation of Real Number Algorithms: Theory and Practice - Lecture Notes in Computer Science ◽

10.1007/978-3-540-85521-7_10 ◽

2008 ◽

pp. 162-180 ◽

Cited By ~ 1

Author(s):

Vadim Shapiro

Keyword(s):

Geometric Queries

Download Full-text

Interval Subroutine Library Mission

Reliable Implementation of Real Number Algorithms: Theory and Practice - Lecture Notes in Computer Science ◽

10.1007/978-3-540-85521-7_2 ◽

2008 ◽

pp. 28-43

Author(s):

George F. Corliss ◽

R. Baker Kearfott ◽

Ned Nedialkov ◽

John D. Pryce ◽

Spencer Smith

Download Full-text

Verified Methods in Stochastic Traffic Modelling

Reliable Implementation of Real Number Algorithms: Theory and Practice - Lecture Notes in Computer Science ◽

10.1007/978-3-540-85521-7_5 ◽

2008 ◽

pp. 83-101

Author(s):

Sebastian Kempken ◽

Wolfram Luther

Keyword(s):

Traffic Modelling

Download Full-text

Transfinite Interpolation for Well-Definition in Error Analysis in Solid Modelling

Reliable Implementation of Real Number Algorithms: Theory and Practice - Lecture Notes in Computer Science ◽

10.1007/978-3-540-85521-7_11 ◽

2008 ◽

pp. 181-192 ◽

Cited By ~ 1

Author(s):

Neil F. Stewart ◽

Malika Zidani

Keyword(s):

Error Analysis ◽

Solid Modelling ◽

Transfinite Interpolation

Download Full-text

Topological Neighborhoods for Spline Curves: Practice & Theory

Reliable Implementation of Real Number Algorithms: Theory and Practice - Lecture Notes in Computer Science ◽

10.1007/978-3-540-85521-7_9 ◽

2008 ◽

pp. 149-161 ◽

Cited By ~ 2

Author(s):

Lance Edward Miller ◽

Edward L. F. Moore ◽

Thomas J. Peters ◽

Alexander Russell

Keyword(s):

Practice Theory ◽

Spline Curves

Download Full-text

Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations

Reliable Implementation of Real Number Algorithms: Theory and Practice - Lecture Notes in Computer Science ◽

10.1007/978-3-540-85521-7_3 ◽

2008 ◽

pp. 44-56

Author(s):

Eva Dyllong

Keyword(s):

Object Representations ◽

Convex Polyhedral

Download Full-text

Robustness and Randomness

Reliable Implementation of Real Number Algorithms: Theory and Practice - Lecture Notes in Computer Science ◽

10.1007/978-3-540-85521-7_8 ◽

2008 ◽

pp. 127-148

Author(s):

Dominique Michelucci ◽

Jean Michel Moreau ◽

Sebti Foufou

Download Full-text

Reliable Implementation of Real Number Algorithms: Theory and Practice - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Interval Arithmetic Using SSE-2

Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP

Theory of Real Computation According to EGC

Homotopy Conditions for Tolerant Geometric Queries

Interval Subroutine Library Mission

Verified Methods in Stochastic Traffic Modelling

Transfinite Interpolation for Well-Definition in Error Analysis in Solid Modelling

Topological Neighborhoods for Spline Curves: Practice & Theory

Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations

Robustness and Randomness

Reliable Implementation of Real Number Algorithms: Theory and Practice - Lecture Notes in Computer Science
Latest Publications