The Features of PASCAL-XSC

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

10.1007/978-3-642-78423-1_2 ◽

1993 ◽

pp. 17-30

Author(s):

Ulrich Kulisch ◽

Rolf Hammer ◽

Dietmar Ratz ◽

Matthias Hocks

Download Full-text