Rigorous Numerical Computing with ARIADNE

Activity: Talk or presentation / Performance / Speeches › Talk or presentation - at conference › Academic

Description

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