Sturm's algorithm and isolating blocks

Richard Moeckel

Research output: Contribution to journalArticlepeer-review

1 Scopus citations


A topological existence proof for certain solutions of the Newtonian three-body problem is based on the construction of isolating blocks for the flow on an integral manifold. An isolating block is a submanifold whose boundary satisfies a convexity condition with respect to the three-body flow. Verifying this convexity condition can be reduced to the problem of checking the sign of a very complicated function of one variable. This can be done numerically, but the goal of this paper is to show that Sturm's algorithm can be used to provide rigorous verification in some cases.

Original languageEnglish (US)
Pages (from-to)1242-1255
Number of pages14
JournalJournal of Symbolic Computation
Issue number4-5 SPEC. ISS.
StatePublished - Oct 2005


  • Celestial mechanics
  • Symbolic computation
  • Three-body problem


Dive into the research topics of 'Sturm's algorithm and isolating blocks'. Together they form a unique fingerprint.

Cite this