Rigorous Numerical Computing with ARIADNE

Collins, P. (Speaker)

Activity: Talk or presentation (speaker at event)Talk or presentationAcademic

Description

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