「Symbolic mathematics」の版間の差分
ナビゲーションに移動
検索に移動
(Created page with "* SymPy http://docs.sympy.org/latest/index.html") |
|||
| 1行目: | 1行目: | ||
* SymPy | * SymPy | ||
http://docs.sympy.org/latest/index.html | http://docs.sympy.org/latest/index.html | ||
* Mizar (Japanese) | |||
http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/index-j.html | |||