6th International conference on uniform distribution theory - UDT2018 / 6e Colloque international sur la théorie de la répartition uniforme - UDT2018

Collection 6th International conference on uniform distribution theory - UDT2018 / 6e Colloque international sur la théorie de la répartition uniforme - UDT2018

Organizer(s) Karpenkov, Oleg ; Nair, Radhakrishnan ; Verger-Gaugry, Jean-Louis
Date(s) 01/10/2018 - 05/10/2018
linked URL https://conferences.cirm-math.fr/1860.html

All the collection videos (5)

25:32

published on October 10, 2018

On the digits of primes and squares

By Joël Rivat

29:32

published on October 10, 2018

On the cross-combined measure of families of binary lattices and sequences

By Katalin Gyarmati

28:29

published on October 10, 2018

Quasi-random graphs and pseudo-random binary sequences

By Andras Sarközy

26:43

published on October 10, 2018

Uniform distribution mod 1, results and open problems

By Imre Katai

$Growth and geometry in $SL_2(\mathbb{Z})$ dynamics$
31:42

published on October 11, 2018

Growth and geometry in $SL_2(\mathbb{Z})$ dynamics

By Alexander Veselov

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 6th International conference on uniform distribution theory - UDT2018 / 6e Colloque international sur la théorie de la répartition uniforme - UDT2018

On the digits of primes and squares

On the cross-combined measure of families of binary lattices and sequences

Quasi-random graphs and pseudo-random binary sequences

Uniform distribution mod 1, results and open problems

Growth and geometry in $SL_2(\mathbb{Z})$ dynamics

Vanishing Theorems for the Irregular Hodge Filtration

The Non-Abelian p-Curvature Conjecture

The Bloch-Esnault-Kerz fiber square

On Secondary Invariants and Arithmetic Rigidity

Different Notions of Tameness Revisited

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