نوقشت في قسم الرياضيات – كلية العلوم بجامعة حمص رسالة ماجستير للباحثة مايا منصور بعنوان: “قواعد غروبنر فوق ساحات بروفير”
بإشراف الدكتورة : رانية جنيد و الدكتورة نور رضوان
تألفت لجنة الحكم من السادة الدكاترة: عبد الباسط الخطيب، إيمان الخوجة، رانية جنيد.
حيث تم في هذه الرسالة دراسة ساحات بروفير وعلاقتها بأنواع أخرى من الحلقات والساحات بالإضافة إلى دراسة قواعد غروبنر فوق الحلقات وفوق ساحات بروفير.
في الفصل الأول ، تم تناول الجوانب التمهيدية المتعلقة بالبنى الجبرية التي تشكل الإطار النظري للدراسة، وتضمن الفصل الثاني استعراض المفاهيم الأساسية المتعلقة بدراسة قواعد غروبنر كما تم التطرق إلى مفهوم قواعد غروبنر وبيان أهميتها في دراسة المثاليات ومسألة انتماء عنصر إلى مثالية ، أما الفصل الثالث فقد شمل أهم النتائج التي تم التوصل إليها في دراسة قواعد غروبنر فوق ساحات بروفير ، وأهمها ما يتعلق بمسألة الانتماء لمثالية في حلقة كثيرات الحدود فوق ساحة بروفير والشرط اللازم والكافي لكي تكون مجموعة مولدة لمثالية قاعدة غروبنر بالإضافة إلى إمكانية تطبيق خوارزمية (Buchberger ) في الساحات التقديرية لحساب قواعد غروبنر في حلقة الحدوديات فوق ساحات بروفير الموضعية كما تمت دراسة الخوارزمية الديناميكية لحساب قواعد غروبنر فوق ساحات بروفير مع توضيح العلاقة بينها وبين مسألة انتماء عنصر إلى مثالية وإمكانية حلها باستخدام هذه الخوارزمية.
وبعد المناقشة مع لجنة الحكم تم منح الباحثة درجة الماجستير بتقدير امتياز
