This site is supported by donations to The OEIS Foundation.

User:Rob Arthan

From OeisWiki
Jump to: navigation, search

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.