This site is supported by donations to The OEIS Foundation.
User:Rob Arthan
From OeisWiki
I do computer science (more specifically formal methods and automated theorem proving) for business and I do maths for business (when I am asked) and pleasure (when I am not). I have contributed a handful of sequences and the odd comment.
