Türkiye'deki Matematiksel Etkinlikler
12 Ekim 2022, 15:00 ![]() Galatasaray Üniversitesi Matematik Bölümü Genel SeminerleriPolynomial Real Root Certification using Hermite Matrices over Q Tülay Ayyıldız Aksoy Polynomial systems can be solved reliably using numerical homotopy methods. These methods return numerical approximations to solutions, and all the implementations validate the solutions heuristically. Therefore, the output, the approximate solutions of polynomial systems are not certified. Even though the approximate solutions work well in practice, they cannot be used in critical applications, especially in pure mathematics or when high precision is needed (e.g. Surgical Robot arm applications). Let I be a zero dimensional and radical ideal generated by m polynomials with exact rational coefficients. Assume that we are given approximations for the common exact roots. In this talk, we show how to construct and certify the rational entries of Hermite matrices for I from the approximate roots. Furthermore, we represent a method to certify the real roots of the given polynomial system using the signature of Hermite matrices. Galatsaray University FEF 10 admin 09.10.2022 |
Akademik biriminizin ya da çalışma grubunuzun ülkemizde gerçekleşen etkinliklerini, ilan etmek istediğiniz burs, ödül, akademik iş imkanlarını veya konuk ettiğiniz matematikçileri basit bir veri girişi ile kolayca turkmath.org sitesinde ücretsiz duyurabilirsiniz. Sisteme giriş yapmak için gerekli bilgileri almak ya da görüş ve önerilerinizi bildirmek için iletişime geçmekten çekinmeyiniz. Katkı verenler listesi için tıklayınız.
Özkan Değer ozkandeger@gmail.com
31. Journees Arithmetiques Konferansı Organizasyon Komitesi
Web sitesinin masraflarının karşılanması ve hizmetine devam edebilmesi için siz de bağış yapmak, sponsor olmak veya reklam vermek için lütfen iletişime geçiniz.