Exposés de recherche

Collection Exposés de recherche

00:00:00 / 00:00:00

166 380

Formal verification of numerical analysis programs

By Sylvie Boldo

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

From a (partial) differential equation to an actual program is a long road. This talk will present the formal verification of all the steps of this journey. This includes the mathematical error due to the numerical scheme (method error), that is usually bounded by pen-and-paper proofs. This also includes round-off errors due to the floating-point computations. The running example will be a C program that implements a numerical scheme for the resolution of the one-dimensional acoustic wave equation. This program is annotated to specify both method error and round-off error, and formally verified using interactive and automatic provers. Some work in progress about the finite element method will also be presented.

Information about the video

Date of recording 12/01/2016
Date of publication 04/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.18915203
Cite this video Boldo, Sylvie (12/01/2016). Formal verification of numerical analysis programs. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.18915203
URL https://dx.doi.org/10.24350/CIRM.V.18915203

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