کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4946004 | 1364078 | 2017 | 15 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A lifted square formulation for certifiable Schubert calculus
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
Formulating a Schubert problem as the solutions to a system of equations in either Plücker space or in the local coordinates of a Schubert cell usually involves more equations than variables. Using reduction to the diagonal, we previously gave a primal-dual formulation for Schubert problems that involved the same number of variables as equations (a square formulation). Here, we give a different square formulation by lifting incidence conditions which typically involves fewer equations and variables. Our motivation is certification of numerical computation using Smale's α-theory.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Symbolic Computation - Volume 79, Part 3, MarchâApril 2017, Pages 594-608
Journal: Journal of Symbolic Computation - Volume 79, Part 3, MarchâApril 2017, Pages 594-608
نویسندگان
Nickolas Hein, Frank Sottile,