محاسبات نمادین و تحلیل داده‌های علمی