Formal & Physical Sciences MathematicsENSéance 2 Gödel déduction formelle et indécidabilitéAnthony BichlerNovember 9, 2025 106 min★ ★ ★ ★ ☆ 4/5GödelLogique MathématiqueIndécidabilité
Formal & Physical Sciences MathematicsENHigh dimensional statistics - session 9Robust and Interpretable Machine Learning LabNovember 9, 2025 87 min★ ★ ★ ★ ☆ 4/5High-Dimensional StatisticsSparse RecoveryL1 Relaxation
Formal & Physical Sciences MathematicsENAlgo Extraño Ocurre Cuando Rastreas Qué Tan Conectados EstamosVeritasium en españolNovember 8, 2025 31 min★ ★ ★ ★ ★ 5/5Network ScienceSix Degrees of SeparationGraph Theory
Formal & Physical Sciences MathematicsENTremendísima ecuación que nadie sabe resolver🙉Matemáticas con JuanNovember 7, 2025 19 min★ ★ ★ ★ ☆ 4/5Transcendental EquationLogarithmsAlgebra
Formal & Physical Sciences MathematicsENDr. Mark Pengitore | Linearity criteria for automorphism groups of hyperbolic groupsDr. Mark PengitoreNovember 7, 2025 67 min★ ★ ★ ★ ☆ 4/5Hyperbolic GroupsAutomorphism GroupsLinearity
Formal & Physical Sciences MathematicsENFlorian Lengyel --- The Geometry and Combinatorics of Diagonal Simplicial Tensor ModulesFlorian LengyelNovember 6, 2025 46 min★ ★ ★ ★ ☆ 4/5Simplicial SetsHypergroupoidsTensor Modules
Formal & Physical Sciences MathematicsENWhy Laplace transforms are so useful3Blue1BrownNovember 5, 2025 23 min★ ★ ★ ★ ★ 5/5Laplace TransformDifferential EquationsHarmonic Oscillator
Formal & Physical Sciences MathematicsENShubhodip Mondal - $p$-adic Motives and Special Values of Zeta FunctionsShubhodip MondalNovember 5, 2025 71 min★ ★ ★ ★ ★ 5/5P-Adic MotivesZeta FunctionsF-Gauges
Formal & Physical Sciences MathematicsENHigh dimensional statistics - 3 - teaching assistant class by Ali Abassi - HDSAli AbassiNovember 5, 2025 65 min★ ★ ★ ★ ☆ 4/5Concentration InequalitiesSub-GaussianMarkov Inequality
Formal & Physical Sciences MathematicsENGeometric Aspects of the $p$-adic Locally Analytic Langlands CorrespondenceArthur-César Le BrasNovember 5, 2025 70 min★ ★ ★ ★ ★ 5/5P-Adic LanglandsGeometrizationLocally Analytic Representations
Formal & Physical Sciences MathematicsENDongryul Kim - Uniqueness and Functoriality of Igusa StacksDongryul KimNovember 5, 2025 60 min★ ★ ★ ★ ☆ 4/5Igusa StacksShimura VarietiesP-Adic Hodge Theory
Formal & Physical Sciences MathematicsENJohn Voight: Ranks of Elliptic Curves (October 17, 2025)John VoightNovember 4, 2025 56 min★ ★ ★ ★ ☆ 4/5Elliptic CurvesNumber TheoryRank
Formal & Physical Sciences MathematicsENIvan Corwin: Extreme Diffusion (October 17, 2025)Ivan CorwinNovember 4, 2025 57 min★ ★ ★ ★ ☆ 4/5Extreme DiffusionRandom WalkEinstein
Formal & Physical Sciences MathematicsENHigh dimensional statistics - session 8Robust and Interpretable Machine Learning LabNovember 4, 2025 87 min★ ★ ★ ★ ☆ 4/5McDiarmid's InequalityHigh-Dimensional StatisticsConcentration Inequalities
Formal & Physical Sciences MathematicsENHee Oh: A Traveler’s Journey in a Hyperbolic World (October 16, 2025)Hee OhNovember 4, 2025 53 min★ ★ ★ ★ ★ 5/5Hyperbolic GeometryDynamical SystemsErgodic Theory
Formal & Physical Sciences MathematicsENAna Caraiani - Igusa Stacks IVAna CaraianiNovember 4, 2025 66 min★ ★ ★ ★ ★ 5/5Igusa StacksShimura VarietiesIntersection Cohomology
Formal & Physical Sciences MathematicsENUniversal Covers | Algebraic Topology Lecture 10 | Nge Kie Seng 251103Nge Kie SengNovember 3, 2025 116 min★ ★ ★ ★ ☆ 4/5Algebraic TopologyCovering SpacesUniversal Cover
Formal & Physical Sciences MathematicsENSebastien Roch: Complex Discrete Probability Models in Evolutionary Biology...(April 4, 2025)Sebastien RochNovember 3, 2025 64 min★ ★ ★ ★ ☆ 4/5PhylogeneticsProbabilityCoalescent
Formal & Physical Sciences MathematicsENNon-Archimedean Motives ITimo RicharzNovember 3, 2025 66 min★ ★ ★ ★ ☆ 4/5MotivesSix-Functor FormalismP-Adic Cohomology
Formal & Physical Sciences MathematicsENMingjia Zhang - Igusa Stacks IIIMingjia ZhangNovember 3, 2025 61 min★ ★ ★ ★ ★ 5/5Igusa StacksShimura VarietiesIhara's Lemma
Formal & Physical Sciences MathematicsENMingjia Zhang - Igusa Stacks IMingjia ZhangNovember 3, 2025 66 min★ ★ ★ ★ ☆ 4/5Igusa StacksShimura VarietiesP-Adic Geometry
Formal & Physical Sciences MathematicsENLecture 01: Introduction to Projection TheoryLawrence D. GuthNovember 3, 2025 78 min★ ★ ★ ★ ★ 5/5Projection TheoryFractal GeometrySzemerédi-Trotter Theorem
Formal & Physical Sciences MathematicsENAna Caraiani - Igusa Stacks IIAna CaraianiNovember 3, 2025 62 min★ ★ ★ ★ ★ 5/5Igusa StacksShimura VarietiesLanglands Program
Formal & Physical Sciences MathematicsENHigh dimensional statistics - session 7Robust and Interpretable Machine Learning LabNovember 2, 2025 88 min★ ★ ★ ★ ☆ 4/5MartingaleConcentration InequalitiesHigh-Dimensional Statistics
Formal & Physical Sciences MathematicsENThe REAL Reason Sine & Cosine Come from TrianglesMath and ScienceNovember 1, 2025 21 min★ ★ ★ ★ ☆ 4/5TrigonometryRight TrianglesSine
Formal & Physical Sciences MathematicsENSET, RELATION, FUNCTION | DISCRETE STRUCTURES & THEORY OF LOGIC | LECTURE 01 BY MS. SHRADDHA MISHRAMs. Shraddha MishraNovember 1, 2025 33 min★ ★ ★ ☆ ☆ 3/5Discrete MathematicsSetsRelations
Formal & Physical Sciences MathematicsENHALLA EL RADIO de una circunferencia con Pitágoras | Geometría básicaMatemáticas con JuanNovember 1, 2025 10 min★ ★ ★ ★ ☆ 4/5GeometríaPitágorasCircunferencia
Formal & Physical Sciences MathematicsENEnrique Zuazua: Machine Learning, Control Theory, and PDEsEnrique ZuazuaOctober 31, 2025 62 min★ ★ ★ ★ ☆ 4/5Machine LearningControl TheoryPartial Differential Equations
Formal & Physical Sciences MathematicsENWhat Is the Krylov Method And Why Quantum Computers Need ItQiskitOctober 29, 2025 15 min★ ★ ★ ★ ☆ 4/5Krylov MethodQuantum DiagonalizationQuantum Algorithms
Formal & Physical Sciences MathematicsENMaxima, Minima, Mean Value Theorem | Calculus I A Lecture 9 | Nge Kie Seng 20251029Nge Kie SengOctober 29, 2025 114 min★ ★ ★ ★ ☆ 4/5CalculusDerivativesMaxima
Formal & Physical Sciences MathematicsENCovering Spaces | Algebraic Topology Lecture 9 | Nge Kie Seng 251029Nge Kie SengOctober 29, 2025 110 min★ ★ ★ ★ ☆ 4/5Algebraic TopologyCovering SpacesFundamental Group
Formal & Physical Sciences MathematicsENHigh dimensional statistics - session 6Robust and Interpretable Machine Learning LabOctober 28, 2025 87 min★ ★ ★ ★ ☆ 4/5High-Dimensional StatisticsConcentration InequalitiesJohnson-Lindenstrauss Lemma
Formal & Physical Sciences MathematicsENOn Rationality Over the RealsAlena PirutkaOctober 27, 2025 55 min★ ★ ★ ★ ☆ 4/5RationalityReal Closed FieldsQuadric Surface Bundles
Formal & Physical Sciences MathematicsENHigh dimensional statistics - session 5Robust and Interpretable Machine Learning LabOctober 27, 2025 85 min★ ★ ★ ★ ☆ 4/5High-Dimensional StatisticsChernoff BoundBernstein Inequality
Formal & Physical Sciences MathematicsENHigh dimensional statistics - 2 - teaching assistant class by Arshia Izadyari - Linear algebraArshia IzadyariOctober 27, 2025 82 min★ ★ ★ ★ ☆ 4/5Linear AlgebraNormsOperator Norms
Formal & Physical Sciences MathematicsENEvery Group is a Fundamental Group | Algebraic Topology Lecture 8 | Nge Kie Seng 251027Nge Kie SengOctober 27, 2025 116 min★ ★ ★ ★ ☆ 4/5Algebraic TopologyFundamental GroupCW Complex
Formal & Physical Sciences MathematicsENSolving Equations - The Easy Way, Practice & MasterMath and ScienceOctober 25, 2025 41 min★ ★ ★ ★ ☆ 4/5AlgebraEquationsTutorial
Formal & Physical Sciences MathematicsENRelated Rates of Change | Calculus I A Lecture 8 | Nge Kie Seng 20251024Nge Kie SengOctober 24, 2025 169 min★ ★ ★ ★ ☆ 4/5CalculusRelated RatesImplicit Differentiation
Formal & Physical Sciences MathematicsENQuel sera l’impact de l’IA sur les mathématiques dans les prochaines années ?Timothy GowersOctober 24, 2025 39 min★ ★ ★ ★ ★ 5/5AIMathematicsProof Verification
Formal & Physical Sciences MathematicsENMathematical Bootstrap: From Conformal Fields to L-FunctionsDalimil MazacOctober 24, 2025 132 min★ ★ ★ ★ ★ 5/5Conformal BootstrapL-FunctionsAutomorphic Forms