🎬4:43
Elliptic Curve Cryptography Explained: ECC, ECDSA, ECDH
@PracticalNetworking
2024-10-21
28.5K
Mathematics Lecture Subtitle Search & Proof Locator
Rigorous mathematical learning requires seeing step-by-step problem solving. This section indexes spoken expressions, handwritten equation steps, and geometric proof derivations across linear algebra, real analysis, and multivariable calculus. Rather than scrubbing through multi-hour recordings, locate exact timestamp coordinates where specific theorems are proven on board.
🧠1:02:48
Riemann Tensor: Newtonian Limit, 2-Sphere, Accelerating Coordinates
@centrumfizykiteoretycznejp6497
2024-05-07
180
🧠29:13
Riemann Curvature Tensor: Geometric Meaning in Tensor Calculus
@eigenchris
2019-06-16
131.7K
🧠23:38
Conceptualizing Christoffel Symbols in Curvilinear Coordinates
@dialectphilosophy
2023-10-07
201.4K
🧠24:38
Raising & Lowering Indexes in Tensor Calculus: Metric Tensor Operations
@tensorcalculus822
2022-06-04
1.7K
🎬9:00
Einstein Summation Convention: Introduction to Tensor Notation
@FacultyofKhan
2018-07-02
227.8K
🧠14:07
Understanding Covectors in Tensor Algebra: Linear Functions Explained
@eigenchris
2017-12-15
308.8K
🧠12:21
Understanding Tensors: A Visual Guide to Vectors and Their Higher-Rank Extensions
@dfleisch
2011-11-21
4.2M
🧠11:36
Change of Basis Explained Simply | Linear Algebra
@LookingGlassUniverse
2018-09-13
80.3K
🧠11:36
Contravariant vs Covariant Vectors: Transformation Laws & Examples
@FacultyofKhan
2019-03-24
68.3K
🧠13:01
Div, Grad, and Curl: Vector Calculus Foundations for PDEs
@Eigensteve
2022-04-01
496.2K
🧠45:05
Probability Fundamentals for Machine Learning | Math4ML Guide
@WeightsBiases
2021-01-14
36.1K
🧠22:50
Radioactive Decay Model: Solving Differential Equations
@learningffy7212
2020-05-17
483
🧠1:11:28
Godel Incompleteness Theorem Explained: Proof and Consequences
@adrianapostol8360
2018-12-01
10.8K
🧠13:10
Gödel's Incompleteness Theorem: Formal Systems & Gödel Numbering
@bestthingworstthing6546
2014-06-02
19.4K
🧠15:04
Gödel Numbers Explained: Arithmetization & Substitution
@CarneadesOfCyrene
2016-03-27
28.1K
🧠1:26:36
Infinite Sets & Cardinals: Cantor's Theorem Explained
@CSA-IISc
2016-03-11
34K
🧠50:04
Uncountable Sets & Cardinal Numbers in Real Analysis
@iit
2016-01-19
51.9K
🧠1:34:45
Gödel's Incompleteness Theorems: An Informal Introduction to Formal Logic
@mathpunk6493
2022-08-14
35.3K
🧠26:59
David Hilbert: A Century of Mathematical Influence | Biography
@Wikivoicemedia
2015-02-09
9.7K
🧠52:37
Propositional Logic: Syntactic Consequence Relation
@IITKanpurNPTEL
2024-03-09
247
🧠13:28
Introduction to Mathematical Logic & Set Theory (Math 125A & 135) Foundations
@atonmontalban
2020-08-14
71.8K
🧠20:22
Cantor's Theorem: Proof & Diagonal Argument | MIT 6.042J
@mitocw
2016-09-12
33.1K
🧠58:29
Foundations of Mathematics: Inconsistency & Incompleteness | Voevodsky
@videosfromIAS
2012-04-26
54.8K
🧠58:16
Limits of Logic: Gödel's Legacy and Incompleteness Explained
@TheFlameofReason
2016-06-21
228.6K
🧠31:23
Diagonalisation Theorems and Logical Consequences in Arithmetic
@gregrestall
2020-04-10
865
🧠18:54
Gödel's Incompleteness Theorems Explained with Lean Proof Assistant
@Computerphile
2025-08-05
95.8K
🧠21:30
Gödel's Incompleteness Theorem Explained: Correcting Misconceptions
@TheoriesofEverything
2025-05-05
106.8K
🧠47:33
Diagonalisation Lemma & Representability in Q | Logic Lecture 28
@philipwelch3429
2021-04-21
252
🧠34:57
Models & Soundness in Predicate Logic: Proof-Theoretic Verifcation
@gregrestall
2020-04-10
1.5K
🧠18:58
Model Theory in Mathematical Logic: Key Concepts
@wikiaudio956
2016-01-22
246
🧠12:16
Proving 1+1=2: A Rigorous Foundation of Mathematics
@CannedMaths
2021-08-22
1.1M
🧠28:34
Rules of Inference for Propositional Logic | Discrete Math
@SawFinMath
2020-02-27
244.7K
🧠56:47
Propositional Logic | Discrete Mathematical Structures - Lecture 1
@iit
2007-12-04
1.3M
🧠1:40:48
Logic: Propositions & Predicates | Geometry of Physics 01
@FredericSchuller
2015-09-21
455.1K
🧠31:44
The Math Problem With Music Tuning and Its Solutions
@FormantMath
2022-08-12
852.3K
🎬7:56
Stable Marriage Problem: Algorithm & Beauty | Richard Karp
@LexClips
2020-07-27
4.2K
🎬9:18
The Mating Ritual: Stable Matching in Algorithmic Game Theory
@mitocw
2016-09-12
8.8K
🧠45:04
Why There's No Quintic Formula: Arnold's Proof Without Galois Theory
@notallwrong
2021-07-05
632.2K
🧠27:53
Abel's Theorem: Unsolvable Quintic Equations Explained
@richarde.borcherds7998
2021-01-08
11.7K