Compilers (at least optimising ones) bloody well do! For example discrete maths/graph theory for control/data flow graphs or optimisation algorithms for register allocation/loop unrolling.

Or, if those don't count as maths to you - look up the polyhedral model: linear algebra applied to loop tiling/parallelisation.