「Symbolic mathematics」の版間の差分
ナビゲーションに移動
検索に移動
(Created page with "* SymPy http://docs.sympy.org/latest/index.html") |
|||
| (同じ利用者による、間の4版が非表示) | |||
| 1行目: | 1行目: | ||
== Tools for Symbolic Mathematics == | |||
* SymPy | * SymPy | ||
http://docs.sympy.org/latest/index.html | http://docs.sympy.org/latest/index.html | ||
* Mizar (Wikipedia) | |||
https://en.wikipedia.org/wiki/Mizar_system | |||
* 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 | |||
* 原始根 | |||
http://aozoragakuen.sakura.ne.jp/suuron/node35.html | |||
* 2x2行列と3x3行列と4x4行列の逆行列の公式 | |||
http://www.cg.info.hiroshima-cu.ac.jp/~miyazaki/knowledge/tech23.html | |||
2016年8月10日 (水) 18:00時点における最新版
Tools for Symbolic Mathematics
- SymPy
http://docs.sympy.org/latest/index.html
- Mizar (Wikipedia)
https://en.wikipedia.org/wiki/Mizar_system
- 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
- 原始根
http://aozoragakuen.sakura.ne.jp/suuron/node35.html
- 2x2行列と3x3行列と4x4行列の逆行列の公式
http://www.cg.info.hiroshima-cu.ac.jp/~miyazaki/knowledge/tech23.html