>>98
＞幾何も整数も、中間言語さえ充実させれば、後は『 Mathematica』で楽勝

Mathematica 7では，数列生成，変換，数列認識を含めた新しいレベルの系統だっ
た整数列解析を導入している．Wolfram Researchにおける最近のアルゴリズム的躍進によって，
数列要素のリストを取ってそれらに対して大きなクラスの閉形 Mathematica 式を系統的に求めることが初め
て可能になった．これで強固な整数列の認識が実験数学におけるプログラム的な発見のルーチン部分となった．
https://www.wolfram.com/mathematica/newin7/content/IntegerSequenceAnalysis/index.ja.html?footer=lang