سامانه‌های جبر رایانه‌ای (Computer Algebra Systems) و پردازش نمادین