1:31:28Stanford Seminar: Beyond Floating Point: Next Generation Computer ArithmeticStanford Online32.3K viewsView & Download
9:52Example 8: Showing Undecidability and Unrecognizability via ReductionTim Randolph2.1K viewsView & Download
20:11ZK14 -Towards Practical Witness Encryption from Arithmetic Affine Determinant Programs Lev SoukhanovZero Knowledge91 viewsView & Download
38:27"Strength in Numbers: Unums and the Quest for Reliable Arithmetic" by Ferris EllisStrange Loop Conference3.3K viewsView & Download
48:21Yunqing Tang: Applications of arithmetic holonomicity theorems (NTWS 131)Number Theory Web Seminar179 viewsView & Download
1:03:09Algorithms for the topology of arithmetic groups and Hecke actions - Michael LipnowskiInstitute for Advanced Study754 viewsView & Download