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 -
Tensor algebra abstract type interoperability setup
Updated -
Principled event-driven state machines for scala (Mirror of https://github.com/hnaderi/edomata)
Updated -
Personal solutions to the exercises in Tom Leinster’s “Basic Category Theory”.
Updated -
