20 citations · 26 across the 9 of their papers we have counts for
Showing 2008Show all
3 papers · 1 filter
math.DS2008★ 20 cited
A note on the convergence of parametrised non-resonant invariant manifolds
Tomas Johnson, Warwick Tucker
Truncated Taylor series representations of invariant manifolds are abundant in numerical computations. We present an aposteriori method to compute the convergence radii and error e…
math.DS2008★ 3 cited
Automated computation of robust normal forms of planar analytic vector fields
Tomas Johnson, Warwick Tucker
We construct an auto-validated algorithm that calculates a close to identity change of variables which brings a general saddle point into a normal form. The transformation is robus…
math.DS2008★ 3 cited
On a computer-aided approach to the computation of Abelian integrals
Tomas Johnson, Warwick Tucker
An accurate method to compute enclosures of Abelian integrals is developed. This allows for an accurate description of the phase portraits of planar polynomial systems that are per…