En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents : Multi angle Conférences Vidéo 200 results

Filter
Select: All / None
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Escher à la Marseillaise - Stevenhagen, Peter (Author of the conference) | CIRM

Multi angle

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Solitons in Luminy: my Jean Morlet experience - Grava, Tamara (Author of the conference) | CIRM

Multi angle

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Présentation pour la journée des lycées - Scholivet, Manon (Author of the conference) | CIRM

Multi angle

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Le dernier théorème de Fermat - Loret, Francis (Author of the conference) | CIRM

Multi angle

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
In this talk, I will discuss results obtained with Yvan Dynnikov, Paul Mercat, Olga Paris-Romaskevich and Sasha Skripchenko. Novikov's conjecture for foliations states that the restriction of a linear foliation to a triply periodic surface is generically periodic or integrable (leaves stay at bounded distance from a line). I will explain some results on families of interval exchange transformations with flips. This approach gives a partial solution to the conjecture in a non-trivial case.[-]
In this talk, I will discuss results obtained with Yvan Dynnikov, Paul Mercat, Olga Paris-Romaskevich and Sasha Skripchenko. Novikov's conjecture for foliations states that the restriction of a linear foliation to a triply periodic surface is generically periodic or integrable (leaves stay at bounded distance from a line). I will explain some results on families of interval exchange transformations with flips. This approach gives a partial ...[+]

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
The course presents the mathematical software SageMath and most specifically its usage for research in combinatorics. We will focus on families of combinatorial objects, especially related to the Tamari lattice, and their implementation in the context of object oriented programming.
https://www.lri.fr/~pons/

05-00 ; 05E99 ; 05A99

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
This talk is focused on the Radon-Carleman Problem, dealing with computing and/or estimating the essential norm and/or the Fredholm radius of singular integral operators of double layer type associated with elliptic partial dfferential operators, on function spaces naturally intervening in the formulation of boundary value problems for the said operator in a given domain. The main goal is to monitor how the geometry of the domain affects the complexity of this type of study and to present a series of results in increasingly more irregular settings, culminating with that of uniformly rectifiable domains.
This is based on joint work with Dorina Mitrea and Marius Mitrea from Baylor University, which has recently appeared in volume V of our Geometric Harmonic Analysis research monograph series in Developments in Mathematics, Springer.[-]
This talk is focused on the Radon-Carleman Problem, dealing with computing and/or estimating the essential norm and/or the Fredholm radius of singular integral operators of double layer type associated with elliptic partial dfferential operators, on function spaces naturally intervening in the formulation of boundary value problems for the said operator in a given domain. The main goal is to monitor how the geometry of the domain affects the ...[+]

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
In this talk, we introduce the Ssreflect tactic language, as used in the Mathematical Components library. We will focus on the tactics used to make formalization work lighter and easier to maintain.

03B35

Bookmarks Report an error