[B! axiom][math] mnruのブックマーク

Axiom (数式処理システム) - Wikipedia

Axiom（アクシアム、公理を意味する英単語 axiom [æksiəm] から）は、フリーソフトウェアの計算機代数システムである。システムには対話型実行環境、コンパイラとライブラリが含まれており、強力な型付けによる数学的な階層構造を持つ型を定義している。開発の経緯[編集] Axiom の開発は1971年に始まった[1]。開発は IBM で Richard Dimick Jenks の元で行われ、当時は Scratchpad という名前であった。開発には、バリー・トラガー (Barry Trager)、ステファン・ワット (Stephen Watt)、ジェームズ・ダベンポート (James Davenport)、ロバート・スター (Robert Sutor)、スコット・モリソン (Scott Morrison) が加わっていた。 1990年代に NAG が Scratchpad を買い取