# Video resources

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

- Calculating with sets: Interval methods in Julia
- Interval methods with Julia: finding one million roots in one second
- Global optimisation with interval methods in Julia
- Rigorous global optimization in pure Julia
- Guaranteed constrained and unconstrained global optimisation in Julia
- Interval methods for scientific computing in Julia
- Representing functions and solving differential equations
- Equations, inequalities and global optimisation

## 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.