La formalisation est un processus qui consiste à utiliser l'ordinateur non pas pour calculer mais pour raisonner. Il est en train de devenir un outil puissant pour aider les mathématiciens et mathématiciennes dans leur travail de recherche. En effet, il
Let \(G\) be a compact group with two given subgroups \(H\) and \(K\). Let \(\pi\) be an irreducible representation of \(G\) such that its space of \(H\)-invariant vectors as well as the space of \(K\)-invariant vectors are both one dimensional.
Une demi-journée de rentrée du laboratoire aura lieu le 19 octobre, en amphi A, bâtiment Descartes. Au programme : 10h00 Le mot du directeur du laboratoire. 10h30 Pierre-Guy Plamondon, Triangulations de polygones, vues en combinatoire et en géométrie. 11h30 Balthazar
Tropical weather and climate variability consists of numerous circulation and cloud systems that occur on a hierarchy of temporal and spatial scales ranging from the scale of the convective cloud of 1km to 10 km to planetary intraseasonal disturbances such as the
Exceptionnellement à 15h. Abstract: Feynman integrals, besides being useful in perturbative quantum field theories, are also a source of interesting transcendental functions such as multiple polylogarithms (or even more complicated and poorly understood classes of functions). Still, at present we
It has been a long standing and consistent finding that models that describe seemingly very different data and dynamics, can still be subject to very similar phenomena, such as the asymptotic minimax risk coinciding as the number of samples grows.
Given a family (X_t) of complex Calabi-Yau manifolds, the SYZ conjecture concerns the geometric structure of the fibers X_t, as t goes to 0 and the complex structure of X_t degenerates in the worst possible way. Kontsevich and Soibelman introduced
Dans cette présentation, on s’intéressera au monnaies numériques transférable et on regardera en particulier pourquoi définir la confidentialité des transactions n'est pas chose triviale. Puis dans un second temps, et après avoir posé un paradigme important de la sécurité prouvée,
Abstract: We describe all the schematic limits of divisors associated to any family of linear series on any one- dimensional family of projective varieties degenerating to any connected reduced projective scheme X defined over any field, under the assumption that
Soit \(X \to B\) une famille lisse de variétés projectives complexes. Le lieu de Noether—Lefschetz de \(B\) est l’ensemble des points dont la fibre possède plus de fibrés en droite que la fibre générique. Avec Salim Tayou, nous montrons que,
