Collection On Lang and Vojta's conjectures / Autour des conjectures de Lang et Vojta

Appears in collection : Jean Morlet Chair - 2014 - Sem 1 - Shparlinski - Kohel

Organizer(s) Laurent, Michel ; Rond, Guillaume ; Rousseau, Erwan
Date(s) 03/03/2014 - 07/03/2014
linked URL http://www.latp.univ-mrs.fr/~eroussea/luminy/LVE2014.html

All the collection videos (5)

01:01:30

published on April 28, 2014

On Schmidt's subspace theorem

By Jan-Hendrik Evertse

45:25

published on October 20, 2014

Arithmetic of algebraic points on varieties over function fields - Part 1

By Carlo Gasbarri

49:36

published on October 20, 2014

Arithmetic of algebraic points on varieties over function fields - Part 2

By Carlo Gasbarri

29:42

published on October 20, 2014

Arithmetic of algebraic points on varieties over function fields - Part 3

By Carlo Gasbarri

45:49

published on October 21, 2014

Arithmetic of algebraic points on varieties over function fields - Part 4

By Carlo Gasbarri

Mathematics
and Interactions

Arithmetic Geometry – A Conference in Honor of Hélène Esnault on the Occasion of Her 70th Birthday

Not Only Scalar Curvature Seminar

Clément Delcamp : Topological Symmetry and Duality in Quantum Lattice Models

Lean for the curious mathematician / Lean pour mathématiciens

Collection On Lang and Vojta's conjectures / Autour des conjectures de Lang et Vojta

On Schmidt's subspace theorem

Arithmetic of algebraic points on varieties over function fields - Part 1

Arithmetic of algebraic points on varieties over function fields - Part 2

Arithmetic of algebraic points on varieties over function fields - Part 3

Arithmetic of algebraic points on varieties over function fields - Part 4

Vanishing Theorems for the Irregular Hodge Filtration

Motives and (super-)representation theory: principles and case studies

The Non-Abelian p-Curvature Conjecture

Characteristic Cycle and Pushforward

Complex analysis in Lean

Stone duality and its formalization

Finite Type Properties of (Tame) Fundamental Groups

Coq/Rocq tutorial: Ssreflect tactics and the MathComp library

Working with Mathlib