{"id":"palomar/PALOMAR-2026-09-04-000005","url":"https://github.com/dsm054/kasami_cyclic_additive/tree/c8ab49ebd8e9e53f5aa7585f1d43acf1ff68d10f","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-09-04-000005-v1.json","repo":"https://github.com/dsm054/kasami_cyclic_additive","tags":["math.CO","math.NT","msc:11T06","msc:11T71","msc:94A60","boolean-functions","finite-fields","lean-formalization"],"score":0,"title":"Carlet's Kasami cyclic-additive conjecture","trust":"high","domain":"math.CO","source":"palomar","authors":["D.S. McNeil","Gábor P. Nagy","Attila Vajda"],"reviews":0,"subject":"math.CO","summary":"A Lean formalization of the Kasami cyclic-additive conjecture introduced by Claude Carlet. For the derivative image of the Kasami monomial x^(4^k-2^k+1) with gcd(k,n)=1, over a finite field of characteristic two with 2^n elements, the formalized result gives the exact three-variable coefficient count 2^(2n-3) for every pair of distinct nonzero coefficients.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-09-04","reactions":{},"formalized":true}