weyl-group

Here are 2 public repositories matching this topic...

SuperInstance / eisenstein-triples

Eisenstein integer triples with D₆ symmetry and hexagonal lattice applications

number-theory pythagorean-triples weyl-group hexagonal-lattice superinstance d6-symmetry eisenstein-integers conservation-spectral

Updated Jul 12, 2026
Python

nickgou-nuke / info-geometry-lean

Star

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.

theorem-proving category-theory formal-verification operator-algebras grassmannian information-geometry weyl-group drazin-inverse lean4 moore-penrose-inverse mathlib4 noncommutative-geometry jordan-algebra peirce-decomposition inductive-colimits

Updated Oct 25, 2026
Lean

Add this topic to your repo

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

Learn more