Projects with this topic
Sort by:
-
-
Tangent bundle, vector space and Submanifold definition
Updated -
TensorField topology over FrameBundle ∇ with Grassmann.jl finite elements
topology calculus computationa... computationa... differential... differential... curvature tensor Lie-Groups Lie-Algebras lie-algebra general-rela... geometric al... riemannian-m... computationa... riemannian-g... applied math... discrete ext... numerical-me... numerical me... numerical ma... category-theory category theoryUpdated -
Learn abstract math with agda
🚀 Updated -
Tensor algebra abstract type interoperability setup
Updated -
