Talks & activities

Rigorous Numerical Computing with ARIADNE

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

Associated researcher

17 Aug 2018

Associated organisations

View graph of relations

Details

Event

TitleTypes, Sets and Constructions<br/>
Date2/05/1824/08/18
Website
LocationHausdorff Research Institute for Mathematics
CityBonn
CountryGermany
Degree of recognitionInternational event

Documents