Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals

Reliable Computing

Volumn 2, Issue 3, 1996, Pages 241-253

  Krämer, Walter ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 24844464805     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF02391698     Document Type: Article

References (1)

1. Adams, E. and Kulisch, U. (eds) Scientific computing with automatic result verification. Academic Press, San Diego, 1993.