公理 ランキングとまとめ
- 出版社のWebサイト:
- http://www.axiom-developer.org/
公理 タグ
公理 説明
Axiomは汎用のコンピュータ代数システムです。 Axiomは汎用コンピュータ代数システムです.Axiomは1971年以来開発中です。その時点ではスクラッチパッドと呼ばれていました。スクラッチパッドは、もともとリチャードジェンキの方向にIBMによって開発された大規模で汎用のコンピュータ代数システムでした。このプロジェクトは1971年に始まり、ゆっくり進化しました。 Barry Tragerはプロジェクトの技術的な方向への鍵でした。スクラッチパッドは20年間のストレッチで開発され、基本的に計算数学で新しいアイデアを開発するための研究プラットフォームとして検討されました。イギリスと商業システムになりました。 Yorktown Tim DalyのIBMでのスクラッチパッドプロジェクトの一環として、システムのあらゆる側面に勤務し、最終的に製品をナグに移すのを助けました。様々な理由で、2001年10月の市場から撤退することは決してありませんでした。基本的な動機は、Axiomが他のプログラムとは多くの方法で異なるものを表すことでした。主に数学の基盤のため、AXIOMシステムは現在から30年に役立つでしょう。現在の状態では、約30年と300年の研究作業を占めています。そのような大きな知識の集まりを生かし続けるよう努めるためには、価値のある目標のようです。このソフトウェアを(A)より良いユーザーインターフェースを開発するための努力(b)代数サーバープロトコル(d)を開発するために有用なものにする(c)追加の数学(e)を統合することを識別してください。スタイル(f)Logic Programmingを統合する(G)審理された提出物のAxiom Journalを開発します。 Axiomは汎用のコンピュータ代数システムです。それは数学的アルゴリズムの研究開発に役立ちます。それは強く型付けされた数学的に正しいタイプの階層を定義します。プログラミング言語と組み込みコンパイラがあります。
公理 関連ソフトウェア