As the title’s says it, have software engineering (SE) got any implementation of Mathematics?
I do know that this is an open discussion and the answer is YES but where is the actual implementation ? Formal methods being one small part of SE using implementation of Mathematics, Discrete Mathematics is widely use in gaming ; just seeing these 2 examples it comes to that rules of Mathematics can be apply at any part of SE.
I would like hear some new concept or implementation of Mathematics being done/used in SE in recent days/years.