Fourier–Taylor parameterization of unstable manifolds for parabolic partial differential equations: Formalism, implementation and rigorous validation by Reinhardt, Christian, Mireles James, J.D.

Get full text

Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem by Murray, Maxime, Mireles James, J.D.

Get full text

Parameterized stable/unstable manifolds for periodic solutions of implicitly defined dynamical systems by Timsina, Archana Neupane, Mireles James, J.D.

Get full text

Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem by Capiński, Maciej J., Kepley, Shane, Mireles James, J.D.

Get full text

Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem by Kepley, Shane, Mireles James, J.D.

Get full text

Automatic differentiation for Fourier series and the radii polynomial approach by Lessard, Jean-Philippe, Mireles James, J.D., Ransford, Julian

Get full text

Resonant tori, transport barriers, and chaos in a vector field with a Neimark–Sacker bifurcation by Fleurantin, Emmanuel, James, J.D. Mireles

Get full text

High-order parameterization of (un)stable manifolds for hybrid maps: Implementation and applications by Naudot, Vincent, Mireles James, J.D., Lu, Qiuying

Get full text

Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits by Mireles James, J.D.

Get full text

Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds by Mireles James, J.D.

Get full text