Abstract


Getting closer to exact real number computations
sunyoung kim (연세대) /
In this talk, we discuss why using proof assistants is good to do mathematics (and its applications). And we consider some basic notions of real numbers within the constructive mathematical framework. At last we will give a brief overview our contribution to computations.