Simplification of nested module operations.
16548
Prove $(x+y) \text{ mod } n = ((x \text{ mod } n)+(y \text{ mod } n)) \text{ mod } n,\,$ and product analog
141477
Decomposition of finitely generated graded modules over PID
38010
Nested structures in C and C++
30311
Base change and irreducibility/reducedness/connectedness in Qing Liu's book (3.2.7 and 3.2.11 using 3.2.6)
71079
Big class decomposition in Java
71945
How to reduce circuit elements of a decomposed $C^2(U)$ operation?
12852
How to simplify complicated Recursion.
79582
Nested Bounded Wildcard
4652
Is $V$ a simple $\text{End}_kV$-module?
62440
Programming a numerical method in the functional style
157236
Tensor product of modules.
121533
$3\times3$ linear system organization
46036
Logic for decomposing a permutation into different products composed of transpositions
15842
Lambda calculus expression reduction
3151
Elegant operations on matrix rows and columns
83538
Elegant way for element-wise application of a list of functions
31729
Tensor products of simple modules over algebras