[¦gōst al·jə′brā·ik mə‚nip·yə′lā·shən ‚laŋ·gwij] (computer science) An algebraic manipulation language which externally gives the appearance of manipulating quite general mathematical expressions, although internally it is functioning with canonically represented data, much like the simpler seminumerical languages.