Computer-assisted proofs of existence of KAM tori in planetary dynamical models of $\upsilon$-And $\mathbf{b}$

Rita Mastroianni, Ugo Locatelli

We reconsider the problem of the orbital dynamics of the innermost exoplanet of the $\upsilon$-Andromedae system (i.e., $\upsilon$-And $\mathbf{b}$) into the framework of a Secular…