「Symbolic mathematics」の版間の差分
ナビゲーションに移動
検索に移動
1行目: | 1行目: | ||
== Tools for Symbolic Mathematics == | |||
* SymPy | * SymPy | ||
http://docs.sympy.org/latest/index.html | http://docs.sympy.org/latest/index.html | ||
4行目: | 6行目: | ||
* Mizar (Japanese) | * Mizar (Japanese) | ||
http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/index-j.html | http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/index-j.html | ||
== Theorem == | |||
* フェルマーの定理 | |||
http://www004.upp.so-net.ne.jp/s_honma/fermat/prime2.htm |
2016年1月6日 (水) 22:05時点における版
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
- フェルマーの定理