Calculations in Differential Geometry with the Egison Programming Language (Computer Algebra --Theory and its Applications)

HANDLE Web Site Open Access

Bibliographic Information

Other Title
  • プログラミング言語Egisonで計算する微分幾何 (Computer Algebra --Theory and its Applications)
  • プログラミング言語Egisonで計算する微分幾何
  • プログラミング ゲンゴ Egison デ ケイサン スル ビブン キカ

Search this article

Description

Egison is a programming language that allows users to use tensor index notation for arbitrary user-defined functions without requiring an additional description. Egison also supports a concise description of formulae with differential forms and allows users to concisely define operators for differential forms such as Wedge product, exterior derivative, Hodge operator, and interior product. As a result, users of Egison can describe calculations in differential geometry very concisely. This paper shows that Egison is useful for research and learning of differential geometry by demonstrating programs for calculating important notions in differential geometry such as Riemann curvature tensors and Laplacian.

Journal

  • RIMS Kokyuroku

    RIMS Kokyuroku 2138 1-11, 2019-12

    京都大学数理解析研究所

Details 詳細情報について

Report a problem

Back to top