SymPy
二項係数
総和
総乗・階乗
数論
論理式