Egison 数学ノート

整数論
初等整数論	トリボナッチ数列オイラーのφ関数
二次体	`ZZ[i]`の素数 `ZZ[w]`の素数

代数学
代数方程式	二次方程式三次方程式四次方程式
1のn乗根	1の5乗根 1の7乗根 1の9乗根 1の17乗根

幾何学
微分幾何	曲面のガウス曲率 `S^2`のリーマン曲率テンソル `S^3`のリーマン曲率テンソル `S^4`のリーマン曲率テンソル `S^5`のリーマン曲率テンソル `S^7`のリーマン曲率テンソル `T^2`のリーマン曲率テンソル `S^2 xx S^3`のリーマン曲率テンソルシュワルツシルト計量フリードマン・ルメートル・ロバートソン・ウォーカー計量
微分形式	ウェッジ積外微分 `E^3`のホッジ作用素ミンコフスキー空間のホッジ作用素極座標のホッジラプラシアン球座標のホッジラプラシアン曲率形式
物理への応用	ベクトル解析 `U(1)`ゲージ理論のヤンミルズ方程式
特性類	`S^2`のオイラー形式 `T^2`オイラー形式 `CP_1`の直線バンドルのチャーン形式

Egison数学ノートの試し方

Egison数学ノートのプログラムは、お手元のコンピューターで、すべて実行することができます。
上記のリストのプログラムはすべてEgisonのGitレポジトリの/sample/mathディレクトリ以下に置いてあります。

% egison -t sample/math/geometry/exterior-derivative.egi
[| (f|1 x y z) (f|2 x y z) (f|3 x y z) |]
[| [| 0 0 0 |] [| 0 0 0 |] [| 0 0 0 |] |]

This website in other langauge: English, 日本語