Symbolic mathematics
ナビゲーションに移動
検索に移動
Tools for Symbolic Mathematics
- SymPy
http://docs.sympy.org/latest/index.html
- Mizar (Japanese)
http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/index-j.html
Theorem
- フェルマーの定理