A Software Package for the Numerical Integration of ODEs by Means of High-Order Taylor Methods
From MaRDI portal
Publication:3418630
DOI10.1080/10586458.2005.10128904zbMath1108.65072OpenAlexW1995249182MaRDI QIDQ3418630
Publication date: 5 February 2007
Published in: Experimental Mathematics (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.em/1120145574
softwarenumerical examplesinitial value problemscomputer programautomatic differentiationpackageTaylor methodextended precision arithmetics
Nonlinear ordinary differential equations and systems (34A34) Numerical methods for initial value problems involving ordinary differential equations (65L05) Packaged methods for numerical algorithms (65Y15)
Related Items
Accurate computations up to breakdown of quasi-periodic attractors in the dissipative spin-orbit problem, Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem, Numerical Computation of Transverse Homoclinic Orbits for Periodic Solutions of Delay Differential Equations, A database of high precision trivial choreographies for the planar three-body problem, A Self-Adaptive Algorithm of the Clean Numerical Simulation (CNS) for Chaos, Pure quadratization and solution of ordinary differential equations by probabilistic evolution theory with concurrent computation of coefficients using exact arithmetic, Complexity in a Hybrid van der Pol System, Computational complexity of solving polynomial differential equations over unbounded domains, Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds, A general method for computer-assisted proofs of periodic solutions in delay differential problems, Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds, Study of the ejection/collision orbits in the spatial RTBP using the McGehee regularization, Clean numerical simulation: a new strategy to obtain reliable solutions of chaotic dynamic systems, Computing the solutions of the van der Pol equation to arbitrary precision, Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation, Taylor series expansion using matrices: an implementation in MATLAB{\circledR}, Stochastic modelling of the eradication of the HIV-1 infection by stimulation of latently infected cells in patients under highly active anti-retroviral therapy, Lagrangian and Hamiltonian Taylor variational integrators, Approximate Taylor methods for ODEs, Least-squares solution of linear differential equations, Parameterization method for unstable manifolds of delay differential equations, Extreme amplitudes of a periodically forced Duffing oscillator, Convergent power series of \(\operatorname{sech}(x)\) and solutions to nonlinear differential equations, Collisional $N$-Body Numerical Integrator with Applications to Charged Particle Dynamics, Sensitivities of effective properties computed using micromechanics differential schemes and high-order Taylor series: application to piezo-polymer composites, Systematic search of symmetric periodic orbits in 2DOF Hamiltonian systems, A posteriori error analysis of round-off errors in the numerical solution of ordinary differential equations, Computing of B-series by automatic differentiation, A new class of efficient one-step contractivity preserving high-order time discretization methods of order 5 to 14, Numerical Computation of High-Order Expansions of Invariant Manifolds of High-Dimensional Tori, High-Order Parameterization of Stable/Unstable Manifolds for Long Periodic Orbits of Maps, PAINTING CHAOS: A GALLERY OF SENSITIVITY PLOTS OF CLASSICAL PROBLEMS, Automatic solver for non-linear partial differential equations with implicit local laws: Application to unilateral contact, Uncertainty propagation or box propagation, Determination of the doubly symmetric periodic orbits in the restricted three-body problem and Hill's lunar problem, Reducing rounding errors and achieving Brouwer's law with Taylor series method, Computation of maximal local (un)stable manifold patches by the parameterization method, Resonance tongues in the quasi-periodic Hill-Schrödinger equation with three frequencies, A cartographic study of the phase space of the elliptic restricted three body problem. Application to the Sun-Jupiter-asteroid system, To and fro motion for the hydrogen atom in a circularly polarized microwave field, Phase-amplitude dynamics in terms of extended response functions: invariant curves and Arnold tongues, Set propagation in dynamical systems with generalised polynomial algebra and its computational complexity, Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems, A new subdivision algorithm for the flow propagation using polynomial algebras, Hopf bifurcation for the hydrogen atom in a circularly polarized microwave field, Transport and invariant manifolds near \(L_3\) in the Earth-Moon bicircular model, Analytical and numerical results on families of \(n\)-ejection-collision orbits in the RTBP, Numerical integration of high-order variational equations of ODEs, The generalized non-conservative model of a 1-planet system revisited, Landau: a language for dynamical systems with automatic differentiation, Status of the differential transformation method, Transit regions and ejection/collision orbits in the RTBP, Global phase-amplitude description of oscillatory dynamics via the parameterization method, Picard iteration-based variable-order integrator with dense output employing algorithmic differentiation, Bifurcations of periodic solutions of a Hamiltonian system with a discrete symmetry group, Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I, The Round Taylor Method, A generalized Taylor method of order three for the solution of initial value problems in standard and infinity floating-point arithmetic, Automatic implementation of the numerical Taylor series method: a \textsc{Mathematica} and \textsc{Sage} approach, On approximate implicit Taylor methods for ordinary differential equations, COMPARATIVE STUDY OF VARIATIONAL CHAOS INDICATORS AND ODEs' NUMERICAL INTEGRATORS, Dynamics and bifurcations in a simple quasispecies model of tumorigenesis, Asymptotic behaviour of the stability parameter for a family of singular-limit Hill's equation, Automatic differentiation for Fourier series and the radii polynomial approach, A three-stage, VSVO, Hermite-Birkhoff-Taylor, ODE solver, A one-step 7-stage Hermite-Birkhoff-Taylor ODE solver of order 11, The vicinity of the Earth-Moon \(L_1\) point in the bicircular problem, Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence, A family of periodic orbits in the three-dimensional lunar problem, The parametrically forced pendulum: A case study in \(1\frac12\) degree of freedom, New nonlinear mechanisms of midlatitude atmospheric low-frequency variability, High-order parameterization of (un)stable manifolds for hybrid maps: implementation and applications, Quasi-periodic motions in a special class of dynamical equations with dissipative effects: a pair of detection methods, Sweeping algebraic curves for singular solutions, Breaking the limits: The Taylor series method, BIFURCATIONS AND CHAOS IN HAMILTONIAN SYSTEMS, Discrete data assimilation in the Lorenz and 2D Navier-Stokes equations, Reprint of: ``Approximate Taylor methods for ODEs, Using automatic differentiation to compute periodic orbits of delay differential equations, Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach, Dynamics of the QR-flow for upper Hessenberg real matrices, A numerical algorithm for solving higher-order nonlinear BVPs with an application on fluid flow over a shrinking permeable infinite long cylinder, On the stability of periodic Mercury-type rotations, \(F\) and \(G\) Taylor series solutions to the Stark and Kepler problems with Sundman transformations, Using invariant manifolds to capture an asteroid near the \(L_3\) point of the Earth-Moon bicircular model, Hermite methods for hyperbolic initial-boundary value problems, Bifurcation Complexity from Orbit-Flip Homoclinic Orbit of Weak Type, Validated computations for connecting orbits in polynomial vector fields, Tools to detect structures in dynamical systems using jet transport, Taylor, One-step 5-stage Hermite-Birkhoff-Taylor ODE solver of order 12, KAM quasi-periodic tori for the dissipative spin-orbit problem, Triggering recollisions with XUV pulses: imprint of recolliding periodic orbits, Efficient and accurate KAM tori construction for the dissipative spin-orbit problem using a map reduction, Computer-assisted proofs in PDE: a survey, The spatial Hill four-body problem. I: An exploration of basic invariant sets, The spin-spin problem in celestial mechanics, Using normal forms to study Oterma's transition in the planar RTBP, Adaptive Hamiltonian Variational Integrators and Applications to Symplectic Accelerated Optimization, Finite element approximation of invariant manifolds by the parameterization method, Chebyshev–Taylor Parameterization of Stable/Unstable Manifolds for Periodic Orbits: Implementation and Applications, Designing Complex Interplanetary Trajectories for the Global Trajectory Optimization Competitions, Generalized analytical results on \(n\)-ejection-collision orbits in the RTBP. Analysis of bifurcations, The high-order Euler method and the spin-orbit model, Computability of Differential Equations, Parameterized stable/unstable manifolds for periodic solutions of implicitly defined dynamical systems, Quasi-Periodic Frequency Analysis Using Averaging-Extrapolation Methods
Uses Software
