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
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
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
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