research
∙
04/28/2022
Global analysis of regulatory network dynamics: equilibria and saddle-node bifurcations
In this paper we describe a combined combinatorial/numerical approach to...
share
research
∙
02/27/2022
Computer-assisted proofs of Hopf bubbles and degenerate Hopf bifurcations
We present a computer-assisted approach to prove the existence of Hopf b...
research
∙
02/10/2022
Computer Validation of Neural Network Dynamics: A First Case Study
A large number of current machine learning methods rely upon deep neural...
research
∙
09/28/2020
Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE
We use computer-assisted proof techniques to prove that a branch of non-...
research
∙
06/23/2020