Skip to main content
SUPERVISOR
امیر هاشمی (استاد راهنما) ورنر ام زایلر (استاد مشاور)
 
STUDENT
Bentolhoda Binaei
بنت الهدی بینائی

FACULTY - DEPARTMENT

دانشکده ریاضی
DEGREE
Doctor of Philosophy (PhD)
YEAR
1392

TITLE

Efficiency of Computations in Involutive Bases Theory
The main objective of this dissertation is to describe a new and efficient algorithm to compute pommaret bases. To this end, based on the method proposed by M amp;#???;oller et al. [??], we present a more efficient variant of Gerdt's algorithm to compute minimal involutive bases. Further, by using the involutive version of Hilbert driven technique, along with the new variant of Gerdt's algorithm, we modify Seiler's algorithm [??] to compute a linear change of coordinates for a given homogeneous ideal so that the new ideal (after performing this change) possesses a nite Pommaret basis.
هدف اصلی این رساله، مطالعه ی ویژگی ها و ارتقای محاسبه ی پایه های تودرتو است. این پایه ها نوع خاصی از پایه ی گربنر با خواص ترکیبیاتی اضافی هستند که خواستگاه آن ها جبری سازی دستگاه های معادلات با مشتقات جزئی در اوایل قرن بیستم بود. یکی از معروف ترین انواع پایه های تودرتو، پایه ی پماره است، که نه تنها ویژگی های بسیار زیادی از ایده آل تولید شده توسط آن را توصیف می کند بلکه اثبات بسیار ساده تری برای بسیاری از قضایای مهم در هندسه ی جبری را نیز برای ما فراهم می کند. البته وجود پایه ی پماره منوط به موقعیت متغیرهای استفاده شده است و در حالت کلی وجود ندارد. در این رساله به معرفی الگوریتم هایی برای محاسبه ی کارآی این پایه می پردازیم. سپسیککران دقیق تر برای کران بزو (وابسته به بعد ایده آل) ارائه و از آن برای توصیف یک کران وابسته به بعد برای مساله ی عضویت در یک ایده آل استفاده می کنیم.

ارتقاء امنیت وب با وف بومی