Research › Codes

Towards computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points

J.B. van den Berg, M. Gameiro, J.-P. Lessard and R.C. Vandervorst
Foundations of Computational Mathematics, 24(5): 1739–1776, 2024

arXiv:2206.09205 doi:10.1007/s10208-023-09623-w Publication [68]

Files

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

• 2Dsquare.zip (14 MB)
• Cauchy-Riemann.zip (248 KB)
• Ohta-Kawasaki.zip (452 KB)

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