这个网站是由捐款支持的OEIS基金会.

用户:Rob Arthan

来自OeisWiki
跳转到:航行,搜索

我为商业做计算机科学(更具体地说是形式化方法和自动定理证明),我做数学是为了商业(当我被问到的时候)和快乐(当我不在的时候)。我提供了一些序列和奇怪的评论。