✦ LIBER ✦

A criterion for non-integrability based on Poincaré's theorem

✍ Scribed by Efi Meletlidou; Simos Ichtiaroglou

Publisher: Elsevier Science
Year: 1994
Tongue: English
Weight: 513 KB
Volume: 71
Category: Article
ISSN: 0167-2789
DOI: 10.1016/0167-2789(94)90148-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Poincaré's perturbation theorem and a

On Poincaré's perturbation theorem and a theorem of W. S. Loud

✍ D.E Leach 📂 Article 📅 1970 🏛 Elsevier Science 🌐 English ⚖ 782 KB

A generalization of Poincaré's theorem f

A generalization of Poincaré's theorem for recurrence equations

✍ Attila Máté; Paul Nevai 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 244 KB

Bell's theorem based on a generalized EP

Bell's theorem based on a generalized EPR criterion of reality

✍ Philippe H. Eberhard; Philippe Rosselet 📂 Article 📅 1995 🏛 Springer US 🌐 English ⚖ 815 KB

A criterion for non-integrability of Ham

A criterion for non-integrability of Hamiltonian systems with nonhomogeneous potentials

✍ Hidekazu Ito 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 974 KB

A proper base change theorem for non-tor

A proper base change theorem for non-torsion sheaves in étale cohomology

✍ Ch. Deninger 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 257 KB

A second-order system for polytime reaso

A second-order system for polytime reasoning based on Grädel's theorem

✍ Stephen Cook; Antonina Kolokolova 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 461 KB

We introduce a second-order system V1-Horn of bounded arithmetic formalizing polynomialtime reasoning, based on Gr adel's (Theoret. Comput. Sci. 101 (1992) 35) second-order Horn characterization of P. Our system has comprehension over P predicates (deÿned by Gr adel's second-order Horn formulas), an