SHEEP（記号計算システム）

SHEEPは最も初期の対話型記号計算システムの一つです。テンソルの計算に特化しており、一般相対性理論や広範なテンソル計算を伴う他の理論を研究する研究者のニーズに合わせて設計されました。^[1]^[2]

SHEEPはフリーウェアパッケージです（著作権はありますが、教育および研究目的での使用は無料です）。^[3]

「SHEEP」という名前は、SHEEPのベースとなっているLisp Algebraic Manipulator（LAM）をもじったものです。このパッケージは、Ian CohenとRay d'Invernoの以前の成果を利用して、Inge Frickによって書かれました。彼らは以前、 ALAM（Atlas LISP Algebraic Manipulation）を書いていました（1970年に設計）。^[4]^[5] SHEEPは対話型コンピュータパッケージでしたが、LAMとALAMはバッチ処理言語でした。^[6]

Jan E. Åman は、 Cartan-Karlhede アルゴリズムを実行するための重要なパッケージを SHEEP で作成しました。Jim Skea によって作成された SHEEP の最新バージョンは、REDUCEでも使用されている Cambridge Lisp で実行されます。

参照

GRTensorII

注記

^ FOLDOC の SHEEP のエントリ
^ 「hopl.murdoch.edu.au の説明」。2009 年 10 月 14 日時点のオリジナルよりアーカイブ。2009 年 12 月 26 日閲覧。
^ 「アーカイブコピー」。2011年10月5日時点のオリジナルよりアーカイブ。2012年1月26日閲覧。{{cite web}}: CS1 maint: アーカイブされたコピーをタイトルとして (リンク)
^ hopl.murdoch.edu.au のエントリ 2011-03-11 に Wayback Machineにアーカイブ
^ hopl.murdoch.edu.au の説明 2008-08-19 に Wayback Machineでアーカイブ
^ d'Inverno, RA; Frick, I. (1982). 「羊との相互作用」.一般相対性理論と重力. 14 (10): 835– 863. Bibcode :1982GReGr..14..835D. doi :10.1007/BF00756801. S2CID 121328615.

外部リンク

SHEEP ダウンロードディレクトリ^{[永久リンク切れ‍ ]}ロンドン大学クイーンメアリー校
羊に関する情報源
Joan Centrella編集の「動的時空と数値相対論に関するワークショップ」における MAHMacCallum のレビュー記事

[1] FOLDOC の SHEEP のエントリ

[2] 「hopl.murdoch.edu.au の説明」。2009 年 10 月 14 日時点のオリジナルよりアーカイブ。2009 年 12 月 26 日閲覧。

[3] 「アーカイブコピー」。2011年10月5日時点のオリジナルよりアーカイブ。2012年1月26日閲覧。{{cite web}}: CS1 maint: アーカイブされたコピーをタイトルとして (リンク)

[4] ^ hopl.murdoch.edu.au のエントリ 2011-03-11 に Wayback Machineにアーカイブ

[5] ^ hopl.murdoch.edu.au の説明 2008-08-19 に Wayback Machineでアーカイブ

[6] 'Inverno, RA; Frick, I. (1982). 「羊との相互作用」.一般相対性理論と重力. 14 (10): 835– 863. Bibcode :1982GReGr..14..835D. doi :10.1007/BF00756801. S2CID 121328615.