Séances de cours associées à Conjecture

Renormalisation et mise à l'échelle

Explore la renormalisation, la mise à l'échelle, les points critiques, les exposants et les transitions de phase dans la théorie des champs conforme et la gravité quantique.

Propositions inductives : Techniques de raisonnement et d’évaluation

Discute des propositions inductives, de leurs définitions et de leurs applications dans les techniques de raisonnement et d'évaluation dans Coq.

Hémomorphismes hamiltoniens sur les surfaces

Explore l'action de l'homéomorphisme hamiltonien sur les surfaces et discute des concepts mathématiques connexes.

Le théorème et la dimension de Carathéodory

Explore le théorème de Carathéodory et ses implications dimensionnelles pour la représentation des ensembles.