I've used it professionally for error correcting code design, robotic control, crypto (ecc and multivariate polynomial), lots of computer vision uses, grobner b

I've used it professionally for error correcting code design, robotic control, crypto (ecc and multivariate polynomial), lots of computer vision uses, grobner bases to simplify algorithms, and geometric modeling. Perhaps more if I look over lists of past projects...