A rigorous numerical method for the proof of Galaktionov-Svirshchevskii's conjecture