نظریه سیستم‌های چندجمله‌ای و هندسه جبری محاسباتی