Validated Anti-Derivatives

Computer Aided Proofs in Analysis - The IMA Volumes in Mathematics and Its Applications ◽

10.1007/978-1-4613-9092-3_9 ◽

1991 ◽

pp. 90-96

Author(s):

George F. Corliss

Download Full-text