Mathématiques

Convolutions | Why X+Y in probability is a beautiful mess

Convolutions | Pourquoi X+Y en probabilité est un magnifique désordre

Soundness Spectra

Spectres de solidité

What happens if you just keep squaring?

Que se passe-t-il si vous continuez simplement à mettre au carré ?

On the (non)existence of proof sytems in universal proof theory

Sur la (non)existence des systèmes de preuve en théorie de la preuve universelle

6.8210 Spring 2023 Lecture 20: Stochastic dynamics

6.8210 Printemps 2023 Conférence 20 : Dynamique stochastique

Estimation d'un paramètre

Why π is in the normal distribution (beyond integral tricks)

Pourquoi π est dans la distribution normale (au-delà des astuces d'intégrale)

But what is the Central Limit Theorem?

Mais qu'est-ce que le théorème central limite ?

Cours 18 - Modèles en chaînes de Markov

Spring 2023 6.8210 Lecture 2: Nonlinear Dynamics

Printemps 2023 6.8210 Cours 2 : Dynamique non linéaire

Cours 13 - Modèles de groupes

Cours 12 - Hétérogénéité de groupe et spatiale

Cours 11 - Quelques curiosités et modèles en plus

Cours 10 - Plus de modèles épidémiques

Parameter identification (fitting a model) and identifiability

Identification des paramètres (ajustement d'un modèle) et identifiabilité

Numerics with models for ETP

Numériques avec des modèles pour ETP

The Art of Ordinal Analysis

L'art de l'analyse ordinale

Régression logistique. 1 ) Principe

Régression logistique. 2) Pratique

Essential Hereditary Undecidability

Indécidabilité héréditaire essentielle

Permutations and Combinations - BSc Physics Series - by Shilpy Bhullar (Hindi/English)

Permutations et combinaisons - Série de physique BSc - par Shilpy Bhullar (hindi/anglais)

Green's Theorem - BSc Physics Series - by Shilpy Bhullar (Hindi/English)

Théorème de Green - Série de Physique BSc - par Shilpy Bhullar (Hindi/Anglais)

Cours 05 - Fonctions d'incidence

Course 05 - Incidence functions

Bayes' theorem

Théorème de Bayes

Multi-Dimensional Gaussian Probability Density Functions

Fonctions de densité de probabilité gaussiennes multidimensionnelles

Cours 07 - Étapes de l'analyse mathématique des modèles, R0 et la taille finale d'une épidémie

Cours 06 - Le modèle de Kermack et McKendrick

Cours 14 - Modèles dans des métapopulations

Cours 04 - Le modèle SIS

Normal forms of proofs in natural deduction II: complexity

Formes normales des preuves en déduction naturelle II : complexité

But what is a convolution?

Mais qu'est-ce qu'une convolution ?

Normal forms of proofs in natural deduction I: existence and uniqueness

Formes normales de preuves en déduction naturelle I : existence et unicité

Researchers thought this was a bug (Borwein integrals)

Les chercheurs pensaient que c'était un bug (intégrales de Borwein)

Qiskit FalllFest CIC-IPN Mexico 2022- Combinatorial optimisation through OpenQAOA

Qiskit FallFest CIC-IPN Mexique 2022- Optimisation combinatoire via OpenQAOA

Introduction to Quadratic Programming

Introduction à la programmation quadratique

History of Mathematical Logic in China: From its beginnings to Tsinghua University

Histoire de la logique mathématique en Chine : de ses débuts à l’Université Tsinghua

Organisation of the course and brief introduction to Mathematical Epidemiology

Organisation du cours et brève introduction à l'épidémiologie mathématique

Introduction to Mathematical Epidemiology: the SIS and Kermack and McKendrick epidemiological models

Introduction à l'épidémiologie mathématique : les modèles épidémiologiques SIS et de Kermack et McKendrick

What makes a great math explanation? | SoME2 results

Qu'est-ce qui fait une grande explication mathématique ? | Résultats de SoME2

How to lie using visual proofs

Comment mentir en utilisant des preuves visuelles