Collection Prime numbers and automatic sequences: determinism and randomness / Nombres premiers et suites automatiques : aléa et déterminisme

Organizer(s) Dartyge, Cécile ; Drmota, Michael ; Martin, Bruno ; Mauduit, Christian ; Rivat, Joël ; Stoll, Thomas
Date(s) 22/05/2017 - 26/05/2017
linked URL http://conferences.cirm-math.fr/1595.html

All the collection videos (5)

42:13

published on June 1, 2017

Angles of Gaussian primes

By Zeév Rudnick

32:38

published on June 1, 2017

Bounded remainder sets for the discrete and continuous irrational rotation

By Sigrid Grepstad

49:35

published on June 1, 2017

Large gaps between primes in subsets

By James Maynard

44:58

published on June 1, 2017

Large character sums

By Youness Lamzouri

41:55

published on June 1, 2017

Small sumsets in continuous and discrete settings

By Anne de Roton

Mathematics
and Interactions

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

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

Lean for the curious mathematician / Lean pour mathématiciens

Master Class Lycéennes Séphora Berrebi

Collection Prime numbers and automatic sequences: determinism and randomness / Nombres premiers et suites automatiques : aléa et déterminisme

Angles of Gaussian primes

Bounded remainder sets for the discrete and continuous irrational rotation

Large gaps between primes in subsets

Large character sums

Small sumsets in continuous and discrete settings

Different Notions of Tameness Revisited

SageMath: research and experimentation in Combinatorics - Lecture 1

SageMath: research and experimentation in Combinatorics - Lecture 2

Compacted binary trees, stretched exponential and asymptotic behavior of recurrences

Probabilistic methods: entropy compression

Complex analysis in Lean

Stone duality and its formalization

Coq/Rocq tutorial: Ssreflect tactics and the MathComp library

Working with Mathlib

Finite Type Properties of (Tame) Fundamental Groups