Automatic Mathematical TRANslator, ein Übersetzer für mathematische Programme.