جبر محاسباتی برای تئوری انشعاب
چکیده
دراین پایان نامه پایه های گروبنر وسه نوع خاص از انشعاب و همچنین آشکار ساز های سرتاسری در سیستم های دینامیکی را معرفی می کنیم.سپس ابزارهای الگوریتمی را به منظور به دست آوردن پایه های گروبنر پیشنهاد می دهیم و هم چنین نقاط انشعاب از سیستم را توسط پایه های گروبنر به دست می آوریم و با مثال های عددی کارایی روش را ببرسی می کنیم.