A Verified Automatic Contour Integration Algorithm
-
Published:2010
Issue:
Volume:
Page:
-
ISSN:
-
Container-title:Proceedings of the 4th International Workshop on Reliable Engineering Computing Robust Design – Coping with Hazards, Risk and Uncertainty – REC 2010
-
language:
-
Short-container-title:
Author:
N. Yamanaka,S. Oishi,T. Ogita
Publisher
Research Publishing Services