Apparently, this user prefers to keep an air of mystery about them.
2 factor $z^7-1$ into linear and quadratic factors and prove that $ \cos(\pi/7) \cdot\cos(2\pi/7) \cdot\cos(3\pi/7)=1/8$ jan 15 '14
2 General polynomial form of a factorial? jan 16 '14
1 Maximal chain in (strong) Bruhat order jun 19 '14