Research › Codes
Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
M. Gameiro, J.-P. Lessard and A. Pugliese.
Foundations of Computational Mathematics, 16(2): 531–575, 2016
PDF doi:10.1007/s10208-015-9259-7 Publication [26]
Files
Codes and data accompanying the paper, reproducing the computer-assisted proofs it reports.
- bx0_1.txt (1.1 KB)
- bx0_2.txt (1.1 KB)
- code.zip (12 KB)
- data_Example_5.7.mat.zip (24 MB)
code/ — 7 files (25 KB)
- DF0_ch.m (393 B)
- Df_ch.m (806 B)
- distrVerification.m (3.1 KB)
- int_estimates_cod.m (2.8 KB)
- readme.txt (1.0 KB)
- splitAndVerify.m (3.0 KB)
- verifySimplex.m (14 KB)
The scripts are written in MATLAB; the rigorous parts require the interval arithmetic package INTLAB to be installed and started.