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