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 FallFest 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
Humanities, Social Sciences & Thought MathematicsENWhat makes a great math explanation? | SoME2 results3Blue1BrownOctober 1, 2022 17 min★ ★ ★ ★ ☆ 4/5Math EducationSoME2Explanation
Formal & Physical Sciences MathematicsENHow to lie using visual proofs3Blue1BrownJuly 3, 2022 18 min★ ★ ★ ★ ★ 5/5Visual ProofsMathematical RigorGeometry
Formal & Physical Sciences MathematicsENLearning About Quantum States 6: Central Limit Theorems and more for the RSK process on random wordsRyan O'DonnellJune 1, 2022 19 min★ ★ ★ ★ ☆ 4/5RSK ProcessCentral Limit TheoremQuantum State Tomography
Formal & Physical Sciences MathematicsENLearning About Quantum States 5: The Robinson--Schensted--Knuth AlgorithmRyan O'DonnellMay 31, 2022 18 min★ ★ ★ ★ ★ 5/5RSK AlgorithmQuantum State TomographyYoung Diagrams
Formal & Physical Sciences MathematicsENOlympiad level counting (Generating functions)3Blue1Brown (Grant Sanderson)May 23, 2022 34 min★ ★ ★ ★ ★ 5/5Fonctions GénératricesRacines De L'unitéCombinatoire
Formal & Physical Sciences MathematicsENMathematical Epidemiology - Practicum 03 - Analysis and study of stochastic models in RJulien AMay 10, 2022 73 min★ ★ ★ ★ ☆ 4/5Markov ChainsStochastic ModelsR Programming
Formal & Physical Sciences MathematicsENMathematical Epidemiology - Practicum 02 - Model analysis, studying large-scale models in RJulien AMay 10, 2022 100 min★ ★ ★ ★ ☆ 4/5Mathematical EpidemiologyR ProgrammingModel Analysis
Formal & Physical Sciences MathematicsENMathematical Epidemiology - Lecture 09 - Some oddities and some recent mathematical modelsJulien ArinoMay 5, 2022 65 min★ ★ ★ ★ ☆ 4/5EpidemiologyMathematical ModelingR0
Formal & Physical Sciences MathematicsENMathematical Epidemiology - Lecture 07 - Stochastic modelsJulien ArinoMay 4, 2022 60 min★ ★ ★ ★ ☆ 4/5Stochastic ModelsEpidemiologyMarkov Chains
Formal & Physical Sciences MathematicsENMathematical Epidemiology - Practicum 01 - Introduction to R, getting data, solving ODE and fittingJulien AMay 3, 2022 119 min★ ★ ★ ★ ☆ 4/5REpidemiologyODE
Formal & Physical Sciences MathematicsENMathematical Epidemiology - Lecture 06 - Stochastic aspects in the spread of epidemicsJulien ArinoMay 1, 2022 61 min★ ★ ★ ★ ☆ 4/5Stochastic ProcessesEpidemiologySojourn Times
Formal & Physical Sciences MathematicsENMathematical Epidemiology - Lecture 04 - Group modelsJulien ArinoApril 29, 2022 29 min★ ★ ★ ★ ☆ 4/5Mathematical EpidemiologyGroup ModelsODE
Formal & Physical Sciences MathematicsENUofM - MATH2740 - Lecture 09 - Part 1 - SVD (an example by hand)Julien AApril 28, 2022 32 min★ ★ ★ ★ ☆ 4/5SVDLinear AlgebraEigenvalues
Formal & Physical Sciences MathematicsENUofM - MATH2740 - Lecture 07 - Part 1 - Computing and using the QR factorisationJulien AApril 28, 2022 53 min★ ★ ★ ★ ☆ 4/5QR FactorizationGram-SchmidtLeast Squares
Formal & Physical Sciences MathematicsENUofM - MATH2740 - Lecture 06 - Part 2 - QR factorisation (example)Julien AApril 28, 2022 16 min★ ★ ★ ★ ☆ 4/5Gram-SchmidtQR FactorizationLinear Algebra
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 23 - Part 2 - Markov chains in RJulien AApril 28, 2022 53 min★ ★ ★ ★ ☆ 4/5Markov ChainsR ProgrammingStochastic Processes
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 23 - Part 1- Absorbing Markov chainsJulien AApril 28, 2022 23 min★ ★ ★ ★ ☆ 4/5Markov ChainsAbsorbing StatesStochastic Processes
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 22 - Regular Markov chainsJulien AApril 28, 2022 69 min★ ★ ★ ★ ☆ 4/5Markov ChainsStochastic MatricesPrimitive Matrices
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 21 - Part 2 - Markov chainsJulien AApril 28, 2022 42 min★ ★ ★ ★ ☆ 4/5Markov ChainsStochastic ProcessesTransition Matrix
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 21 - Part 1 - Graph theory (Air transport in MB)Julien AApril 28, 2022 34 min★ ★ ★ ★ ☆ 4/5Graph TheoryIgraphR
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 20 - Graph theory (Air transport in MB)Julien AApril 28, 2022 68 min★ ★ ★ ★ ☆ 4/5Graph TheoryNetwork AnalysisR Programming
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 18 - Graph theory (Graph measures 2)Julien AApril 28, 2022 62 min★ ★ ★ ★ ☆ 4/5Graph TheoryDensityConnectedness
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 17 - Part 2 - Graph theory (Graph measures 1)Julien AApril 28, 2022 30 min★ ★ ★ ★ ☆ 4/5Graph TheoryGeodesic DistanceEccentricity
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 17 - Part 1 - Graph theory (Introduction to RMarkdown)Julien AApril 28, 2022 34 min★ ★ ★ ★ ☆ 4/5R MarkdownGraph TheoryData Wrangling
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 16 - Part 2 - Graph theory (computer example)Julien AApril 28, 2022 23 min★ ★ ★ ★ ☆ 4/5Graph TheoryIgraphR Programming
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 16 - Part 1 - Graph theory (associated matrices)Julien AApril 28, 2022 49 min★ ★ ★ ★ ☆ 4/5Graph TheoryAdjacency MatrixDegree Matrix
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 14 - Part 2 - Graph theory (Spanning trees - igraph)Julien AApril 28, 2022 10 min★ ★ ★ ★ ☆ 4/5Graph TheorySpanning TreesIgraph
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 14 - Part 1 - Graph theory (Cycles, spanning trees)Julien AApril 28, 2022 62 min★ ★ ★ ★ ☆ 4/5Graph TheoryCyclesTrees
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 13 - Part 2 - Graph theory (Introduction to igraph)Julien AApril 28, 2022 20 min★ ★ ★ ★ ☆ 4/5IgraphRGraph Theory
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 13 - Part 1 - Graph theory (Introduction)Julien AApril 28, 2022 56 min★ ★ ★ ★ ☆ 4/5Graph TheoryMathematicsLecture
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 12 - Part 1 - PCA (computer example 2)Julien AApril 28, 2022 33 min★ ★ ★ ★ ☆ 4/5PCAR ProgrammingData Science
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 11 - Part 3 - PCA (computer example 1)Julien AApril 28, 2022 29 min★ ★ ★ ★ ☆ 4/5PCARLinear Algebra
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 11 - Part 2 - Examples of change of basisJulien AApril 28, 2022 23 min★ ★ ★ ★ ☆ 4/5Linear AlgebraChange of BasisVector Spaces
