Application of abstract algebra for computer science/software engineering
43352
Are there real world applications of finite group theory?
127596
Composition of equivalence relations
66645
Abstract methods in Java
155259
Textbook on Graph Theory using Linear Algebra
153975
Proving mathematical induction with arbitrary base using (weak) induction
9968
First-order logic advantage over second-order logic
27908
Can we instantiate an abstract class?
107704
Applications of complex numbers to solve non-complex problems
42625
SFDC: Understanding With Sharing, Without Sharing & Unspecified Sharing Classes
90668
Does NRoots own an abstract counterpart? If not, can we write one?
118189
Proving the pairing axiom from the rest of ZF
155421
Tensor product of monoids and arbitrary algebraic structures
71961
Is abstract algebra (mostly?) restricted to $2$-ary operators?
83187
Elegant alternatives to the weird multiple inheritance
109028
Mathematica as a normal programming language
17267
Interchanging the order of differentiation and summation
9118
Polynomial division: an obvious trick? [reducing mod $\textit{simpler}$ multiples]