Research › Codes

Rigorous verification of saddle-node bifurcations in ODEs

J.-P. Lessard
Indagationes Mathematicae, 27(4): 1013–1026, 2016

PDF doi:10.1016/j.indag.2016.06.012 Publication [29]

Files

Codes and data accompanying the paper, reproducing the computer-assisted proofs it reports.

• Hodgkin-Huxley.zip (83 KB)

The scripts are written in MATLAB; the rigorous parts require the interval arithmetic package INTLAB to be installed and started.