Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points - Berg, Jan Bouwe van den; Gameiro, Márcio Fuzeto; Lessard, Jean-Philippe; Vorst, Rob Van der (Foundations of Computational Mathematics, 2024)