Joint Seminar on Numerical Analysis at Niigata University

1 - 10 September, 2015

P000004

[To be confirmed] Recent progress in verified computations  

*Shin'ichi Oishi (Waseda University)



Supported by SmartChair

Math formula preview: