AMTRAN

Automatic Mathematical TRANslation