Exposés de recherche

Collection Exposés de recherche

00:00:00 / 00:00:00

169 380

Proof and computation in Coq

By Laurent Théry

Also appears in collection : Effective analysis: foundations, implementations, certification / Analyse effective: fondations, programmation, certification

In this talk, we are going to show on some elementary examples how computation can easily be incorporated inside proof in a proof system like Coq.

Information about the video

Date of recording 14/01/2016
Date of publication 03/02/2016
Institution CIRM
Licence CC BY NC ND
Language English
Audience Researchers
Director(s) Guillaume Hennenfent
Format MP4

Citation data

DOI 10.24350/CIRM.V.18915003
Cite this video Théry, Laurent (14/01/2016). Proof and computation in Coq. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.18915003
URL https://dx.doi.org/10.24350/CIRM.V.18915003

Domain(s)

MSC codes

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow

All the collection videos

01:07:24

published on October 29, 2014

Braids and Galois groups

By B. Heinrich Matzat

01:23:54

published on February 8, 2015

Commutative algebra for Artin approximation - Part 1

By Herwig Hauser

56:38

published on March 30, 2015

A microlocal toolbox for hyperbolic dynamics

By Semyon Dyatlov

01:32:08

published on May 13, 2015

DEB theory: where fascination meets profession

By Sebastiaan A.L.M. Kooijman

01:01:40

published on June 17, 2015

Virtual fundamental cycles and contact homology

By John Pardon

54:53

published on June 25, 2015

Local Weyl equivalence of Fuchsian equations

By Sergei Yakovenko

46:37

published on June 30, 2015

A non exchangeable coalescent arising in phylogenetics

By Amaury Lambert

46:24

published on July 15, 2015

Random subgroups, totally non free actions and factor representations

By Rostislav Grigorchuk

01:13:10

published on July 21, 2015

Coupled rotations and snow falling on cedars

By Curtis T. McMullen

01:21:48

published on August 2, 2015

Mathematical and numerical analysis of some fluid structure interaction problems - Lecture 1

By Céline Grandmont

01:07:44

published on August 11, 2015

Darcy problem and crowd motion modeling

By Bertrand Maury

$$H^{3}$ non ramifié et cycles de codimension 2$
55:34

published on September 30, 2015

$H^{3}$ non ramifié et cycles de codimension 2

By Jean-Louis Colliot-Thélène

36:25

published on October 6, 2015

Maximum size of a set of integers with no two adding up to a square

By Endre Szemerédi

55:58

published on October 13, 2015

On subgroups of R. Thompson's group $F$

By Mark Sapir

59:45

published on November 3, 2015

A universal hypercyclic representation

By Eli Glasner

01:01:09

published on November 17, 2015

Galois codes for arithmetic and geometry via the power of valuation theory

By Jochen Koenigsmann

01:05:25

published on November 26, 2015

Whitney problems and real algebraic geometry

By Charles Fefferman

44:48

published on January 5, 2016

Stability and applications to birational and hyperkaehler geometry - Lecture 1

By Arend Bayer

57:41

published on January 29, 2016

Non-backtracking spectrum of random graphs: community detection and non-regular Ramanujan graphs

By Laurent Massoulié

01:05:32

published on March 16, 2016

Markov Chain Monte Carlo Methods - Part 1

By Christian P. Robert

01:00:39

published on March 31, 2016

Ergodic measures for subshifts with eventually constant growth

By Jon Fickenscher

01:09:39

published on April 7, 2016

Perturbative techniques of the dynamics in the $C^1$-topology

By Sylvain Crovisier

47:11

published on April 13, 2016

Unramified graph covers of finite degree

By Winnie Li

$The $\mathbb{L}^ \bullet$-Homology fundamental class for singular spaces and the stratified Novikov conjecture$
54:24

published on July 1, 2016

The $\mathbb{L}^ \bullet$-Homology fundamental class for singular spaces and the stratified Novikov conjecture

By Markus Banagl

46:35

published on July 15, 2016

Inhomogeneities and temperature effects in Bose-Einstein condensates

By Anne de Bouard

58:03

published on September 13, 2016

Boosting and waning: on the dynamics of immune status

By Odo Diekmann

52:07

published on September 27, 2016

25+ years of wavelets for PDEs

By Angela Kunoth

50:44

published on November 10, 2016

ADMM in imaging inverse problems: some history and recent advances

By Mário Figueiredo

50:39

published on November 16, 2016

Extensions between Iwahori-Hecke modules for $SL_2(F)$ in characteristic $p$

By Ramla Abdellatif

51:14

published on November 23, 2016

Phase retrieval in infinite dimensions

By Ingrid Daubechies

01:01:51

published on December 14, 2016

Multiple ergodic theorems: old and new - Lecture 1

By Bryna Kra

01:02:29

published on January 6, 2017

Integral points on Markoff type cubic surfaces and dynamics

By Peter Sarnak

01:32:36

published on January 26, 2017

Condition: the geometry of numerical algorithms - Lecture 1

By Peter Bürgisser

56:31

published on March 2, 2017

Singular hyperbolicity and homoclinic tangencies of 3-dimensional flows

By Sylvain Crovisier

44:53

published on March 8, 2017

Palm equivalence and quasi-symmetries of determinantal point processes associated with Hilbert spaces of holomorphic functions

By Yanqi Qiu

46:54

published on May 25, 2017

Detection theory and novelty filters

By Jean-Michel Morel

58:59

published on June 8, 2017

Self-interacting walks and uniform spanning forests

By Yuval Peres

01:04:50

published on July 6, 2017

Taming the coloured multizetas

By Jean Écalle

56:37

published on July 13, 2017

Various aspects of the dynamics of the cubic Szegö solutions

By Sandrine Grellier

57:37

published on June 26, 2018

The Verlinde formula for Higgs bundles

By Jorgen Ellegaard Andersen

38:47

published on September 18, 2018

Mahler's method in several variables

By Boris Adamczewski

54:32

published on November 15, 2018

Growth of normalizing sequences in limit theorems

By Sébastien Gouëzel

01:02:14

published on December 19, 2018

Intermittent weak solutions of the 3D Navier-Stokes equations

By Vlad Vicol

50:27

published on January 9, 2019

On the existence of algebraic approximations of compact Kähler manifolds

By Hsueh-Yung Lin

51:49

published on February 14, 2019

Algebraicity of the metric tangent cones

By Xiaowei Wang

01:00:56

published on February 21, 2019

On the Lüroth problem for real varieties

By Olivier Benoist

01:03:06

published on August 10, 2016

Classification des représentations admissibles irréductibles modulo p des groupes réductifs p-adiques

By Guy Henniart

45:40

published on December 3, 2014

Invariance of plurigenera for foliations on surfaces

By Enrica Floris

50:32

published on December 3, 2014

Unirational varieties - Part 2

By Massimiliano Mella

54:51

published on December 3, 2014

Mapping classes of trigonal loci

By Michele Bolognesi

45:16

published on December 3, 2014

Unirational varieties - Part 3

By Massimiliano Mella

44:54

published on December 11, 2014

Nakayama automorphism and quantum group actions on Artin-Schelter regular algebras

By James Zhang

30:56

published on December 11, 2014

Deformations of $N$-differential graded algebras

By Rafael Díaz

44:07

published on December 11, 2014

Deformation quantization of Leibniz algebras

By Friedrich Wagemann

38:44

published on December 11, 2014

Braided autoequivalences, quantum commutative Galois objects and the Brauer groups

By Yinhuo Zhang

55:14

published on January 21, 2015

Two-weight inequalities meet $R$-boundedness

By Tuomas P. Hytönen

46:27

published on January 21, 2015

The story of Kalton's last unpublished paper

By Jesús M.F. Castillo

50:01

published on January 21, 2015

Multi-norms and Banach lattices

By H. Garth Dales

47:27

published on January 21, 2015

The Daugavet equation for Lipschitz operators

By Dirk Werner

01:28:24

published on February 8, 2015

Commutative algebra for Artin approximation - Part 2

By Herwig Hauser

01:29:58

published on February 8, 2015

Commutative algebra for Artin approximation - Part 3

By Herwig Hauser

01:06:55

published on February 17, 2015

The Zariski problem for homogeneous and quasi-homogeneous curves

By Yohann Genzmer

01:02:30

published on February 17, 2015

Criteria for equivalence between power series and polynomials

By Wojciech Kucharz

01:04:57

published on February 17, 2015

Another type of approximation: the valuative Cohen theorem

By Bernard Teissier

48:42

published on March 3, 2015

Singularities of tangent surfaces and generalised frontals

By Goo Ishikawa

55:38

published on March 10, 2015

Cohomology jump loci and singularities

By Nero Budur

58:25

published on March 10, 2015

Hodge theory and syzygies of the Jacobian ideal

By Alexandru Dimca

53:56

published on March 10, 2015

Grothendieck residue in the Jacobian algebra and cup product in vanishing cohomology

By Xavier Gómez-Mont

49:36

published on March 16, 2015

The intersection form, logarithmic vector fields, and the Severi strata in the discriminant of a plane curve singularity

By David Mond

55:16

published on March 16, 2015

Lipschitz embedding of complex surfaces

By Walter Neumann

52:47

published on March 16, 2015

Equisingularity of map germs from a surface to the plane

By Juan José Nuño-Ballesteros

53:38

published on March 16, 2015

Symplectic singularities of varieties

By Wojciech Domitrz

47:59

published on March 30, 2015

Nodal lines and domains for Eisenstein series on surfaces

By Frédéric Naud

42:36

published on March 30, 2015

Resonance chains on Schottky surfaces

By Tobias Weich

01:00:08

published on March 30, 2015

The asymptotic spectral gap of hyperbolic dynamics : tentative to improve the estimates

By Frédéric Faure

57:25

published on March 30, 2015

Geometry and analysis of locally symmetric spaces of infinite volume

By Lizhen Ji

01:15:11

published on April 7, 2015

Le diamant aztèque - Cours 1

By Sylvie Corteel

01:16:31

published on April 2, 2015

Compter et optimiser avec les graphes unimodulaires - Cours 1

By Charles Bordenave

01:16:03

published on April 2, 2015

Compter et optimiser avec les graphes unimodulaires - Cours 2

By Charles Bordenave

01:10:17

published on April 7, 2015

Le diamant aztèque - Cours 2

By Sylvie Corteel

01:02:46

published on April 8, 2015

Stabilisation in algebraic geometry

By Jan Draisma

59:44

published on April 8, 2015

Tannaka duality and formal glueings

By Jack Hall

01:11:18

published on April 16, 2015

Loop Grassmanians and local spaces

By Ivan Mirkovic

01:09:43

published on April 17, 2015

Betti Langlands in genus one

By David Nadler

01:03:57

published on April 16, 2015

Spectral decomposition of the principal series category

By Samuel Raskin

54:22

published on April 21, 2015

A case of the dynamical André-Oort conjecture

By Holly Krieger

49:46

published on April 23, 2015

Etale difference algebraic groups

By Michael Wibmer

53:00

published on April 29, 2015

Reconstruction methods for ill-posed inverse problems - Part 1

By Samuli Siltanen

49:46

published on April 29, 2015

Reconstruction methods for ill-posed inverse problems - Part 2

By Samuli Siltanen

49:16

published on May 20, 2015

What is maturity? Discussing links between the concept and the underlying physiology of organisms

By Starrlight Augustine

01:06:19

published on May 13, 2015

On the relevance and irrelevance of dynamic energy budget models for population and community dynamics

By André M. de Roos

55:03

published on May 13, 2015

Dynamic Energy Budget Theory as integrative hub for evaluating organismal performance in multivariate environments

By Erik B. Muller

54:33

published on May 13, 2015

Size matters for balancing energy supply and demand in aquatic ectotherms

By Wilco C.E.P. Verberk

01:09:09

published on May 19, 2015

Exemples de modélisation mathématiques en médecine - partie 1

By Dominique Barbolosi

01:29:32

published on May 19, 2015

Exemples de modélisation mathématiques en médecine - partie 2

By Dominique Barbolosi

01:30:50

published on May 19, 2015

Des nombres aux arbres : comment varier ses exemples d'algorithmes ?

By Gilles Dowek

01:24:07

published on May 19, 2015

La transformée de Hough ... 55 ans plus tard !

By Jean Sequeira

01:04:46

published on May 19, 2015

Ordonnancement - 1ère partie : ordonnancement sur une machine

By Frédéric Vivien

01:17:19

published on May 19, 2015

Ordonnancement - 2ème partie : ordonnancement sur machines parallèles

By Frédéric Vivien

56:46

published on May 27, 2015

Fast slow systems with chaotic noise

By David Kelly

44:08

published on May 27, 2015

Some applications of irreversibility

By Luc Rey-Bellet

28:53

published on June 4, 2015

Computing the image of Galois representations attached to elliptic curves

By Andrew Sutherland

25:52

published on June 4, 2015

Computing discrete logarithms in $GF(p^n)$: practical improvement of the individual logarithm step

By Aurore Guillevic

47:49

published on June 18, 2015

Automorphic forms and classical partition identities

By Karl Mahlburg

52:17

published on June 18, 2015

Classes of Heegner divisors and traces of singular moduli

By Jan Bruinier

49:56

published on June 18, 2015

A string theorist view point on the genus-two Kawazumi-Zhang invariant

By Boris Pioline

53:22

published on June 18, 2015

Fourier coefficients of meromorphic Jacobi forms

By Sander Zwegers

01:05:10

published on June 17, 2015

Existence of Liouville structures on cobordisms

By Emmy Murphy

58:55

published on June 17, 2015

Nearby Lagrangians are simply homotopic

By Mohammed Abouzaid

48:01

published on June 25, 2015

Expansions of the real field by trajectories of definable vector fields

By Chris Miller

47:56

published on June 25, 2015

Smooth parametrizations in analysis, dynamics, and diophantine geometry

By Yosef Yomdin

55:29

published on June 25, 2015

Nonlinear analysis with resurgent functions

By David Sauzin

54:20

published on July 16, 2015

Representation theory, effective ergodic theorems, and applications - Lecture 1

By Amos Nevo

01:02:51

published on July 16, 2015

Representation theory, effective ergodic theorems, and applications - Lecture 2

By Amos Nevo

01:00:16

published on July 16, 2015

Representation theory, effective ergodic theorems, and applications - Lecture 3

By Amos Nevo

01:06:43

published on July 16, 2015

Representation theory, effective ergodic theorems, and applications - Lecture 4

By Amos Nevo

01:00:00

published on July 20, 2015

On the algebraic hull of the Kontsevich-Zorich cocycle and applications to finiteness theorems

By Alex Eskin

01:03:12

published on July 20, 2015

On the ergodicity of billiards in non-rational polygons

By Giovanni Forni

01:03:24

published on July 20, 2015

Limits of zeroes of holomorphic differential on stable nodal Riemann surfaces

By Samuel Grushevsky

01:06:15

published on July 20, 2015

Multiple mixing and Ratner property in area-preserving flows

By Corinna Ulcigrai

01:34:27

published on August 2, 2015

Mathematical and numerical analysis of some fluid structure interaction problems - Lecture 2

By Céline Grandmont

01:30:10

published on August 2, 2015

Mathematical and numerical analysis of some fluid structure interaction problems - Lecture 3

By Céline Grandmont

01:18:05

published on August 2, 2015

Mathematical and numerical analysis of some fluid structure interaction problems - Lecture 4

By Céline Grandmont

23:27

published on February 2, 2022

Bioremediation of natural resources: how optimization and numerical simulations can help?

By Antoine Rousseau

25:23

published on October 6, 2015

A characterization of class groups via sets of lengths

By Alfred Geroldinger

33:56

published on September 30, 2015

Incidences in Cartesian products

By Jozsef Solymosi

23:56

published on October 6, 2015

On sum sets of sets having small product set

By Sergei V. Konyagin

35:00

published on October 6, 2015

$k$-sum free sets in $[0,1]$

By Anne de Roton

33:07

published on October 6, 2015

Structure theory of set addition, a review

By Gregory A. Freiman

58:22

published on October 13, 2015

Random graphs and applications to Coxeter groups

By Jason Behrstock

48:56

published on October 13, 2015

Formal conjugacy growth and hyperbolicity

By Laura Ciobanu

46:09

published on October 13, 2015

Invariant random subgroups of acylindrically hyperbolic groups

By Denis V. Osin

49:22

published on October 13, 2015

The degree of commutativity of an infinite group

By Enric Ventura

50:55

published on October 21, 2015

Persistence modules and Hamiltonian diffeomorphisms - Part 2

By Leonid Polterovich

01:02:23

published on October 21, 2015

Persistence modules and Hamiltonian diffeomorphisms - Part 4

By Leonid Polterovich

54:29

published on November 3, 2015

Potpourri of open problems and conjectures in linear dynamics and ergodic theory

By Vitaly Bergelson

53:17

published on November 3, 2015

On some operator-theoretic aspects of ergodic theory

By Markus Haase

42:13

published on November 3, 2015

Rates of decay associated with operator semigroups

By Charles J. K. Batty

53:30

published on November 3, 2015

Some remarks regarding ergodic operators

By Etienne Matheron

30:39

published on November 12, 2015

Real closed fields and models of Peano arithmetic

By Salma Kuhlmann

$Logarithmico-exponential series and fractal analysis$
01:08:30

published on November 12, 2015

Logarithmico-exponential series and fractal analysis

By Jean-Philippe Rolin

32:10

published on November 12, 2015

O-minimalism: the first-order properties of o-minimality

By Hans Schoutens

55:25

published on November 26, 2015

On the relations between the $L^1$ norm of partial derivatives with very accessible proof

By Michal Wojciechowski

01:00:55

published on December 2, 2015

The uniformization of the moduli space of abelian 6-folds

By Gavril Farkas

01:03:29

published on December 2, 2015

Mixed motives associated to elliptic curves

By Richard Hain

01:07:49

published on December 2, 2015

Geometry and moduli spaces of Gushel-Mukai varieties

By Alexander Kuznetsov

01:04:27

published on December 2, 2015

On the proof of S-duality modularity conjecture on quintic threefolds

By Artan Sheshmani

01:07:56

published on December 2, 2015

Toric non-abelian Hodge theory

By Tamás Hausel

01:08:15

published on December 2, 2015

Curve counting on abelian surfaces and threefolds

By Jim Bryan

52:24

published on December 2, 2015

Approximating freeness under constraints, with applications

By Sorin Popa

48:47

published on December 2, 2015

Free probability of type B and asymptotics of finite-rank perturbations of random matrices

By Dimitri Shlyakhtenko

01:15:18

published on December 2, 2015

Quanta of geometry

By Alain Connes

48:18

published on December 2, 2015

On the $L^p$ Baum-Connes conjecture

By Gennadi Kasparov

43:16

published on January 5, 2016

Stability and applications to birational and hyperkaehler geometry - Lecture 2

By Arend Bayer

48:33

published on January 5, 2016

Stability and applications to birational and hyperkaehler geometry - Lecture 3

By Arend Bayer

50:40

published on January 6, 2016

Kähler-Einstein metrics on group compactifications

By Thibaut Delcroix

53:31

published on January 7, 2016

Mirror symmetry for singularities

By Jérémy Guéré

50:36

published on January 13, 2016

On the non-commutative Khintchine inequalities

By Gilles Pisier

59:03

published on January 13, 2016

Séries trigonométriques lacunaires, extrapolation minimale dans une algèbre de Wiener et échantillonnage parcimonieux

By Jean-Pierre Kahane

53:08

published on January 13, 2016

Rational approximation of functions with logarithmic singularities

By Alexander Pushnitski

45:17

published on January 13, 2016

Uncertainty principles for discrete Schrödinger evolutions

By Eugenia Malinnikova

54:10

published on January 29, 2016

Spectral measures of factor of i.i.d. processes on the regular tree

By Ágnes Backhausz

49:05

published on January 29, 2016

Anchored expansion in the hyperbolic Poisson Voronoi tessellation

By Elliot Paquette

56:34

published on January 29, 2016

Random irregular graphs are nearly Ramanujan

By Doron Puder

59:32

published on January 29, 2016

Random walk on random digraph

By Justin Salez

57:56

published on February 4, 2016

Formal verification of numerical analysis programs

By Sylvie Boldo

46:54

published on February 3, 2016

Programming with numerical uncertainties

By Eva Darulova

01:01:17

published on February 3, 2016

Verified numerics for ODEs in Isabelle/HOL

By Fabian Immler

56:59

published on February 3, 2016

Proof and computation in Coq

By Laurent Théry

01:22:16

published on February 18, 2016

Large-scale machine learning and convex optimization 1/2

By Francis Bach

52:03

published on February 19, 2016

Random forests variable importances: towards a better understanding and large-scale feature selection

By Pierre Geurts

01:28:40

published on February 19, 2016

Large-scale machine learning and convex optimization 2/2

By Francis Bach

45:20

published on February 19, 2016

Robust sequential learning with applications to the forecasting of electricity consumption and of exchange rates

By Gilles Stoltz

32:34

published on March 1, 2016

Large scale reduction simple

By Marianne Clausel

29:25

published on March 24, 2016

Chemins du plan évitant un quadrant

By Mireille Bousquet-Mélou

26:45

published on March 31, 2016

$k$-abelian equivalence: an equivalence relation in between the equality and the abelian equivalence

By Juhani Karhumäki

20:56

published on March 31, 2016

On $k$-abelian palindromes

By Svetlana Puzynina

24:18

published on March 31, 2016

Avoiding $k$-abelian powers in words

By Michaël Rao

21:29

published on March 31, 2016

$k$-abelian complexity and fluctuation

By Aleksi Saarela

25:24

published on March 31, 2016

$k$-abelian singletons and Gray codes for Necklaces

By Markus Whiteland

26:21

published on April 7, 2016

Dichotomy, the closed range theorem and optimal control

By Pavel Brunovsky

28:19

published on April 7, 2016

Dissipativity in nonautonomous linear-quadratic control processes

By Carmen Núñez

58:29

published on April 7, 2016

Dynamics of bounded solutions of parabolic equations on the real line - Part 1

By Peter Polacik

01:21:33

published on April 7, 2016

Geometric control and dynamics

By Ludovic Rifford

41:16

published on April 13, 2016

Primes, exponential sums, and L-functions

By William Banks

42:17

published on April 13, 2016

Class number statistics for imaginary quadratic fields

By Pär Kurlberg

58:00

published on June 12, 2016

Hyperbolic triangles with no positive Neumann eigenvalues

By Christopher Judge

01:05:27

published on May 12, 2016

The wave equation for Weil-Petersson metrics

By Richard Melrose

01:57:48

published on May 19, 2016

Buffer overflow ou explication de « une faille de type bufferoverflow peut permettre à un code malicieux d'être éxécuté »

By François Boisson

01:35:01

published on May 19, 2016

Calculer avec des équations différentielles : calculabilité, complexité

By Olivier Bournez

01:06:36

published on May 19, 2016

Algorithmes d'approximation - Partie 2

By Frédéric Vivien

01:27:39

published on May 19, 2016

Big Data: Tremendous challenges, great solutions

By Luc Bougé

49:00

published on June 9, 2016

Congruent number problem and BSD conjecture

By Shou-Wu Zhang

55:05

published on June 17, 2016

A computational approach to Milnor fiber cohomology

By Alexandru Dimca

$New examples of rigid varieties and criteria for fibred surfaces to be $K(\pi,1)$-spaces$
01:09:00

published on June 17, 2016

New examples of rigid varieties and criteria for fibred surfaces to be $K(\pi,1)$-spaces

By Fabrizio Catanese

01:05:37

published on June 17, 2016

A strong hyperbolicity property of locally symmetric varieties

By Yohan Brunebarbe

01:01:13

published on June 23, 2016

Vertex degrees in planar maps

By Michael Drmota

01:08:30

published on June 23, 2016

Recurrence of half plane maps

By Omer Angel

01:10:19

published on June 23, 2016

Nesting statistics in the $O(n)$ loop model on random planar maps

By Jérémie Bouttier

21:43

published on July 1, 2016

On the Hodge-Kodaira Laplacian on the canonical bundle of a compact Hermitian complex space

By Francesco Bei

23:50

published on July 1, 2016

An Obata-Lichnerowicz theorem for stratified spaces

By Ilaria Mondello

58:31

published on July 6, 2016

Independence of normal words

By Verónica Becher

39:28

published on July 6, 2016

Carleson's Theorem and Schnorr randomness

By Johanna Franklin

01:05:07

published on July 6, 2016

On centauric subshifts

By Andrei Romashchenko

52:16

published on July 7, 2016

A derivation on the field of d.c.e.reals

By Joseph Miller

41:43

published on July 7, 2016

Randomness connecting to set theory and to reverse mathematics

By André Nies

42:59

published on July 15, 2016

Classical and non-classical flows of superfluids

By Carlo Barenghi

49:23

published on July 15, 2016

Leapfrogging for the axisymmetric Gross-Pitaevskii equation

By Didier Smets

46:27

published on July 15, 2016

Polariton graph simulators

By Natalia Berloff

40:58

published on July 15, 2016

High-order Magnus integrators for non-autonomous linear evolution equations

By Mechthild Thalhammer

01:18:22

published on July 27, 2016

Still searching the engram: should we?

By Gianluigi Mongillo , Menahem Segal

01:47:56

published on July 27, 2016

New hints from the reward system

By Paul Apicella , Yonatan Loewenstein

49:02

published on August 3, 2016

Linear solvers for reservoir simulation

By Pascal Hénon

01:08:39

published on August 3, 2016

High performance computing with Feel++: applications and numerical methods

By Christophe Prud'homme

59:16

published on August 3, 2016

Multiple applications of high performance computing and numerical simulations in Total group

By Philippe Ricoux

01:10:22

published on August 3, 2016

Efficient iterative solvers: FETI methods with multiple search directions

By François-Xavier Roux

01:12:27

published on August 3, 2016

A posteriori error estimates and solver adaptivity in numerical simulations

By Martin Vohralík

35:33

published on August 4, 2016

Optimized Schwarz waveform relaxation methods: theory and applications

By Pascal Omnes

46:12

published on August 3, 2016

Parametrized model order reduction for component-to-system synthesis

By Anthony Patera

01:05:19

published on August 8, 2016

Data-driven wildfire behavior modelling: focus on front level-set data assimilation

By Mélanie Rochoux

44:00

published on August 8, 2016

A discussion about the impact of scalability constraint on the design of futur dynamical kernels of NWP models

By Fabrice Voitus

39:44

published on August 8, 2016

Modeling and data assimilation in cardiac electrophysiology

By Annabelle Collin

57:16

published on August 10, 2016

High performance climate modelling : mimetic finite differences, and beyond?

By Thomas Dubos

57:49

published on August 10, 2016

Direct and inverse biomechanical modeling of the heart

By Dominique Chapelle

54:02

published on September 20, 2016

Crystalline cohomology, period maps, and applications to K3 surfaces

By Christian Liedtke

56:03

published on September 20, 2016

The non-archimedean SYZ fibration and Igusa zeta functions - Part 2

By Johannes Nicaise

53:48

published on September 20, 2016

The non-archimedean SYZ fibration and Igusa zeta functions - Part 3

By Johannes Nicaise

47:11

published on September 22, 2016

The unitary extension principle on LCA groups

By Ole Christensen

50:19

published on September 27, 2016

Some recent insights into computing with positive definite kernels

By Greg Fasshauer

51:15

published on September 22, 2016

Algebraic multigrid and subdivision

By Maria Charina

26:29

published on September 27, 2016

Spherical splines

By Hartmut Prautzsch

54:30

published on October 11, 2016

Forcing theory for transverse trajectories of surface homeomorphisms - Part 1

By Patrice Le Calvez

53:25

published on October 11, 2016

Forcing theory for transverse trajectories of surface homeomorphisms - Part 2

By Patrice Le Calvez

54:00

published on October 11, 2016

Forcing theory for transverse trajectories of surface homeomorphisms - Part 3

By Fabio Tal

48:42

published on October 11, 2016

Forcing theory for transverse trajectories of surface homeomorphisms - Part 4

By Fabio Tal

47:37

published on November 10, 2016

Transferring information across image and shape collections

By Niloy Mitra

43:32

published on November 16, 2016

Quasisemisimple classes

By Jean Michel

01:13:58

published on December 14, 2016

Operators in ergodic theory - Lecture 1: Operators dynamics versus base space dynamics

By Markus Haase

01:01:43

published on December 14, 2016

Operators in ergodic theory - Lecture 2: Dilations and joinings

By Markus Haase

49:47

published on December 14, 2016

Operators in ergodic theory - Lecture 3: Compact semigroups and splitting theorems

By Markus Haase

59:07

published on December 14, 2016

Multiple ergodic theorems: old and new - Lecture 2

By Bryna Kra

01:06:39

published on December 14, 2016

Multiple ergodic theorems: old and new - Lecture 3

By Bryna Kra

01:12:37

published on January 6, 2017

Möbius randomness and dynamics six years later

By Peter Sarnak

01:00:08

published on January 6, 2017

Ergodicity of the Liouville system implies the Chowla conjecture

By Nikos Frantzikinakis

48:04

published on January 6, 2017

The diameter of the symmetric group: ideas and tools

By Harald Helfgott

01:01:12

published on January 6, 2017

Primes with missing digits

By James Maynard

57:14

published on January 6, 2017

The unsolved problems of Halmos

By Benjamin Weiss

50:33

published on March 2, 2017

Generic properties of the geodesic flow in nonpositive curvature

By Yves Coudène

55:54

published on March 3, 2017

Central limit theorems for circle packings

By Mark Pollicott

58:14

published on March 3, 2017

Mixing and rates of mixing for infinite measure flows

By Ian Melbourne

01:01:15

published on March 2, 2017

Fast-Slow partially hyperbolic systems: an example

By Carlangelo Liverani

40:09

published on March 10, 2017

Conditioned determinantal processes are determinantal

By Alexander Shamov

43:02

published on March 8, 2017

A functional limit theorem for the sine-process

By Andrey Dymov

57:46

published on March 23, 2017

Correlation spectrum of Morse-Smale flows

By Gabriel Rivière

59:43

published on April 24, 2017

Skeletons and moduli of Stokes torsors

By Jean-Baptiste Teyssier

01:02:52

published on April 24, 2017

Semi-infinite Hodge structures in noncommutative geometry

By Dmytro Shklyarov

01:25:17

published on April 24, 2017

On the Riemann-Hilbert correspondence for irregular holonomic D-modules

By Andrea D'Agnolo

50:11

published on May 4, 2017

Tilings and non-intersecting paths beyond integrable cases

By Vadim Gorin

01:48:41

published on May 11, 2017

Informatique et physique : quelques interactions

By Gilles Dowek

01:13:28

published on May 11, 2017

La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique

By Gilles Dowek

02:30:39

published on May 11, 2017

Arithmétique à virgule flottante : plaie ou terrain de jeu ?

By Sylvie Boldo

42:01

published on May 25, 2017

Curvature measures of random sets

By Martina Zähle

45:31

published on May 25, 2017

Random walks on dynamical percolation

By Perla Sousi

42:13

published on June 1, 2017

Angles of Gaussian primes

By Zeév Rudnick

41:55

published on June 1, 2017

Small sumsets in continuous and discrete settings

By Anne de Roton

32:38

published on June 1, 2017

Bounded remainder sets for the discrete and continuous irrational rotation

By Sigrid Grepstad

44:58

published on June 1, 2017

Large character sums

By Youness Lamzouri

43:13

published on August 3, 2017

Splitting algorithm for nested events

By Ludovic Goudenège

53:14

published on August 3, 2017

Projected particle methods for solving McKean Vlasov SDEs

By Denis Belomestny

55:27

published on August 3, 2017

Some asymptotic results about American options and volativity

By Stefano De Marco

47:28

published on August 10, 2017

Mean field type control with congestion

By Mathieu Lauriere

49:24

published on August 28, 2017

Forward and backward simulation of Euler scheme

By Emmanuel Gobet

01:09:54

published on September 8, 2017

Minicourse shape spaces and geometric statistics

By Alain Trouvé , Xavier Pennec

01:31:17

published on September 8, 2017

Geometry of quantum entanglement

By Karol Zyczkowski

54:56

published on September 14, 2017

Coloring graphs with forbidden induced paths

By Maria Chudnovsky

59:25

published on September 14, 2017

Combinatorial and algorithmic properties of Robinsonian matrices

By Monique Laurent

53:47

published on September 14, 2017

Random hyperbolic graphs

By Marcos Kiwi

01:06:10

published on September 14, 2017

Restricted types of matchings

By Dieter Rautenbach

01:03:20

published on September 22, 2017

Real curves and a Klein TQFT

By Penka Georgieva

01:06:05

published on September 21, 2017

Sums of three squares and Noether-Lefschetz loci

By Olivier Benoist

01:04:57

published on September 22, 2017

Complex torus, its good compactifications and the ring of conditions

By Askold Khovanskii

$Homotopy theory of strict $\omega$-categories and its connections with homology of monoids - Lecture 2$
01:31:10

published on September 28, 2017

Homotopy theory of strict $\omega$-categories and its connections with homology of monoids - Lecture 2

By François Métayer

01:01:16

published on September 28, 2017

Shuffles of trees

By Eric Hoffbeck

56:01

published on September 28, 2017

Type theories and polynomial monads

By Steve Awodey

$Homotopy theory of strict $\omega$-categories and its connections with homology of monoids - Lecture 3$
01:22:19

published on September 28, 2017

Homotopy theory of strict $\omega$-categories and its connections with homology of monoids - Lecture 3

By François Métayer

50:58

published on October 6, 2017

Ill-posedness for Leray solutions of the ipodissipative Navier-Stokes equations

By Camillo de Lellis

56:20

published on October 6, 2017

30 years of $T(b)$ theorems

By Pascal Auscher

55:29

published on October 6, 2017

Localization of eigenfunctions via an effective potential

By David Jerison

59:07

published on October 6, 2017

Parametrizing with Guy

By Tatiana Toro

57:14

published on October 12, 2017

From forcing models to realizability models

By Laura Fontanella

50:22

published on October 12, 2017

The hierarchy of second-order set theories between GBC and KM and beyond

By Joel David Hamkins

$Monochromatic sumsets for colourings of $\mathbb{R}$$
31:42

published on October 12, 2017

Monochromatic sumsets for colourings of $\mathbb{R}$

By Daniel T. Soukup

51:32

published on October 12, 2017

Prikry type forcing and combinatorial properties

By Dima Sinapova

54:45

published on October 26, 2017

Interlacements and the uniform spanning forest

By Tom Hutchcroft

51:45

published on October 26, 2017

Weighted distances in scale free random graphs

By Julia Komjathy

48:31

published on October 26, 2017

Extinction time for the weaker of two competing stochastic SIS logistic epidemics

By Malwina Luczak

19:41

published on November 2, 2017

The quantum Vlasov equation

By Norbert Mauser

37:25

published on November 16, 2017

Viability and arbitrage under Knightian uncertainty

By Matteo Burzoni

36:53

published on November 16, 2017

Market delay and $G$-expectations

By Yan Dolinsky

27:35

published on November 21, 2017

Rough volatility from an affine point of view

By Christa Cuchiero

27:21

published on November 21, 2017

Affine Volterra processes and models for rough volatility

By Martin Larsson

35:36

published on November 16, 2017

Reconstruction by optimal transport: applications in cosmology and finance

By Grégoire Loeper

58:21

published on December 7, 2017

Algebraic sums and products of univoque bases

By Karma Dajani

01:00:42

published on December 7, 2017

A perspective on the The Fibonacci trace map

By David Damanik

55:32

published on December 7, 2017

Yet another characterization of the Pisot conjecture

By Paul Mercat

01:02:42

published on December 11, 2017

Dimension groups and recurrence for tree subshifts

By Valérie Berthé

32:38

published on January 10, 2018

Eigenvalues and variance components

By Iain Johnstone

29:22

published on December 21, 2017

Estimation of functions depending on a parameter observed in Gaussian noise

By Ildar Ibragimov

01:00:53

published on January 10, 2018

Some memories and facts about the work of Oleg Lepski: beyond a 'discourse on method'

By Marc Hoffmann

54:19

published on January 31, 2018

Complex Monge-Ampere equations with prescribed singularities

By Eleonora Di Nezza

50:31

published on January 31, 2018

Kähler-Ricci solitons on crepant resolutions of finite quotients of $C^n$

By Heather Macbeth

49:09

published on January 31, 2018

Extremal Poincaré type metrics and stability of pairs on Hirzebruch surfaces

By Lars Martin Sektnan

01:02:22

published on February 7, 2018

Finite type invariants of knots in homology 3-spheres

By Delphine Moussard

01:06:16

published on February 7, 2018

Equidistribution of square-tiled surfaces, meanders, and Masur-Veech volumes

By Anton Zorich

01:03:10

published on February 18, 2018

Trisections diagrams and surgery operations on embedded surfaces

By David Gay

01:02:31

published on February 18, 2018

Covering spaces and spanning trees

By David Cimasoni

$Quantum $\mathfrak{sl}_n$ knot cohomology and the slice genus$
50:00

published on February 19, 2018

Quantum $\mathfrak{sl}_n$ knot cohomology and the slice genus

By Andrew Lobb

58:15

published on March 7, 2018

Groups with Bowditch boundary a 2-sphere

By Bena Tshishiku

01:05:09

published on March 7, 2018

The Farrell-Jones conjecture for free-by-cyclic groups

By Mladen Bestvina

57:08

published on March 7, 2018

Homomorphisms to 3-manifold groups and other families

By Daniel Groves

47:35

published on March 14, 2018

Ideals in $L(L_p)$

By William B. Johnson

47:10

published on March 14, 2018

On a difference between two methods of low-distortion embeddings of finite metric spaces into non-superreflexive Banach spaces

By Beata Randrianantoanina

44:49

published on March 14, 2018

$L^2$ spectral gap and group actions on Banach spaces

By Mikael de la Salle

47:52

published on March 15, 2018

Finite quotients in coarse geometry

By Anastasia Khukhro

54:04

published on March 28, 2018

The coherent Satake category

By Harold Williams

51:09

published on March 29, 2018

From $Q$-systems to quantum affine algebras and beyond

By Rinat Kedem

51:51

published on March 28, 2018

Newton-Okounkov bodies for Grassmannians

By Lauren Williams

56:25

published on March 28, 2018

Preprojective algebras and Cluster categories

By Osamu Iyama

45:15

published on April 5, 2018

Symmetry and computation: a few of my favourite things

By Hans Z. Munthe-Kaas

51:33

published on April 5, 2018

Hybrid finite element methods preserving local symmetries and conservation laws

By Ari Stern

57:54

published on April 12, 2018

Deformation theory of twistor spaces of K3 surfaces

By Ana-Maria Brecan

53:55

published on April 12, 2018

Improved bounds for the Kobayashi conjecture on generic hyperbolicity

By Jean-Pierre Demailly

50:18

published on April 12, 2018

Nonabelian Hodge correspondences for klt varieties and quasi-etale uniformisation

By Stefan Kebekus

50:08

published on April 12, 2018

Signature morphisms from the Cremona group

By Susanna Zimmermann

$The weak-$A_\infty$ condition for harmonic measure$
58:21

published on April 25, 2018

The weak-$A_\infty$ condition for harmonic measure

By Xavier Tolsa

01:17:43

published on May 10, 2018

Méthodes probabilistes

By Marthe Bonamy

01:16:20

published on May 15, 2018

SMT solving

By David Monniaux

$Global solutions to elliptic and parabolic $\Phi^4$ models in Euclidean space$
44:58

published on May 22, 2018

Global solutions to elliptic and parabolic $\Phi^4$ models in Euclidean space

By Martina Hofmanova

49:39

published on May 22, 2018

Bessel-like SPDEs

By Lorenzo Zambotti

55:36

published on May 29, 2018

Recent progress in the classification of torsion subgroups of elliptic curves

By Alvaro Lozano-Robledo

55:55

published on May 30, 2018

A new Northcott property for Faltings height

By Lucia Mocz

01:00:35

published on May 29, 2018

Shimura curves and bounds for the $abc$ conjecture

By Hector Pasten

52:52

published on May 31, 2018

A supercongruence and hypergeometric motives

By Frits Beukers

54:38

published on May 31, 2018

Around Jouanolou-type theorems

By Rahim Moosa

53:45

published on May 31, 2018

Gamma functions, monodromy and Apéry constants

By Masha Vlasenko

58:41

published on June 7, 2018

Geometric recursion

By Jorgen Ellegaard Andersen

56:15

published on June 7, 2018

Exact density matrix for quantum group invariant sector of XXZ

By Fedor Smirnov

54:38

published on June 7, 2018

An introduction to the BV-BFV formalism

By Alberto S. Cattaneo

55:53

published on June 7, 2018

Capelli eigenvalue problem for Lie superalgebras and supersymmetric polynomials

By Vera Serganova

01:00:14

published on June 21, 2018

On the motive of the stack of vector bundles on a curve

By Victoria Hoskins

58:08

published on June 21, 2018

On Hitchin's hyperkähler metric on moduli spaces of Higgs bundles

By Andrew Neitzke

57:39

published on June 21, 2018

The ends of the Hitchin moduli space

By Laura Fredrickson

01:01:23

published on June 21, 2018

The large scale geometry of the Higgs bundle moduli space

By Jan Swoboda

01:23:49

published on June 28, 2018

Establishment in a new habitat under the infinitesimal model

By Alison M. Etheridge , Nicholas H. Barton

01:10:43

published on July 10, 2018

A Jacobian criterion for smoothness of algebraic diamonds

By Laurent Fargues

01:03:48

published on July 12, 2018

Modeling the chemotherapy-induced selection of drug-resistant traits during tumor growth

By Doron Levy

52:47

published on August 1, 2018

Macroscopic limit from a structured population model to the Kirkpatrick-Barton model

By Gaël Raoul

33:21

published on August 3, 2018

Mathematical model of cortical neurogenesis

By Marie Postel

28:04

published on August 3, 2018

Modelling of complex dynamical networks: from agent-based to continuum models

By Diane Peurichard

46:01

published on December 6, 2018

Bayesian capture-recapture in social justice research

By David Corliss

33:03

published on December 6, 2018

Big data for health: a Bayesian spatio-temporal analysis for predicting cardiac risk in Ticino and optimal defibrillators positioning

By Antonietta Mira

49:18

published on April 18, 2019

The partial compactification of the universal centralizer

By Ana Balibanu

01:00:32

published on April 25, 2019

BFN Springer theory

By Joel Kamnitzer

58:38

published on April 18, 2019

$T$-structures from categorical actions

By Clemens Koppensteiner

58:17

published on April 18, 2019

Coulomb branches of quiver gauge theories with symmetrizers

By Hiraku Nakajima

59:44

published on April 18, 2019

Gelfand-Tsetlin theory and Coulomb branches

By Ben Webster

59:16

published on April 18, 2019

Character stacks and $(q-)$geometric representation theory

By Sam Gunningham

52:34

published on April 18, 2019

Schubert calculus and self-dual puzzles

By Iva Halacheva

01:03:31

published on April 18, 2019

Skeins, clusters, and character sheaves

By David Jordan

01:02:09

published on April 18, 2019

Quantum character varieties at roots of unity

By Pavel Safronov

59:48

published on April 19, 2019

Fusion rings from quantum groups and DAHA actions

By Catharina Stroppel

01:00:06

published on April 25, 2019

Partial resolutions/deformations of diagonal invariants and representations of finite reductive groups

By Cédric Bonnafé

58:05

published on April 18, 2019

Symplectic singularities and nilpotent orbits

By Yoshinori Namikawa

01:05:54

published on April 24, 2019

Higher representations of $gl(1|1)^+$

By Raphaël Rouquier

59:52

published on April 21, 2019

Langlands duality and quantum field theory

By Philsang Yoo

01:04:54

published on April 24, 2019

Irreducible equivariant perverse coherent sheaves on affine Grassmannians of type $A$ and dual canonical bases

By Michael Finkelberg

01:03:04

published on April 23, 2019

Mirabolic Satake equivalence

By Victor Ginzburg

01:02:49

published on April 24, 2019

A geometric $R$-matrix for the Hilbert scheme of points on a general surface

By Noah Arbesfeld

56:24

published on April 24, 2019

A sheaf theoretic approach towards calculating simple characters of algebraic groups

By Peter Fiebig

01:05:20

published on April 24, 2019

Affine Springer fibers and G1T modules

By Eric Vasserot

Copyright Carmin.tv 2024

Give feedback