a(n) is the number k such that the binary expansion of n mod 2^k is the postorder traversal of a binary tree, where 1 indicates a node and 0 indicates there are no children on that side.
(history;
published version)
Tribonacci numbers: a(n) = a(n-1) + a(n-2) + a(n-3) for n >= 3 with a(0) = a(1) = 0 and a(2) = 1.
(history;
published version)
Conjectured values for minimal number of pieces required in a 2n-gon to square dissection that uses translation alone.
(history;
published version)