A computer-based algorithmic approach to the study of automorphism groups, orbits of smooth rational curves, unirationality & projective models of K3 surfaces. (Une approche informatique et algorithmique de l'étude des groupes d'automorphismes, des orbites de courbes rationnelles lisses, de l'unirationalité et des modèles projectifs des surfaces K3). - Cedric Mazet (2022)