Section: New Results

Formalizing De Bruijn Sequences

Participant : Laurent Théry.

De Bruijn sequences are combinatorial objects. We have shown how they can be generated by exhibiting a link with irreducible polynomials in finite fields, with a formal proof in Coq.