Formal & Physical Sciences MathematicsENCÁLCULO DIFERENCIAL E INTEGRAL DESDE 0 | 200 PROBLEMAS RESUELTOSDIFFERENTIAL AND INTEGRAL CALCULUS FROM 0 | 200 SOLVED PROBLEMSMatemáticas con JuanOctober 23, 2026 714 min★ ★ ★ ★ ☆ 4/5Calcul DifférentielCalcul IntégralDérivées
Formal & Physical Sciences MathematicsENUniform Continuity | MA II Lecture 9 | Nge Kie Seng 261022Nge Kie SengOctober 22, 2026 115 min★ ★ ★ ★ ☆ 4/5Uniform ContinuityExtreme Value PropertySequential Compactness
Formal & Physical Sciences MathematicsENSequentially Compactness Theorem | MA II Lecture 8 | Nge Kie Seng 261023Nge Kie SengOctober 22, 2026 112 min★ ★ ★ ★ ☆ 4/5Sequential CompactnessBolzano-WeierstrassReal Analysis
Formal & Physical Sciences MathematicsENProf. Arnold Beckmann | On Propositional Translations from Theories for Log-space ComputationProf. Arnold BeckmannOctober 22, 2026 41 min★ ★ ★ ★ ★ 5/5Bounded ArithmeticPropositional Proof SystemsLog-Space Computation
Formal & Physical Sciences MathematicsENDeformation Retracts | Algebraic Topology Lecture 8 | Nge Kie Seng 261020Nge Kie SengOctober 22, 2026 120 min★ ★ ★ ★ ☆ 4/5Algebraic TopologyDeformation RetractHomotopy Equivalence
Formal & Physical Sciences MathematicsEN50 ECUACIONES IRRACIONALES DESDE CEROMatemáticas con JuanOctober 22, 2026 208 min★ ★ ★ ★ ☆ 4/5Irrational EquationsRadicalsAlgebra
Formal & Physical Sciences MathematicsENXuan Yao - Quantification of $C^0$-convergence in dimension 3 (II)Xuan Yao (University of Chicago)October 21, 2026 26 min★ ★ ★ ★ ☆ 4/5Differential GeometryScalar CurvatureC^0 Convergence
Formal & Physical Sciences MathematicsENLiam Mazurowski - Quantification of $C^0$-convergence in dimension 3 (I)Liam MazurowskiOctober 21, 2026 30 min★ ★ ★ ★ ☆ 4/5Differential GeometryScalar CurvatureC^0 Convergence
Formal & Physical Sciences MathematicsENExplaining Literally Everything There Is To Know About FunctionsBub ExplainsOctober 21, 2026 245 min★ ★ ★ ★ ☆ 4/5FunctionsMathematicsDomain
Formal & Physical Sciences MathematicsENEmilio Minichiello --- Introduction to Locally Presentable Categories.Emilio MinichielloOctober 21, 2026 88 min★ ★ ★ ★ ☆ 4/5Category TheoryLocally PresentableAccessible Categories
Formal & Physical Sciences MathematicsENDr. Raheleh Jalali | Formalizing the LLL algorithm in bounded arithmeticDr. Raheleh JalaliOctober 21, 2026 19 min★ ★ ★ ★ ☆ 4/5LLL AlgorithmBounded ArithmeticProof Formalization
Formal & Physical Sciences MathematicsENDr. Amirhossein Akbar Tabatabai | Affine QBF-Frege: games, strategies, and lower boundsDr. Amirhossein Akbar TabatabaiOctober 21, 2026 20 min★ ★ ★ ★ ☆ 4/5QBFProof ComplexityGame Semantics
Formal & Physical Sciences MathematicsENИнварианты погруженных кривых. Часть 3: Категорификации полиномов |QTC| Виктория ГеоргиевскаяVictoria GeorgievskayaOctober 20, 2026 65 min★ ★ ★ ★ ☆ 4/5CategorificationArnold InvariantsViro Polynomial
Formal & Physical Sciences MathematicsENWhy the Casino Wins Even When the Game Is Fair (Gambler's Ruin)axiom codeOctober 20, 2026 20 min★ ★ ★ ★ ★ 5/5Gambler's RuinProbabilityMartingale
Formal & Physical Sciences MathematicsENSession 1: Stocks: Horse Market, Oil Market, and Transportation SystemHazhir RahmandadOctober 20, 2026 145 min★ ★ ★ ★ ☆ 4/5System DynamicsModelingSimulation
Formal & Physical Sciences MathematicsENProf. Johann Makowsky | Extensions of Courcelle's Theorem without logicProf. Johann Makowsky (Technion - Israel Institute of Technology)October 20, 2026 15 min★ ★ ★ ★ ☆ 4/5Courcelle's TheoremMonadic Second-Order LogicHankel Matrices
Formal & Physical Sciences MathematicsENIntroduction to University Mathematics (2026), Lecture 4. First Year Student LectureOxford MathematicsOctober 20, 2026 134 min★ ★ ★ ★ ★ 5/5LogicProofImplication
Formal & Physical Sciences MathematicsENDr. Neil Thapen | Quantified propositional calculi and narrow implicit proofsDr. Neil Thapen (Academy of Sciences of the Czech Republic)October 20, 2026 38 min★ ★ ★ ★ ☆ 4/5Proof ComplexityImplicit ProofsQuantified Propositional Logic
Formal & Physical Sciences MathematicsENProf. Anupam Das | A monotone version of Cook's correspondenceAnupam DasOctober 19, 2026 39 min★ ★ ★ ★ ☆ 4/5Proof ComplexityMonotone ComputationCook's Correspondence
Formal & Physical Sciences MathematicsENLiterally Everything There Is To Know About Infinity (For Sleep)Bub ExplainsOctober 19, 2026 201 min★ ★ ★ ★ ★ 5/5InfinitySet TheoryCantor
Formal & Physical Sciences MathematicsENJean-Baptiste Stiegler - Collapsing of PolygonsJean-Baptiste StieglerOctober 19, 2026 67 min★ ★ ★ ★ ☆ 4/5Pentagram MapCross-RatioInfinitesimal Monodromy
Formal & Physical Sciences MathematicsENHomotopy Equivalence | Algebraic Topology Lecture 7 | Nge Kie Seng 261019Nge Kie SengOctober 19, 2026 111 min★ ★ ★ ★ ☆ 4/5Algebraic TopologyHomotopyFundamental Group
Formal & Physical Sciences MathematicsENEvery Confusing Thing About Linear Algebra Explained Slowly (For Sleep)Cosmo ExplainsOctober 19, 2026 137 min★ ★ ★ ★ ☆ 4/5Linear AlgebraVectorsMatrices
Formal & Physical Sciences MathematicsENDr. Susanna de Rezende | The Proof Analysis Problem for Constant-Depth FregeSusanna de RezendeOctober 19, 2026 37 min★ ★ ★ ★ ★ 5/5Proof ComplexityConstant-Depth FregeResolution
Formal & Physical Sciences MathematicsENDr. Ondřej Ježil | Ultrapowers, Boolean Valued Models and Forcing in Bounded ArithmeticDr. Ondřej JežilOctober 19, 2026 38 min★ ★ ★ ★ ☆ 4/5Bounded ArithmeticForcingModel Theory
Formal & Physical Sciences MathematicsENWhy Do So Many Numbers Start With 1 (Benford's Law)axiom codeOctober 18, 2026 21 min★ ★ ★ ★ ★ 5/5Benford's LawLogarithmsStatistics
Formal & Physical Sciences MathematicsENИнварианты погруженных кривых. Часть 2: Полиномы Виро и Ланзата-Поляка |QTC| Виктория ГеоргиевскаяVictoria Georgievskaya (Виктория Георгиевская)October 17, 2026 112 min★ ★ ★ ★ ☆ 4/5Immersed CurvesArnold InvariantsViro Polynomial
Formal & Physical Sciences MathematicsENVladimir Fock - Tau function and all thatVladimir FockOctober 17, 2026 64 min★ ★ ★ ★ ☆ 4/5Tau FunctionIntegrable SystemsCluster Algebras
Formal & Physical Sciences MathematicsENValentin Ovsienko - ``Quantum'' Rational NumbersValentin OvsienkoOctober 17, 2026 72 min★ ★ ★ ★ ☆ 4/5Q-DeformationCross-RatioFrieze Patterns
Formal & Physical Sciences MathematicsENMichal Zwierzynski - Area-Normalized Pentagram MapMichal ZwierzynskiOctober 17, 2026 60 min★ ★ ★ ★ ☆ 4/5Pentagram MapProjective GeometryDynamical Systems
Formal & Physical Sciences MathematicsENMax Weinreich - Skew Pentagram MapsMax WeinreichOctober 17, 2026 66 min★ ★ ★ ★ ☆ 4/5Pentagram MapIntegrable SystemsDynamical Degree
Formal & Physical Sciences MathematicsENMA II Tutorial 2 | Nge Kie Seng 261009©SengLecture™October 17, 2026 131 min★ ★ ★ ☆ ☆ 3/5Real AnalysisTopologyOpen Sets
Formal & Physical Sciences MathematicsENЛекция 6 | Рациональная теория гомотопий | Василий ИонинVasily IoninOctober 16, 2026 110 min★ ★ ★ ★ ★ 5/5Rational Homotopy TheorySullivan ModelDifferential Graded Algebra
Formal & Physical Sciences MathematicsENЛекция 5 | Рациональная теория гомотопий | Василий ИонинVasily IoninOctober 16, 2026 103 min★ ★ ★ ★ ☆ 4/5Rational Homotopy TheoryHopf AlgebrasLie Algebras
Formal & Physical Sciences MathematicsENWhy Every Perfect Number We Know Is Evenaxiom codeOctober 16, 2026 23 min★ ★ ★ ★ ☆ 4/5Perfect NumbersNumber TheoryMersenne Primes
Formal & Physical Sciences MathematicsENTopology as Set Theory | MA II Lecture 6 | Nge Kie Seng 261014Nge Kie SengOctober 16, 2026 107 min★ ★ ★ ☆ ☆ 3/5TopologySet TheoryInterior Point
Formal & Physical Sciences MathematicsENThe Entire History of StatisticsBub ExplainsOctober 16, 2026 245 min★ ★ ★ ★ ☆ 4/5StatisticsHistoryPolitical Arithmetic
Formal & Physical Sciences MathematicsENRELATION IN SET THEORY | DISCRETE STRUCTURE AND THEORY OF LOGIC | LECTURE 01 BY MR. NIKHIL KUMAR | AMr. Nikhil KumarOctober 16, 2026 23 min★ ★ ★ ☆ ☆ 3/5Set TheoryRelationsDiscrete Mathematics
Formal & Physical Sciences MathematicsENPARTIAL ORDER SET (POSET) & HASSE DIAGRAM | DSTL | LECTURE 01 BY MR. ANUPAM KUMAR SAINI | AKGECAKGEC Digital SchoolOctober 16, 2026 26 min★ ★ ★ ☆ ☆ 3/5POSETHasse DiagramPartial Order
Formal & Physical Sciences MathematicsENOpen Set Continuity | MA II Lecture 7 | Nge Kie Seng 261015Nge Kie SengOctober 16, 2026 92 min★ ★ ★ ★ ☆ 4/5TopologyContinuityEpsilon-Delta