Computing time average bounds for the Van der Pol oscillator in Julia February 22, 2021
Time average bounds via Sum of Squares February 9, 2021
Greetings February 6, 2021