Apparently, this user prefers to keep an air of mystery about them.
27 Proof assistants for mathematics dec 8 '09
6 Explicit formula for the trace of an unramified principal series representation of $GL(n,K)$, $K$ $p$-adic. may 9 '11
5 Commutativity and Kostant sections may 29 '11