chakravala/DirectSum.jl

Tangent bundle, vector space and Submanifold definition

语言：Julia · GitHub 星标：50 · Fork：4

话题：abstract-algebra · applied-category-theory · category-theory · compositionality · functor · linear-algebra · manifold · manifolds

在 GitHub 上查看原仓库