Computing Supplementum - Validation Numerics
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Vienna

9783211824511, 9783709169186

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Verified Computation of Fourier-Representations of Solutions for Functional Equations

Computing Supplementum - Validation Numerics ◽

10.1007/978-3-7091-6918-6_9 ◽

1993 ◽

pp. 101-115 ◽

Cited By ~ 1

Author(s):

E. Kaucher ◽

Ch. Baumhof

Keyword(s):

Functional Equations ◽

Verified Computation

Download Full-text

On the Existence and the Verified Determination of Homoclinic and Heteroclinic Orbits of the Origin for the Lorenz Equations

Computing Supplementum - Validation Numerics ◽

10.1007/978-3-7091-6918-6_17 ◽

1993 ◽

pp. 233-246 ◽

Cited By ~ 3

Author(s):

H. Spreuer ◽

E. Adams

Keyword(s):

Heteroclinic Orbits ◽

Lorenz Equations ◽

Homoclinic And Heteroclinic Orbits

Download Full-text

Computation of Interval Bounds for Weierstrass’ Elliptic Function ℘(z)

Computing Supplementum - Validation Numerics ◽

10.1007/978-3-7091-6918-6_12 ◽

1993 ◽

pp. 147-159

Author(s):

Walter Krämer ◽

Bertram Barth

Keyword(s):

Elliptic Function ◽

Weierstrass Elliptic Function

Download Full-text

On a Unified Concept of Mathematics

Computing Supplementum - Validation Numerics ◽

10.1007/978-3-7091-6918-6_1 ◽

1993 ◽

pp. 1-10 ◽

Cited By ~ 1

Author(s):

N. Apostolatos

Download Full-text

Convergence Acceleration for Some Rootfinding Methods

Computing Supplementum - Validation Numerics ◽

10.1007/978-3-7091-6918-6_6 ◽

1993 ◽

pp. 67-78 ◽

Cited By ~ 2

Author(s):

Weimin Han ◽

F. A. Potra

Keyword(s):

Convergence Acceleration

Download Full-text

Verification in Computer Algebra Systems

Computing Supplementum - Validation Numerics ◽

10.1007/978-3-7091-6918-6_18 ◽

1993 ◽

pp. 247-263 ◽

Cited By ~ 1

Author(s):

H. J. Stetter

Keyword(s):

Computer Algebra ◽

Computer Algebra Systems

Download Full-text

Developing Expert Systems for Validating Numerics

Computing Supplementum - Validation Numerics ◽

10.1007/978-3-7091-6918-6_11 ◽

1993 ◽

pp. 129-146

Author(s):

S. König ◽

C. P. Ullrich

Keyword(s):

Expert Systems

Download Full-text

A Program for Enclosing Cumulative Binomial Probabilities

Computing Supplementum - Validation Numerics ◽

10.1007/978-3-7091-6918-6_7 ◽

1993 ◽

pp. 79-92

Author(s):

G. Heindl

Download Full-text

Two-Stage Interval Iterative Methods

Computing Supplementum - Validation Numerics ◽

10.1007/978-3-7091-6918-6_5 ◽

1993 ◽

pp. 45-65 ◽

Cited By ~ 1

Author(s):

A. Frommer ◽

G. Mayer

Keyword(s):

Iterative Methods ◽

Two Stage

Download Full-text

Implementation of Accurate Matrix Multiplication on the CM-2

Computing Supplementum - Validation Numerics ◽

10.1007/978-3-7091-6918-6_20 ◽

1993 ◽

pp. 287-291 ◽

Cited By ~ 2

Author(s):

J. Wolff v. Gudenberg

Keyword(s):

Matrix Multiplication

Download Full-text