JST Sakura Exchange Program in Science, 2018 @ Niigata University
26 July - 4 August, 2018
P000023
Introduction to verified computation (I)
*Kouta SEKINE (Toyo University)
TBA
TBA
Supported by SmartChair
Math formula preview: