ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

70 results

RU Coding
Basic Lambda Calculus

Hi! I'm a student at Rice University. This is me teaching some Basic Lambda Calculus.

15:28
Basic Lambda Calculus

15 views

1 year ago

Math by DS Sir
Find the value of lambda, if the points are collinear

The video explains how to find the value of lambda when three given points are collinear (0:00). The presenter demonstrates two ...

5:24
Find the value of lambda, if the points are collinear

202 views

5 months ago

Adi Baradwaj
Zero to Type Theory in 1 Hour - Will Sturgeon

SF Formal Math with Lean meetup - June 22, 2026.

1:09:23
Zero to Type Theory in 1 Hour - Will Sturgeon

114 views

3 weeks ago

THE DOCTOR
Blueprints for Structure of Logical Status Bars and Influx
11:24
Blueprints for Structure of Logical Status Bars and Influx

7 views

1 year ago

Owls Math
Lambert W Function - Introduction

Solving equations with the Lambert W Function For more info on the Lambert W function: Introduction Video: ...

12:14
Lambert W Function - Introduction

40,807 views

3 years ago

Maths with Martin
EP10 Matrix Questions

To wrap up Further Matrices I consider 2 larger matrix questions which draw on almost everything we have looked at in Extra Pure ...

32:43
EP10 Matrix Questions

9 views

2 months ago

Rust Brisbane
Build You A Type System - Rust Brisbane

... tour of Rust's type system and formalisms of type theory in mathematics (specifically the polymorphic typed lambda calculus).

49:33
Build You A Type System - Rust Brisbane

150 views

1 month ago

Jorge Martinez
Espacios de funciones (1a parte)

Efe landa con lambda en un conjunto dirigido una red. El espacio topológico. Este con esta topología. Hay como como lo escribo ...

45:29
Espacios de funciones (1a parte)

60 views

4 years ago

Artem Semidetnov
Введение в бестиповое лямбда-исчисление. Иннокентий Мелещенко

На этой встрече мы вспомним что такое бестиповое лямбда исчисление. Докажем его основные свойства, включая ...

1:35:36
Введение в бестиповое лямбда-исчисление. Иннокентий Мелещенко

34 views

3 years ago

Engineering _Maths_Tadka
CAYLEY-HAMILTON THEOREM

Cayley-Hamilton Theorem concept is explained in a simple way.

21:58
CAYLEY-HAMILTON THEOREM

131 views

2 years ago

for myself
Calc 3 Ch.12 Finding Equation of a Plane | Through Point and Normal Vector
2:49
Calc 3 Ch.12 Finding Equation of a Plane | Through Point and Normal Vector

206 views

5 years ago

Anshul Gaur
The electric flux is phi= alpha*sigma+beta*lambda where lambda and sigma are linear and surface...

Units and Dimensions.

5:03
The electric flux is phi= alpha*sigma+beta*lambda where lambda and sigma are linear and surface...

112 views

1 year ago

Newtonian Physics
An infinitely long wire has uniform linear charge density lambda = 2 nC/m. The net flux through a…..

An infinitely long wire has uniform linear charge density \lambda = 2 nC/mThe net flux through a Gaussian cube of side length ...

3:22
An infinitely long wire has uniform linear charge density lambda = 2 nC/m. The net flux through a…..

20 views

1 month ago

Halogen
Progressive Wave Equation Problems Explained | Frequency, Wavelength & Speed

Struggling with wave physics? In this step-by-step tutorial, we breakdown exactly how to solve progressive wave equation ...

6:50
Progressive Wave Equation Problems Explained | Frequency, Wavelength & Speed

17 views

11 days ago

Colin Defant
Specht Modules Are All the Irreducible Representations

We're going to take lambda is n minus one one I think found this giant chunk and it's kind of I don't know it's kind of hard to write ...

1:15:49
Specht Modules Are All the Irreducible Representations

51 views

4 months ago

MathFlix
C9_Let alpha, lemda, meu belongs to R. Consider the system of linear equation (alpha)x+2y=lemda,

Determinants Complete Series for JEE Main & JEE Advanced In this series, we will cover Determinants from Basic to Advanced ...

5:26
C9_Let alpha, lemda, meu belongs to R. Consider the system of linear equation (alpha)x+2y=lemda,

13 views

3 months ago

Newtonian Physics
An infinitely long wire has uniform linear charge density lambda = 2 nC/m. The net flux through…….

An infinitely long wire has uniform linear charge density lambda = 2 nano coulomb per metre. The net flux through a Gaussian ...

3:13
An infinitely long wire has uniform linear charge density lambda = 2 nC/m. The net flux through…….

18 views

1 month ago

Artem Semidetnov
Иннокентий Мелещенко, Изоморфизм Карри-Говарда (языки программирования и логика)

Соответствие Карри-Говарда -- необычная связь между программами и доказательствами в математике. Данный доклад ...

1:45:02
Иннокентий Мелещенко, Изоморфизм Карри-Говарда (языки программирования и логика)

95 views

2 years ago

Newtonian Physics
A photon and an electron (mass m) have the same energy E. The ratio of their de-Broglie #neet
2:15
A photon and an electron (mass m) have the same energy E. The ratio of their de-Broglie #neet

376 views

1 year ago