علوم پایه و محاسبات نمادین در فیزیک نظری