「Symbolic mathematics」の版間の差分
ナビゲーションに移動
検索に移動
| 7行目: | 7行目: | ||
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 | ||
== | == Principles == | ||
* フェルマーの定理 | * フェルマーの定理 | ||
http://www004.upp.so-net.ne.jp/s_honma/fermat/prime2.htm | http://www004.upp.so-net.ne.jp/s_honma/fermat/prime2.htm | ||
* 原始根 | |||
http://aozoragakuen.sakura.ne.jp/suuron/node35.html | |||
2016年1月10日 (日) 14:51時点における版
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
Principles
- フェルマーの定理
http://www004.upp.so-net.ne.jp/s_honma/fermat/prime2.htm
- 原始根