Church's thesis meets the \(N\)-body problem

DOI10.1016/J.AMC.2005.09.077zbMath1101.70010OpenAlexW2152557104MaRDI QIDQ2497884

Warren D. Smith

Publication date: 4 August 2006

Published in: Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.amc.2005.09.077

zbMATH Keywords

ordinary differential equationscomputabilitypolynomial slowdown

Mathematics Subject Classification ID

Computational methods for problems pertaining to mechanics of particles and systems (70-08) (n)-body problems (70F10) Applications of computability and recursion theory (03D80) Numerical methods for ordinary differential equations (65L99)

Related Items (15)

Computational complexity of solving polynomial differential equations over unbounded domains ⋮ Synthesizing invariant barrier certificates via difference-of-convex programming ⋮ Can Newtonian systems, bounded in space, time, mass and energy compute all functions? ⋮ Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems ⋮ Physical constraints on hypercomputation ⋮ Embedding infinitely parallel computation in Newtonian kinematics ⋮ How much can analog and hybrid systems be proved (super-)Turing ⋮ Relativistic computers and the Turing barrier ⋮ Experimental computation of real numbers by Newtonian machines ⋮ Computability on reals, infinite limits and differential equations ⋮ Mathematical and Technological Computability ⋮ Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics ⋮ Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming ⋮ Computability of Differential Equations ⋮ A Survey on Analog Models of Computation

Uses Software

• DIFSUB

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theory of gravitational perturbations in the fast motion approximation
• Lagrangians for n point masses at the second post-Newtonian approximation of general relativity
• Stability of explicit time discretizations for solving initial value problems
• On the manifolds of total collapse orbits and of completely parabolic orbits for the n-body problem
• The existence of noncollision singularities in Newtonian systems
• A global existence theorem for the four body problem of Newtonian mechanics
• The existence of pseudocollisions in the plane
• The gravitational equations and the problem of motion
• Convergence and stability in the numerical integration of ordinary differential equations
• On gravitational motion
• The lorentz-covariant approximation method in general relativity. — I
• Consistency of the Canonical Reduction of General Relativity
• On the computational complexity of ordinary differential equations
• Collisions are of First Category
• Improbability of Collisions in Newtonian Gravitational Systems of Specified Angular Momentum
• Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
• Unpredictability and undecidability in dynamical systems
• Stability Analysis of Predictor-Corrector Algorithms of Adams Type
• Noncollision Singularities: Do Four Bodies Suffice!
• Coefficients for the study of Runge-Kutta integration processes
• Implicit Runge-Kutta Processes
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On The Motion of Particles in General Relativity Theory

This page was built for publication: Church's thesis meets the \(N\)-body problem