Verified numerical computations for an i
β
Mitsuhiro T. Nakao; Yoshitaka Watanabe; Nobito Yamamoto
π
Article
π
2001
π
Japan Society for Industrial and Applied Mathemati
π
English
β 838 KB