Mathematica

Mathematica

機械学習とニューラルネットワーク、データサイエンス、視覚化などにまたがる決定的なテクニカルコンピューティングシステム。
Mathematicaは、科学、工学、数学の分野やその他のテクニカルコンピューティングの分野で広く使用されている計算ソフトウェアプログラムです。
mathematica

ウェブサイト:

特徴

カテゴリー

C (programming language)のMathematicaの代替

z3

z3

Z3は、Microsoft Researchの定理証明者です。