▁and ▁testing ▁polynomial ▁ident ities ▁ ▁Chinese ▁remainder ▁theorem ▁ ▁Di oph antine ▁equations ▁ ▁Quant ifier ▁elim ination ▁over ▁real ▁numbers ▁via ▁e . g . ▁Tar ski ' s ▁method / C yl ind rical ▁algebraic ▁decomposition ▁ ▁Land au ' s ▁algorithm ▁ ▁Der iv atives ▁of ▁elementary ▁functions ▁and ▁special ▁functions . ▁( e . g . ▁See ▁derivatives ▁of ▁the ▁incomplete ▁g amma ▁function .) ▁ ▁C yl ind rical ▁algebraic ▁decomposition ▁ ▁See ▁also ▁▁ ▁List ▁of ▁computer ▁algebra ▁systems ▁ ▁Scient ific ▁computation ▁ ▁Statist ical ▁package ▁ ▁Autom ated ▁theorem ▁prov ing ▁ ▁Al gebra ic ▁model ing ▁language ▁ ▁Con stra int - logic ▁programming ▁ ▁Sat isf i ability ▁mod ulo ▁theories ▁ ▁References ▁ ▁External ▁links ▁Definition ▁and ▁work ings ▁of ▁a ▁computer ▁algebra ▁system ▁C urr icul um ▁and ▁Ass ess ment ▁in ▁an ▁Age ▁of ▁Computer ▁Al gebra ▁Systems ▁- ▁From ▁the ▁Education ▁Resources ▁Information ▁Center ▁Clear ing house ▁for ▁Science , ▁Mathemat ics , ▁and ▁Environment al ▁Education , ▁Columb us , ▁Ohio . ▁ ▁Richard ▁J . ▁F at eman . ▁" E ss ays ▁in ▁algebraic ▁simpl ification ." ▁Techn ical ▁report ▁M IT - L CS - TR - 0 9 5 , ▁ 1 9 7 2 . ▁( Of ▁historical ▁interest ▁in ▁showing ▁the ▁direction ▁of ▁research ▁in ▁computer ▁algebra . ▁At ▁the ▁M IT ▁L CS ▁website : ▁) <0x0A> </s> ▁George ▁Ts ut ak awa ▁( F ebru ary ▁ 2 2