Constructing Invariant Tori Using Guaranteed Euler Method | AMiner