Validated spectral stability via conjugate points - Margaret Beck; Jonathan Jaquette (2021)