P000006

[To be confirmed] GPU computation in verified computation  


*Yuusuke Morikura (Waseda University) y.morikura@aoni.waseda.jp


Math formula preview: