هندسه جبری محاسباتی و نظریه تکینگی‌ها