Is there a way to use identities in Mathematica efficiently?
107927
Replace expressions with symbols
31718
Generating a globally unique identifier in Java
2664
How to implement dual numbers in Mathematica?
12280
A dilogarithm identity?
109649
idempotents acting as local identities
32183
A "fast" way for  computing $ \prod \limits_{i=1}^{45}(1+\tan i^\circ) $?
132594
Is there a better alternative than string manipulation to programmatically build formulas?
87320
Proving identities like $\sum_{k=1}^nk{n\choose k}^2=n{2n-1\choose n}$ combinatorially
149903
Custom cross-reference formats (e.g. "Equation 1" instead of just "1")
76058
How can you number equations manually?
105237
Alternating sum of binomial coefficients identity
44100
Prove that identity element is unique
73647
#define IDENTIFIER without a token
60990
Tricky operator identity: $[L^2,[L^2,\vec{r}]]=2 \hbar ^2 \{ L^2, \vec{r}\}$?
104970
How to dequantify units in mathematica?
112310
How to do implicit differentiation in Mathematica?
63211
Replacements/Substitutions in Mathematica