Springer Series in Computational Mathematics - Numerical Toolbox for Verified Computing I
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642784255, 9783642784231
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Evaluation of Polynomials

1993 ◽  
pp. 57-68
Author(s):  
Ulrich Kulisch ◽  
Rolf Hammer ◽  
Dietmar Ratz ◽  
Matthias Hocks

Mathematical Preliminaries

1993 ◽  
pp. 31-53
Author(s):  
Ulrich Kulisch ◽  
Rolf Hammer ◽  
Dietmar Ratz ◽  
Matthias Hocks

Nonlinear Systems of Equations

1993 ◽  
pp. 264-281
Author(s):  
Ulrich Kulisch ◽  
Rolf Hammer ◽  
Dietmar Ratz ◽  
Matthias Hocks
Keyword(s):  
Nonlinear Systems ◽  
Systems Of Equations ◽  
Nonlinear Systems Of Equations

Linear Systems of Equations

1993 ◽  
pp. 175-194
Author(s):  
Ulrich Kulisch ◽  
Rolf Hammer ◽  
Dietmar Ratz ◽  
Matthias Hocks
Keyword(s):  
Linear Systems ◽  
Systems Of Equations ◽  
Linear Systems Of Equations

Introduction

1993 ◽  
pp. 1-14
Author(s):  
Ulrich Kulisch ◽  
Rolf Hammer ◽  
Dietmar Ratz ◽  
Matthias Hocks

Evaluation of Arithmetic Expressions

1993 ◽  
pp. 131-151
Author(s):  
Ulrich Kulisch ◽  
Rolf Hammer ◽  
Dietmar Ratz ◽  
Matthias Hocks
Keyword(s):  
Arithmetic Expressions

The Features of PASCAL-XSC

1993 ◽  
pp. 17-30
Author(s):  
Ulrich Kulisch ◽  
Rolf Hammer ◽  
Dietmar Ratz ◽  
Matthias Hocks

Linear Optimization

1993 ◽  
pp. 195-224
Author(s):  
Ulrich Kulisch ◽  
Rolf Hammer ◽  
Dietmar Ratz ◽  
Matthias Hocks
Keyword(s):  
Linear Optimization

Global Optimization

1993 ◽  
pp. 105-130
Author(s):  
Ulrich Kulisch ◽  
Rolf Hammer ◽  
Dietmar Ratz ◽  
Matthias Hocks
Keyword(s):  
Global Optimization
Load More ...
Sign in / Sign up

Export Citation Format

Share Document