Documentation

LeanPool.KasamiCyclicAdditive

Carlet's Kasami cyclic-additive conjecture #

Source: arxiv:2608.18584, url:https://github.com/dsm054/kasami_cyclic_additive Authors: D.S. McNeil, Gábor P. Nagy, Attila Vajda Status: verified Main declarations: KasamiCyclicAdditive.carlet_kasami_cyclic_additive_literature Tags: finite-fields, coding-theory, APN-functions, difference-sets, character-sums MSC: 11T06, 11T71, 94A60