Explore projects

Slides for the cr12 presentation on Kacmarz-based combinatorial solvers.

Workshop on Permanantal and Determinantal processes: from quantum physics to signal processing.

le cours de CAP donné par Laure Gonnord's

ZZTOP (Lagarnge ahah)

Formalization of https://hal-ens-lyon.archives-ouvertes.fr/ensl-00737881

Course notes of Colin Riba's and Pierre Clairambault's Advanced Semantics course.