Computing necessary integrability conditions for planar parametrized homogeneous potentials

DOI10.1145/2608628.2608662zbMath1325.68266arXiv1405.5342OpenAlexW2003417439MaRDI QIDQ3452379

Thierry Combot, Alin Bostan, Mohab Safey El Din

Publication date: 11 November 2015

Published in: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1405.5342

zbMATH Keywords

algorithmsintegrabilitypotentials

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Three-body problems (70F07) Completely integrable finite-dimensional Hamiltonian systems, integration methods, integrability tests (37J35) Nonintegrable systems for problems in Hamiltonian and Lagrangian mechanics (70H07)

Related Items

Liouville integrability: an effective Morales-Ramis-Simó theorem ⋮ Nonintegrability of the Armbruster--Guckenheimer--Kim Quartic Hamiltonian Through Morales--Ramis Theory

Uses Software

• Jordan

Cites Work

• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• Cylindrical algebraic decomposition using validated numerics
• The Jordan Curve Theorem, Formally and Informally
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Definability and decision problems in arithmetic
• Unnamed Item
• Unnamed Item

This page was built for publication: Computing necessary integrability conditions for planar parametrized homogeneous potentials