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