Formal & Physical Sciences MathematicsENA pretty reason why Gaussian + Gaussian = Gaussian3Blue1BrownJuly 11, 2023 13 min★ ★ ★ ★ ★ 5/5GaussianConvolutionCentral Limit Theorem
Formal & Physical Sciences MathematicsENThis pattern breaks, but for a good reason | Moser's circle problem3Blue1BrownJuly 2, 2023 16 min★ ★ ★ ★ ★ 5/5Moser's Circle ProblemCombinatoricsEuler's Formula
Formal & Physical Sciences MathematicsENConvolutions | Why X+Y in probability is a beautiful mess3Blue1BrownJune 27, 2023 27 min★ ★ ★ ★ ★ 5/5ConvolutionProbabilityCentral Limit Theorem
Formal & Physical Sciences MathematicsENSoundness SpectraJuan P. AguileraJune 17, 2023 121 min★ ★ ★ ★ ☆ 4/5Proof TheoryOrdinal AnalysisDilators
Formal & Physical Sciences MathematicsENWhat happens if you just keep squaring?Veritasium (Derek Muller, with Alex Kontorovich)June 6, 2023 33 min★ ★ ★ ★ ★ 5/5P-Adic NumbersNumber TheoryFermat's Last Theorem
Formal & Physical Sciences MathematicsENOn the (non)existence of proof sytems in universal proof theoryRosalie IemhoffMay 2, 2023 120 min★ ★ ★ ★ ☆ 4/5Proof TheorySequent CalculusUniversal Proof Theory
Formal & Physical Sciences MathematicsEN6.8210 Spring 2023 Lecture 20: Stochastic dynamicsunderactuatedApril 29, 2023 74 min★ ★ ★ ★ ☆ 4/5Stochastic DynamicsProbability DistributionsMarkov Processes
Formal & Physical Sciences MathematicsENEstimation d'un paramètreEstimating a parameterThierry AncelleApril 25, 2023 38 min★ ★ ★ ★ ☆ 4/5StatisticsConfidence IntervalEpidemiology
Formal & Physical Sciences MathematicsENWhy π is in the normal distribution (beyond integral tricks)3Blue1Brown (Grant Sanderson)April 2, 2023 24 min★ ★ ★ ★ ★ 5/5Distribution NormaleIntégrale De GaussΠ
Formal & Physical Sciences MathematicsENBut what is the Central Limit Theorem?3Blue1BrownMarch 14, 2023 31 min★ ★ ★ ★ ★ 5/5Théorème Central LimiteDistribution NormaleProbabilités
Formal & Physical Sciences MathematicsENCours 18 - Modèles en chaînes de MarkovJulien AFebruary 11, 2023 65 min★ ★ ★ ★ ☆ 4/5Markov ChainsStochastic ProcessesTransition Matrix
Formal & Physical Sciences MathematicsENSpring 2023 6.8210 Lecture 2: Nonlinear DynamicsunderactuatedFebruary 10, 2023 72 min★ ★ ★ ★ ☆ 4/5Nonlinear DynamicsPendulumStability
Life & Natural Systems MathematicsENCours 13 - Modèles de groupesJulien AFebruary 10, 2023 52 min★ ★ ★ ★ ☆ 4/5ÉpidémiologieModèles MathématiquesGroupes
Life & Natural Systems MathematicsENCours 12 - Hétérogénéité de groupe et spatialeJulien AFebruary 10, 2023 63 min★ ★ ★ ★ ☆ 4/5EpidemiologyHeterogeneitySpatial Spread
Formal & Physical Sciences MathematicsENCours 11 - Quelques curiosités et modèles en plusJulien AFebruary 10, 2023 66 min★ ★ ★ ★ ☆ 4/5Mathematical EpidemiologyNext-Generation MatrixTuberculosis Model
Formal & Physical Sciences MathematicsENCours 10 - Plus de modèles épidémiquesJulien AFebruary 8, 2023 42 min★ ★ ★ ★ ☆ 4/5EpidemiologyMathematical ModelingSIR Model
Formal & Physical Sciences MathematicsENParameter identification (fitting a model) and identifiabilityJulien AJanuary 26, 2023 56 min★ ★ ★ ★ ☆ 4/5Parameter FittingIdentifiabilityLogistic Equation
Formal & Physical Sciences MathematicsENNumerics with models for ETPJulien AJanuary 20, 2023 57 min★ ★ ★ ★ ☆ 4/5EpidemiologyMathematical ModelingNumerical Simulation
Formal & Physical Sciences MathematicsENThe Art of Ordinal AnalysisProf. Michael RathjenDecember 21, 2022 109 min★ ★ ★ ★ ★ 5/5Proof TheoryOrdinal AnalysisMathematical Logic
Formal & Physical Sciences MathematicsENRégression logistique. 1 ) PrincipeLogistic Regression. 1) PrincipleThierry AncelleDecember 21, 2022 25 min★ ★ ★ ★ ☆ 4/5Logistic RegressionEpidemiologyStatistics
Life & Natural Systems MathematicsENRégression logistique. 2) PratiqueLogistic Regression. 2) Practical ApplicationThierry AncelleDecember 21, 2022 29 min★ ★ ★ ★ ☆ 4/5Logistic RegressionEpidemiologyStatistics
Formal & Physical Sciences MathematicsENEssential Hereditary UndecidabilityAlbert VisserDecember 18, 2022 106 min★ ★ ★ ★ ☆ 4/5LogicUndecidabilityGödel
Formal & Physical Sciences MathematicsENPermutations and Combinations - BSc Physics Series - by Shilpy Bhullar (Hindi/English)Shilpy BhullarDecember 17, 2022 31 min★ ★ ★ ☆ ☆ 3/5PermutationsCombinationsMathematics
Formal & Physical Sciences MathematicsENGreen's Theorem - BSc Physics Series - by Shilpy Bhullar (Hindi/English)Shilpy BhullarDecember 17, 2022 57 min★ ★ ★ ★ ☆ 4/5Green's TheoremVector CalculusLine Integral
Formal & Physical Sciences MathematicsENCours 05 - Fonctions d'incidenceJulien ADecember 10, 2022 64 min★ ★ ★ ★ ☆ 4/5Incidence FunctionsMathematical EpidemiologySIS Model
Formal & Physical Sciences MathematicsENBayes' theoremThierry AncelleDecember 2, 2022 16 min★ ★ ★ ★ ☆ 4/5Bayes' TheoremProbabilityConditional Probability
Formal & Physical Sciences MathematicsENMulti-Dimensional Gaussian Probability Density FunctionsMachine Learning PracticeDecember 1, 2022 21 min★ ★ ★ ★ ☆ 4/5GaussianProbability DensityCovariance
Formal & Physical Sciences MathematicsENCours 07 - Étapes de l'analyse mathématique des modèles, R0 et la taille finale d'une épidémieJulien ANovember 28, 2022 53 min★ ★ ★ ★ ☆ 4/5EpidemiologyMathematical ModelingR0
Formal & Physical Sciences MathematicsENCours 06 - Le modèle de Kermack et McKendrickJulien ANovember 26, 2022 64 min★ ★ ★ ★ ☆ 4/5ÉpidémiologieModèle MathématiqueKermack-McKendrick
Formal & Physical Sciences MathematicsENCours 14 - Modèles dans des métapopulationsJulien ArinoNovember 22, 2022 80 min★ ★ ★ ★ ☆ 4/5MetapopulationMathematical EpidemiologySIR Model
Formal & Physical Sciences MathematicsENCours 04 - Le modèle SISJulien ANovember 20, 2022 74 min★ ★ ★ ★ ☆ 4/5SIS ModelMathematical EpidemiologyCompartmental Models
Formal & Physical Sciences MathematicsENNormal forms of proofs in natural deduction II: complexityProf. Helmut SchwichtenbergNovember 19, 2022 108 min★ ★ ★ ★ ☆ 4/5Proof TheoryNatural DeductionNormalization
Formal & Physical Sciences MathematicsENBut what is a convolution?3Blue1BrownNovember 18, 2022 23 min★ ★ ★ ★ ★ 5/5ConvolutionMathematicsProbability
Formal & Physical Sciences MathematicsENNormal forms of proofs in natural deduction I: existence and uniquenessProf. Helmut SchwichtenbergNovember 12, 2022 113 min★ ★ ★ ★ ★ 5/5Proof TheoryNatural DeductionNormal Forms
Formal & Physical Sciences MathematicsENResearchers thought this was a bug (Borwein integrals)3Blue1BrownNovember 4, 2022 17 min★ ★ ★ ★ ★ 5/5Borwein IntegralsSinc FunctionFourier Transform
Formal & Physical Sciences MathematicsENQiskit FalllFest CIC-IPN Mexico 2022- Combinatorial optimisation through OpenQAOAShao Hen ChiewOctober 20, 2022 51 min★ ★ ★ ★ ☆ 4/5QAOAQuantum ComputingCombinatorial Optimization
Formal & Physical Sciences MathematicsENIntroduction to Quadratic ProgrammingMachine Learning PracticeOctober 18, 2022 21 min★ ★ ★ ★ ☆ 4/5Quadratic ProgrammingSupport Vector MachinesOptimization
Humanities, Social Sciences & Thought MathematicsENHistory of Mathematical Logic in China: From its beginnings to Tsinghua UniversityDr. Jan VrhovskiOctober 16, 2022 149 min★ ★ ★ ★ ☆ 4/5Mathematical LogicChinaHistory
Formal & Physical Sciences MathematicsENOrganisation of the course and brief introduction to Mathematical EpidemiologyJulien ArinoOctober 9, 2022 25 min★ ★ ★ ★ ☆ 4/5Mathematical EpidemiologyEpidemiologyCourse Introduction
Formal & Physical Sciences MathematicsENIntroduction to Mathematical Epidemiology: the SIS and Kermack and McKendrick epidemiological modelsJulien AOctober 9, 2022 94 min★ ★ ★ ★ ☆ 4/5Mathematical EpidemiologySIR ModelSIS Model