Pages that link to "Item:Q1080247"

The following pages link to Computer-assisted proofs in analysis (Q1080247):

Displaying 29 items.

• Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds (Q475594) (← links)
• Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants (Q597106) (← links)
• Analysis of resonances in the spin-orbit problem in celestial mechanics. I: The synchronous resonance (Q913538) (← links)
• Construction of analytic KAM-surfaces and effective stability bounds (Q1110881) (← links)
• Construction of invariant tori for the spin-orbit problem in the Mercury-Sun system (Q1192270) (← links)
• Integrating computer algebra into proof planning (Q1272609) (← links)
• Invariant curves for area-preserving twist maps far from integrable (Q1279300) (← links)
• On computer-assisted proofs in ordinal number theory (Q1284712) (← links)
• Construction of librational invariant tori in the spin-orbit problem (Q1315367) (← links)
• Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
• Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem (Q2423229) (← links)
• Validated numerics for continuation and bifurcation of connecting orbits of maps (Q2423701) (← links)
• Computer assisted proofs in dynamical systems (Q2684072) (← links)
• Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity (Q2967914) (← links)
• (Q3002926) (← links)
• A numerical approach to the proof of existence of solutions for elliptic problems (Q3469483) (← links)
• (Q3490999) (← links)
• Calculating proofs on a computer in studies of the properties of linear mappings in finite-dimensional spaces (Q3795214) (← links)
• Rigorous estimates for a computer-assisted KAM theory (Q3796418) (← links)
• (Q4011815) (← links)
• Accurate strategies for small divisor problems (Q4710990) (← links)
• PERIOD DOUBLING RENORMALIZATION FOR AREA-PRESERVING MAPS AND MILD COMPUTER ASSISTANCE IN CONTRACTION MAPPING PRINCIPLE (Q4908428) (← links)
• Torus knot choreographies in the n-body problem (Q5147943) (← links)
• (Q5376649) (← links)
• Certified Computer Algebra on Top of an Interactive Theorem Prover (Q5428262) (← links)
• Existence of the FS-type renormalisation fixed point for unidirectionally-coupled pairs of maps (Q5889875) (← links)
• Validated numerical approximation of stable manifolds for parabolic partial differential equations (Q6142331) (← links)
• Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem (Q6155309) (← links)
• Kolmogorov-Arnold-Moser (KAM) theory for finite and infinite dimensional systems (Q6599395) (← links)