▁A ▁prime ▁example ▁for ▁the ▁first ▁development ▁was ▁the ▁pione ering ▁work ▁conducted ▁by ▁the ▁later ▁Nobel ▁Prize ▁la ure ate ▁in ▁physics ▁Martin us ▁V elt man , ▁who ▁designed ▁a ▁program ▁for ▁symbol ic ▁mathematics , ▁especially ▁high - energy ▁physics , ▁called ▁Sch o ons ch ip ▁( D utch ▁for ▁" clean ▁ship ") ▁in ▁ 1 9 6 3 . ▁Another ▁early ▁system ▁was ▁FOR MA C . ▁ ▁Using ▁L isp ▁as ▁the ▁programming ▁basis , ▁Carl ▁Engel man ▁created ▁M ATH LAB ▁in ▁ 1 9 6 4 ▁at ▁M IT RE ▁within ▁an ▁artificial - int elligence ▁research ▁environment . ▁Later ▁M ATH LAB ▁was ▁made ▁available ▁to ▁users ▁on ▁P DP - 6 ▁and ▁P DP - 1 0 ▁systems ▁running ▁T OP S - 1 0 ▁or ▁T EN EX ▁in ▁univers ities . ▁Today ▁it ▁can ▁still ▁be ▁used ▁on ▁S IM H ▁em ulations ▁of ▁the ▁P DP - 1 0 . ▁M ATH LAB ▁(" math emat ical ▁labor atory ") ▁should ▁not ▁be ▁confused ▁with ▁M AT LAB ▁(" matrix ▁labor atory "), ▁which ▁is ▁a ▁system ▁for ▁numerical ▁computation ▁built ▁ 1 5 ▁years ▁later ▁at ▁the ▁University ▁of ▁New ▁Mexico . ▁ ▁The ▁first ▁popular ▁computer ▁algebra ▁systems ▁were ▁mu M ATH , ▁Red uce , ▁Der ive ▁( based ▁on ▁mu M ATH ), ▁and ▁Mac s y ma ; ▁a ▁popular ▁cop yle ft ▁version ▁of ▁Mac s y ma ▁called ▁Max ima ▁is ▁act