← sotofranco.dev
cartan.sotofranco.dev

cartan

Riemannian geometry in Rust. Backend-agnostic trait system with const-generic manifolds, correct numerics near singularities, and a discrete exterior calculus layer for covariant PDE solvers.

Cargo.tomlcartan = "0.1"
Get Started →GitHub ↗docs.rs ↗

Documentation

Concepts
Trait hierarchy & math
Manifolds
Formulas & code
Demos
Interactive 3D visualizations

Manifolds

Sphere

$S^{N-1}$

dim = $N-1$

$K = 1$

ManifoldRetractionParallelTransportVectorTransportConnectionCurvatureGeodesicInterpolation

Euclidean

$\mathbb{R}^N$

dim = $N$

$K = 0$

ManifoldRetractionParallelTransportVectorTransportConnectionCurvatureGeodesicInterpolation

Special Orthogonal

$SO(N)$

Coming Soon

SPD

$SPD(N)$

Coming Soon

Grassmann

$Gr(N,K)$

Coming Soon

Trait Hierarchy

ManifoldRetractionParallelTransportConnectionGeodesicInterp.VectorTransportCurvature

Click any node to view its concept page. Interactive explorer →