Event Computer-Assisted Proofs in Delayed and Infinite-Dimensional Dynamical Systems
starts on
3 May 2027, 00:00:00
(Europe/Rome)
Olivier Hénot
5 lectures plus discussion on:
Introduction to Julia programming, the libraries IntervalArithmetic.jl (for interval arithmetic), and RadiiPolynomial.jl (handles Fourier, Taylor and Chebyshev bases, convolution, differential, and integral operators), examples, connecting orbits and chaos.