Skip to content
#

grassmannian

Here are 7 public repositories matching this topic...

Exact computation with cluster algebras in Julia: quiver and seed mutation, principal coefficients, finite-type classification, exchange graphs, green sequences, and Grassmannian cluster structures

  • Updated Oct 7, 2026
  • Julia

Lean 4 (v4.34.1 / Mathlib) formalization of noncommutative information geometry, Peirce-Weyl units, Drazin-Moore-Penrose spectral splittings, Jordan-Lie operator algebras, and categorical inductive colimits.

  • Updated Oct 25, 2026
  • Lean

Add this topic to your repo

To associate your repository with the grassmannian topic, visit your repo's landing page and select "manage topics."

Learn more