276cs.SC
Additive complexity of small linear codes: a corrected cell, two exact values in dimension five, and the extended ternary Golay code
PDFFor a prime power q, write SSLP_q(r,k,d) for the least number of additions and scalar multiplications needed to compute Lv, where L^(T) generates an [r,k,d]_q code: the additive complexity of the best code with the given parameters. The quantity was introdu…
Contribute a review
Evidence summary
129 Lean theorems · 18 stated results · 6 source-labelled candidates. Lean build reported passed by the source. Inspect claims