Computer-assisted techniques for the verification of the Chebyshev property of abelian integrals
DOI10.1016/j.jde.2013.01.036zbMath1270.34082OpenAlexW2048248040MaRDI QIDQ1945874
Warwick Tucker, Jordi-Lluís Figueras, Jordi Villadelprat
Publication date: 17 April 2013
Published in: Journal of Differential Equations (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jde.2013.01.036
interval arithmeticChebyshev systemsHilbert's 16th problemabelian integralsrigorous computer methods
Bifurcation theory for ordinary differential equations (34C23) Interval and finite arithmetic (65G30) Theory of limit cycles of polynomial and analytic vector fields (existence, uniqueness, bounds, Hilbert's 16th problem and ramifications) for ordinary differential equations (34C07) Bifurcations of limit cycles and periodic orbits in dynamical systems (37G15)
Related Items