Évènements
Rechercher un événement
Cylindritude et genritude
Thierry Monteil (LIPN)
https://arxiv.org/abs/1312.4126 (p46) https://arxiv.org/abs/1308.1702 (complexité)
Pourquoi raconter des mathématiques à un ordinateur ?
Patrick Massot (Université Paris-Saclay)
De plus en plus de mathématiciens s'amusent en expliquant des mathématiques aux ordinateurs via des logiciels appelés assistants de preuves. Dans cet exposé j'expliquerai à [...]
Assemblée Générale : Campagne d'emploi 2023
(...)
L'ordre du jour sera le suivant : -1- PR 25/26 en 46.3 : décider la procédure de formation du comité de sélection ; il y [...]
Clustering approaches for tensor data
Rafika Boutalbi (LIS, Aix-Marseille Université)
Dealing with relational learning generally relies on tools modeling relational data. An undirected graph can represent these data with vertices depicting entities and edges describing [...]
TP de découverte des maths formalisées
Patrick Massot (I2M, CNRS, Aix-Marseille Université)
Travaux Pratiques de découverte des maths formalisées par Patrick Massot. Le vendredi 25 novembre de 10h à 13h dans la salle d'informatique 5-401 (Bâtiment 5 [...]
Calcul de densités invariantes pour des algorithmes de fractions continues
Paul Mercat (I2M, Aix-Marseille Université)
Je commencerai par expliquer comment on peut décrire des algorithmes de fractions continues avec des graphes étiquetés par des matrices, et ce qu'est une densité [...]
