Will - 2006-04-08

Is there a list of functions MTAC recognizes

and is there a symbolic solver?