Rigorous Numerical Computing with ARIADNE

Collins, P. (Speaker)

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

Period17 Aug 2018
Event titleTypes, Sets and Constructions<br/>: Trimester Program
Event typeOther
LocationBonn, Germany
Degree of RecognitionInternational