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

axiomはmaximaと同様にlispで書かれた数式処理ソフト. link 以下のサイトに多くの情報がある http://axiom-wiki.newsynthesis.org/FrontPage How can I create and access Lisp functions from Axiom? Tutolial その他のサイト http://savannah.nongnu.org/projects/axiom http://www.axiom-developer.org/ install Windowsのbinaryは以下にある http://axiom-wiki.newsynthesis.org/OpenAxiomBinaries linuxではapt-getなどでinstallすることができる code lispだけでなくbootというpythonの親戚の言語も使われてい

mnru 2011/11/04

axiom

リンク

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 を買い取

mnru 2011/03/05

axiom
math

リンク

GitHub - daly/axiom: Axiom is a free, open source computer algebra system

mnru 2011/03/05

math
axiom

リンク

Aldor

ldor is a programming language with an expressive type system well-suited for mathematical computing and which has been used to develop a number of computer algebra libraries. Originally known as A#, Aldor was conceived as an extension language for the Axiom system, but is now used more in other settings. In Aldor, types and functions are first class values that can be constructed and manipulated