Rigorous Numerical Computing with ARIADNE

Activity: Talk or presentation (speaker at event) › Talk or presentation › Academic

Description

Complexity and Real Computation Seminar
Period14 May 2020
Held atSouth Korea Mathematical Sciences - KAIST, Korea, Republic of
Degree of RecognitionLocal