کاربرد تقارن و روش‌های الگوریتمی در ریاضیات محض