Axiom

公理は、汎用のコンピューター代数システムです。数学的アルゴリズムの研究開発に役立ちます。

公理は、汎用のコンピューター代数システムです。数学的アルゴリズムの研究開発に役立ちます。強く型付けされた、数学的に正しい型階層を定義します。プログラミング言語と組み込みコンパイラがあります。

axiom

WebのAxiomの代替

434

Wolfram Alphaは「計算知識エンジン」です。検索エンジンとは異なり、構造化データから答えを計算することにより、事実に基づくクエリーに直接答えます...

180

数値計算用のエンタープライズクラスのコンピューティング環境とプログラミング言語。

140

機械学習とニューラルネットワーク、データサイエンス、視覚化などにまたがる決定的なテクニカルコンピューティングシステム。

132

セージは、GPLの下でライセンスされている無料のオープンソースの数学ソフトウェアシステムです。多くの既存のオープンソースパッケージのパワーを、共通のPythonベースのインターフェイスに結合します。

Mathomaticは、代数方程式を自動的に解決、微分、単純化、結合、および比較できる、無料のポータブルな汎用コンピューター代数システム（CAS）です...