計算機数学に関する雑多なリンク(時代遅れになっています)

• kan/sm1
  神戸大学理学部数学教室の高山先生による計算機環論システム。Postscript 風言語によるユーザーインターフェースを備えています。
• Risa/Asir (日本語)
  富士通研究所で開発された強力な計算機代数システム。Groebner 基底の計算の速さは世界的に有名。 (作者の野呂先生)
• The OpenXM Project
  数学システム間の通信の標準化案。kan/sm1, Risa/Asir は OpenXM 規約に対応しています。(OpenXM CVS Repository)
• Macaulay 2
• GAP
  有名な計算機群論システム。
• UBASIC
• NetSolve
  NetSolve はクライアント・サーバ型の分散システムである。NetSolve の特徴は、サーバの呼び出しに Agent というソフトウェアを介在させることである。Agent は呼び出し先などを決定するデータベース的役割を果たし、負荷分散を可能にする。
• The OpenMath Project
  数学的対象の XML 的表記の標準化を目指した大規模なプロジェクト。このプロジェクトでは数学データを数学的意味を保ったままで如何に表現すべきかという問題を追求している。OpenMath で定義された表現は、異なる種類の数式処理システムの間で情報を交換するときに利用することができるが、数学システム同士の通信、つまり、ある数学システムから別の数学システムを呼び出して計算させる仕組み(control integration)は、このプロジェクトの対象外である。
• OpenMP
  数学的なデータの共通表現を提供するプロジェクト。MP の主な関心は、この共通表現の最適化である。control integration は、このプロジェクトの対象外である。MP は既存の control integration に対して補完的役割を果たす。
• MCP
  数学的なデータや命令を含むメッセージをやりとりするためのHTTP に似たプロトコル。MCP は control integration であり、クライアント・サーバ型の通信モデルを採用している. 数式の表現に OpenMath 規約の XML 表現を用いた実装があり、GAP と Axiom の間で通信が行なわれている。
• Symbolic Net
  種々の計算機代数システムに関するリンク集があります。必見。
• 日本数式処理学会
• RisaConsortium

---

おはらのページへ

$Id: oldlink.html,v 1.1.1.1 2021/06/14 05:44:57 ohara Exp $