A Note on a Verified Automatic Integration Algorithm.

Sat, 01 Jan 2011 00:00:00 +0100

Naoya Yamanaka, Masahide Kashiwagi, Shin'ichi Oishi, Takeshi Ogita:
A Note on a Verified Automatic Integration Algorithm. Reliab. Comput. 15(2): 156-167 (2011)