M. Ganesalingam did a pretty interesting dissertation about linguistic analysis of math texts. I thought I read about it here on MO but I can't seem to find the pointer right now. Anyway, see: * http://people.pwf.cam.ac.uk/mg262/