max zeuner, a univalent formalization of affine schemes
Published 1 year ago • 622 plays • Length 39:15Download video MP4
Download video MP3
Similar videos
-
17:48
towards a formalization of affine schemes in cubical agda - max zeuner
-
16:37
*-jordan-type maps on alternative *-algebras - arxiv:2307.00002
-
6:27
*-jordan-type maps on alternative *-algebras - arxiv:2307.00002
-
35:18
an intuitive introduction to motivic homotopy theory - vladimir voevodsky [2002]
-
9:28
what is math about?: masao morita at tedxkyoto 2012
-
58:30
what if current foundations of mathematics are inconsistent? | vladimir voevodsky
-
52:29
dani kaufman | affine cluster algebras
-
11:38
affine algebraic geometry: algebraic incarnation of points
-
20:04
affine varieties and schemes
-
50:13
univalent foundations: new foundations of mathematics - vladimir voevodsky
-
46:32
differential forms on varieties symplectic an affine invariants (stanislaw janeczko)
-
28:32
a wallis type infinite product.
-
27:14
multiple zeta values & modular forms: lecture 1 - introduction & riemann zeta function
-
20:34
irreducible affine algebraic sets
-
59:59
yat tin chow: "a numerical method of solving high dimensional hamilton-jacobi equations with gen..."
-
1:12:38
2024 fall math 111 section 7.3 & 7.5 double angle and half angle formulas equations
-
4:58
a testable falsifiable unified theory of everything