Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 10 - PCA (theory)Julien ASeptember 19, 2023 72 min★ ★ ★ ★ ☆ 4/5PCADimensionality ReductionLinear Algebra
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 05 - Part 2 - Fitting Canada censusJulien ASeptember 19, 2023 25 min★ ★ ★ ★ ☆ 4/5Least SquaresR ProgrammingData Fitting
Formal & Physical Sciences MathematicsENThe Insane Math Of Knot TheoryVeritasiumSeptember 3, 2023 35 min★ ★ ★ ★ ★ 5/5Knot TheoryMathematicsTopology
Formal & Physical Sciences MathematicsENLecture series on concrete incompleteness-2: Proof theory of Peano ArithmeticProf. Andreas WeiermannAugust 5, 2023 131 min★ ★ ★ ★ ★ 5/5Proof TheoryPeano ArithmeticTransfinite Induction
Formal & Physical Sciences MathematicsENOn concrete incompleteness-4: Friedman style independence results for ordinals and finite treesAndreas WeiermannAugust 4, 2023 111 min★ ★ ★ ★ ☆ 4/5IncompletenessOrdinalsFinite Trees
Formal & Physical Sciences MathematicsENLecture series on concrete incompleteness-5: Phase transitionsAndreas WeiermannAugust 4, 2023 145 min★ ★ ★ ★ ☆ 4/5Concrete IncompletenessPhase TransitionsProof Theory
Formal & Physical Sciences MathematicsENLecture series on concrete incompleteness-3: Paris Harrington theoremProf. Andreas WeiermannAugust 4, 2023 109 min★ ★ ★ ★ ☆ 4/5Paris-Harrington TheoremIncompletenessRamsey Theory
Formal & Physical Sciences MathematicsENLecture series on concrete incompleteness-1: Cut elimination theoremAndreas WeiermannAugust 4, 2023 104 min★ ★ ★ ★ ☆ 4/5Proof TheoryCut EliminationSequent Calculus
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ètreThierry 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 ) PrincipeThierry AncelleDecember 21, 2022 25 min★ ★ ★ ★ ☆ 4/5Logistic RegressionEpidemiologyStatistics
Life & Natural Systems MathematicsENRégression logistique. 2) PratiqueThierry 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