プログラミング言語Egisonで計算する微分幾何 (Computer Algebra --Theory and its Applications)

HANDLE Web Site オープンアクセス

書誌事項

タイトル別名
  • Calculations in Differential Geometry with the Egison Programming Language (Computer Algebra --Theory and its Applications)
  • プログラミング言語Egisonで計算する微分幾何
  • プログラミング ゲンゴ Egison デ ケイサン スル ビブン キカ

この論文をさがす

説明

Egisonはユーザ一定義関数を含む任意の関数について, 特別な記述なしにテンソルの添字記法を使うことができるプログラミング言語である. 微分形式を使った計算の簡潔な記述もサポートしており, ウェッジ積, 外微分, ホッジ作用素, 内部積をはじめとする微分形式についての作用素もEgisonで簡潔に定義できる. それゆえ, Egisonを使えば, 添字記法を多用する微分幾何の計算を, 既存の数式処理システムよりも, 簡潔に表現できる. 本稿は, リーマン曲率テンソルやラプラシアンなどといった微分幾何において重要な概念を計算するプログラムを紹介し, 微分幾何の研究・学習において, Egisonが役に立つことを示す.

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ