Efficient and validated numerical evaluation of abelian integrals

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Finiteness of central configurations of five bodies in the plane
Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
On a computer-aided approach to the computation of Abelian integrals
Runge-Kutta pairs of order \(5(4)\) satisfying only the first column simplifying assumption
An evolution-based approach for approximate parameterization of implicitly defined curves by polynomial parametric spline curves
A unified proof of the weakened Hilbert 16th problem for \(n=2\)
Limit cycles of differential equations
On the number of zeros of Abelian integrals. A constructive solution of the infinitesimal Hilbert sixteenth problem
A cubic system with thirteen limit cycles
Fast convolution and fast Fourier transform under interval and fuzzy uncertainty
Ultra-arithmetic. I: Function data types
Loss of stability of self-oscillations close to resonance and versal deformations of equivariant vector fields
Algorithms for trigonometric curves (simplification, implicitization, parameterization)
Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof.
Mathematische Probleme. Vortrag, gehalten auf dem internationalen Mathematiker-Congress zu Paris 1900.
Ultra-arithmetic. II: Intervals of polynomials
Numerical integration in arbitrary-precision ball arithmetic
Computing discrete convolutions with verified accuracy via Banach algebras and the FFT.
Taylor forms -- use and limits.
Perturbation from an elliptic Hamiltonian of degree four. IV: Figure eight-loop.
Robust certified numerical homotopy tracking
CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
On extended Chebyshev systems with positive accuracy
Rational quadratic approximation to real algebraic curves
Auswertung der Normen von Interpolationsoperatoren
Integer multiplication in time \(O(n\log n)\)
Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
Introduction to Smooth Manifolds
Chebyshev interpolation polynomial-based tools for rigorous computing
Julia: A Fresh Approach to Numerical Computing
Extension of Chebfun to Periodic Functions
A computer-assisted proof of the Feigenbaum conjectures
A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
New lower bounds for the Hilbert numbers using reversible centers
A Quartic System with Twenty-Six Limit Cycles
An Approach for Certifying Homotopy Continuation Paths
Computing the Volume of Compact Semi-Algebraic Sets
Error Analysis of Some Operations Involved in the Cooley-Tukey Fast Fourier Transform
Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation
AN IMPROVED LOWER BOUND ON THE NUMBER OF LIMIT CYCLES BIFURCATING FROM A QUINTIC HAMILTONIAN PLANAR VECTOR FIELD UNDER QUINTIC PERTURBATION
Certified Parallelotope Continuation for One-Manifolds