Explore projects
-
Updated
-
Updated
-
Updated
-
-
-
adomenec / OA
GNU General Public License v3.0 or laterProjet d'OA du M1IF 2018-2019 : implémentation de l'algorithme du simplexe
Updated -
Updated
-
Updated
-
This is the git for my M2 internship "Twin-width and forbidden subdivisions". This work has been done under the supervision of Stéphan Thomassé, in collaboration with Édouard Bonnet, EunJung Kim, and Rémi Watrigant, at ENS Lyon, LIP, MC2.
Updated -
Updated
-
-
Updated
-
-
-
-
dbarbe / Manuscript experiments
Creative Commons Zero v1.0 UniversalCode des expériences réalisées pour générer les figures du manuscrit.
Updated -
Updated
-
Codes utilisés dans le cadre de mon stage de L3. Caractérisation des substitutions permettant le pavage des groupes de BS(1,n).
Updated -
Plein de jolis fichier coq pour s'entrainer, décrivant des preuves de tout et n'importe quoi.
Updated