Students
Graduation Projects
Abdullah Uyu (2024) - Formalization du Théoreme de Desargues en Lean
Berfin Arvuz (2024) - L'ajout du sujet "Introduction a la théorie des groupes" au programme du lycée
Hamide Demet Sahillioğulları (2024) - Théorie des Catégories pour la Génétique
İlknur Öztürk (2024) - La Théorie de la Représentation des Résaux des Neurones
Yeter Sude Dursun (2024) - Invariants de Noeuds et de Liens Quantiques