کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9652869 | 675391 | 2005 | 14 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Sturm's algorithm and isolating blocks
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Sturm's algorithm and isolating blocks Sturm's algorithm and isolating blocks](/preview/png/9652869.png)
چکیده انگلیسی
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.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Symbolic Computation - Volume 40, Issues 4â5, OctoberâNovember 2005, Pages 1242-1255
Journal: Journal of Symbolic Computation - Volume 40, Issues 4â5, OctoberâNovember 2005, Pages 1242-1255
نویسندگان
Richard Moeckel,