جبر
algebra
محاسبات نمادین
اثبات قضیه
theorem proving
هوش مصنوعی
artificial intelligence
داده‌گردانی
data handling
دستکاری نمادها
symbol manipulation