Video resources

This section has a collection of videos about interval arithmetic with Julia

Calculating with sets: Interval methods in Julia

Self contained tutorial about interval arithmetic in Julia. Given in JuliaCon 2020. Download the supplementary material here

Interval methods with Julia: finding one million roots in one second

Advanced talk about interval arithmetic and its applications. Given as part of the seminar series in nonlinear analysis

Global optimisation with interval methods in Julia

Talk about global optimisation using interval arithmetic. Talk given at the GERAD research center.

Rigorous global optimization in pure Julia

Introduction to global optimisation in Julia using interval arithmetic. Talk given at the JuMP-dev2019 meeting.

Guaranteed constrained and unconstrained global optimisation in Julia

Introduction to constrained and unconstrained optimisation using interval arithmetic. Talk given at juliacon2019.

Interval methods for scientific computing in Julia

Introduction to interval arithmetic in julia. Talk given at juliacon2019.

Representing functions and solving differential equations

Rigorous function approximation using interval arithmetic. Talk given at juliacon2018.

Equations, inequalities and global optimisation

Introduction to interval arithmetic and its application to constraint optimisation. Talk given at juliacon2017.