algebraity

0 followers · 0 following

• RSS feed
• Atom feed
• SSH keys
• GPG keys

• Joined on 2026-09-05

Repositories

4

Projects Packages Public activity Starred repositories

Filter

Clear filters

Archived Not archived

Forks Not forks

Mirrors Not mirrors

Templates Not templates

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

fastCD

C 0 0

An efficient C11 library and NumPy-backed Python package for Cayley-Dickson multiplication implementing a novel quasilinear algorithm, matrix-free Cariow--Cariowa, and direct recursive multiplication.

Updated 2026-10-21 18:54:01 -04:00

wan-chan

Lean 0 0

A repository of novel tensor rank computations produced as a part of WAN-CHAN, a TANUKI-CD program developed to determine the exact tensor ranks of algebras over various fields using AI, CDCL, and Lean formalization.

Updated 2026-10-12 00:32:40 -04:00

octonion-rank-certificates

Lean 0 0

Certificates for the proof that the tensor rank of octonion multiplication over \mathbb{F}_2 is exactly 19.

Updated 2026-10-11 11:22:01 -04:00

quaternionic

C 0 0

C library for algebra, arithmetic, and analysis on algebras resulting from the Cayley-Dickson procedure over various fields

Updated 2026-09-05 16:15:43 -04:00