Axiom (数式処理システム)
Axiom の開発は1971年に始まった。開発は IBM で Richard Dimick Jenks の元で行われ、当時は Scratchpad という名前であった。開発には、バリー・トラガー (Barry Trager)、ステファン・ワット (Stephen Watt)、ジェームズ・ダベンポート (James Davenport)、ロバート・スター (Robert Sutor)、スコット・モリソン (Scott Morrison) が加わっていた。
1990年代に NAG が Scratchpad を買い取り、現在の名前 Axiom が付けられた(注:1992年に出た解説書中では一貫して名前は大文字の"AXIOM"と書かれている)。その後、2001年に商用製品としての販売は終了し、以降の開発、管理はティム・デイリー Tim Daly にゆだねられ、修正BSDライセンスの元で公開されている。
2007年にAxiom から2つのプロジェクトがフォーク(分岐)した。どちらもオープンソースプロジェクトであり、その一つの OpenAxiom は同年8月13日に発足し同年8月24日に最初のリリースを出している。もう一方の FriCAS 同年9月28日に最初のバージョンをリリースしている。
Axiom (本家) は数日から数週間おきにパッチの形でバージョンアップをしており、バージョン番号を振っていない。