Gerhard Heindl

Publication Activity (10 Years)

Years Active: 1997-2003
Publications (10 Years): 0

Publications

Stefan Borovac, Gerhard Heindl
Result Verification for Computational Problems in Geodesy. Numerical Software with Result Verification (2003)
Gerhard Heindl, Vladik Kreinovich, Maria Rifqi
In Case of Interval (or More General) Uncertainty, No Algorithm Can Choose the Simplest Representative. Reliab. Comput. 8 (3) (2002)
Gerhard Heindl
A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and Slopes. Reliab. Comput. 5 (3) (1999)
Gerhard Heindl
How to Guarantee Finite Termination of Verifying Global Optimization Codes. Reliab. Comput. 5 (1) (1999)
Gerhard Heindl, Vladik Kreinovich, Anatoly V. Lakeyev
Solving Linear Interval Systems Is NP-Hard Even If We Exclude Overflow and Underflow. Reliab. Comput. 4 (4) (1998)
Gerhard Heindl
A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and Slopes. SCAN (1998)
Gerhard Heindl
How to Compute Interval Inclusions of Geodetic Coordinates from Interval Inclusions of Cartesian Coordinates. Reliab. Comput. 3 (4) (1997)