離散数学

置換と組合せの考え方で，二項係数や整数の分割を求めたり，その他の形式での数え上げを行ったりする．

二項係数を計算する（組合せ）：

フロベニウス数を計算する：

整数の分割を求める：

既知のグラフを使ったり，隣接リストを使って新しくグラフを指定したりする．同型であるかどうかをチェックし，最短経路等を計算する等する．

名前付きのグラフの特性を計算する：

いくつかのグラフを比較する：

隣接規則で指定されたグラフを解析する：

ユークリッド空間の離散的な部分集合の特性を計算する．正則格子またはルート格子を扱う．両者を比較する．

格子の特性を計算する：

ルート格子の特性を計算する：

いくつかの格子を比較する：

指定が不完全な数列や級数のパターンを推測する．無限級数の総和を求めたり，それについて他の操作をしたりする．

与えられた数列を表す式と数列の続きを計算する：

指定が不完全な無限級数の総和を求める：

漸化式を解き，初期値を指定するか，数列の漸化式でのモデリングを試みるかする

漸化式を解く：

初期値を指定する：

指定の数列を満足する漸化式を求める：