Apparently, this user prefers to keep an air of mystery about them.
14 Can two functions have identical first and second derivatives, but different higher order derivatives? Jul 22 '11
12 Software for organising mathematics Jul 10 '12
5 Constructing adjunction from left adjoint and unit Jul 22 '11
5 What software is used to draw undirected graphs? Jul 22 '11
5 How to compare points in multi-dimensional space? Jul 30 '11
4 Constructing dependent product (right adjoint to pullback) in a locally cartesian closed category Aug 24 '11
3 Algebraic proof that collection of all subsets of a set (power set) of $N$ elements has $2^N$ elements Aug 24 '11