Symbolic mathematics

提供: A-VEKT Wiki
2016年1月10日 (日) 14:51時点におけるAdmin (トーク | 投稿記録)による版
ナビゲーションに移動 検索に移動

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

  • 原始根

http://aozoragakuen.sakura.ne.jp/suuron/node35.html

「https://www.avekt.com/wiki/index.php?title=Symbolic_mathematics&oldid=211」から取得