52:58
Bauer&Carneiro: Universes in Set/Type Theory
4 views • 3 hours ago
40:29
Josef Urban: Theorem Proving and AI
25 views • 6 hours ago
50:59
Andrej Bauer: Constructive Mathematics - How to not believe in the Law of Excluded Middle
620 views • 8 hours ago
27:22
Mario Carneiro: System Introductions I - Lean
22 views • 8 hours ago
26:24
Michael Kohlhase: System Introductions II - sTeX/ALeA
56 views • 2 days ago
25:14
Manuel Eberl: System Introductions II - Isabelle
20 views • 2 days ago
24:30
Sam Owre: System Introductions I - PVS
38 views • 2 days ago
1:03:40
Masha Vlasenko: Frobenius structure and p-adic zeta function
179 views • 6 days ago
43:15
Michael Kohlhase: ALeA - Flexiformal Education
47 views • 7 days ago
55:08
Nobuo Sato: Iterated Beta Integrals
99 views • 13 days ago
57:12
Axel Kleinschmidt: Iterated integrals of modular forms in string theory
106 views • 2 weeks ago
1:04:57
Danylo Radchenko: Multiple polylogarithms and the Steinberg module
98 views • 2 weeks ago
1:04:08
Johannes Broedel: Numerical approach to polylogarithms on higher-genus Riemann surfaces
87 views • 3 weeks ago
59:54
Federico Zerbini: Conical Sums
87 views • 3 weeks ago
50:11
Bartosz Naskręcki: Moments of families of elliptic curves
53 views • 3 weeks ago
59:53
Wieslawa Niziol: Hidden structures on de Rham cohomology of p-adic analytic varieties
118 views • 3 weeks ago
1:02:52
Oliver Schlotterer: Constructing polylogarithms on higher-genus Riemann surfaces
63 views • 3 weeks ago
1:12:14
Jan Vonk: p-adic height pairings of geodesics
75 views • 3 weeks ago
54:13
Hossein Movasati: Detecting Gauss-Manin and Calabi-Yau differential equations
71 views • 3 weeks ago
1:02:26
Robin de Jong: Heights on curves and limits of Hodge structures
106 views • 3 weeks ago
1:02:58
Luis Garcia: Elliptic units for complex cubic fields
50 views • 3 weeks ago
53:53
Alexander Horawa: Beilinson's conjecture for the Dwork family
104 views • 4 weeks ago
58:54
Rob de Jeu: K_2 of elliptic curves over non-Abelian cubic and quartic fields
68 views • 4 weeks ago
56:22
Steven Charlton: Depth reductions of multiple polylogarithms
89 views • 1 month ago
1:07:33
Wadim Zudilin: Modular regulators and multiple modular values
61 views • 1 month ago
1:04:45
Imre Barany: The Steinitz lemma, its matrix version, and balancing vectors II
99 views • 1 month ago
57:54
Imre Barany: The Steinitz lemma, its matrix version, and balancing vectors I
94 views • 1 month ago
33:10
Vlad Yaskin: Some problems about centroids of convex bodies
95 views • 1 month ago
49:25
Santosh Vempala: Beyond Moments: Robust certificates for affine transformations
90 views • 1 month ago
38:13
Orli Herscovici: Gaussian B-inequality: stability and equality cases
67 views • 1 month ago
Load More