P000004

[To be confirmed] Recent progress in verified computations  


*Shin'ichi Oishi (Waseda University) oishi@waseda.jp


Math formula preview: