London Learning Lean Flat Modules

[London Learning Lean] Flat modules, by Jujian Zhang

Jujian tells us about his formalised proof that 8 definitions of flatness in commutative algebra are equivalent.

[London Learning Lean] Gardam's disproof of Kaplansky's Unit Conjecture, by Gadgil and Tadipatri

...

[London Learning Lean] Proj (of a graded ring), by Jujian Zhang

London Learning Lean

[London Learning Lean] Tilting perfectoid fields, by Kin Chung Kenny Lau

London Learning Lean

[London Learning Lean] p-adic measure theory, by Ashvni Narayanan.

Ashvni tells us about some work of hers which will be part of her thesis on p-adic L-functions in

[London Learning Lean] Classification of f.g. modules over a PID, by Pierre-Alexandre Bazin

Pierre-Alexandre explains some of the details behind their formalisation of the structure theorem for finitely-generated

[London Learning Lean] Implementing Cryptographic Primitives in Lean 4, by Matej Penciak

London Learning Lean

Homological Algebra 1.4: Flat modules

Hello hello everybody welcome back to the gregorious maths video in this video we're going to be looking at

[London Learning Lean] The Krull topology, by Sebastian Monnet

London Learning Lean

[London Learning Lean] Some Basics of Gaussian Measure in Lean, by Joy Hu and Runchang Li

London Learning Lean

How to learn Lean programming language | Terence Tao and Lex Fridman

Lex Fridman Podcast full episode: https://www.youtube.com/watch?v=HUkBz-cdB-k Thank you for listening ❤ Check out our ...

[London Learning Lean] p-adic measure theory in Lean, by Ashvni Narayanan

London Learning Lean

[London Learning Lean] Engel's theorem in mathlib, by Oliver Nash

London Learning Lean

Commutative algebra 44 Flat modules

This lecture is part of an online course on commutative algebra, following the book "Commutative algebra with a view toward ...

[London Learning Lean] Ostrowski's theorem, by Billy Miao

Note: I failed to record the first few minutes of the talk :-(

[London Learning Lean] Group cohomology, by Amelia Livingston

London Learning Lean

[London Learning Lean] Solving Diophantine equations via the class group, by Alex Best

London Learning Lean

EX119. (continue Ex118) and flat modules

1) (Def'n)

London Learning Lean Flat Modules

London Learning Lean Flat Modules - Detailed Overview & Context

Photo Gallery

[London Learning Lean] Flat modules, by Jujian Zhang

[London Learning Lean] Gardam's disproof of Kaplansky's Unit Conjecture, by Gadgil and Tadipatri

[London Learning Lean] Proj (of a graded ring), by Jujian Zhang

[London Learning Lean] Tilting perfectoid fields, by Kin Chung Kenny Lau

[London Learning Lean] p-adic measure theory, by Ashvni Narayanan.

[London Learning Lean] Classification of f.g. modules over a PID, by Pierre-Alexandre Bazin

[London Learning Lean] Implementing Cryptographic Primitives in Lean 4, by Matej Penciak

Homological Algebra 1.4: Flat modules

[London Learning Lean] The Krull topology, by Sebastian Monnet

[London Learning Lean] Some Basics of Gaussian Measure in Lean, by Joy Hu and Runchang Li

How to learn Lean programming language | Terence Tao and Lex Fridman

[London Learning Lean] p-adic measure theory in Lean, by Ashvni Narayanan

[London Learning Lean] Engel's theorem in mathlib, by Oliver Nash

Commutative algebra 44 Flat modules

[London Learning Lean] Ostrowski's theorem, by Billy Miao

[London Learning Lean] Group cohomology, by Amelia Livingston

[London Learning Lean] Solving Diophantine equations via the class group, by Alex Best

EX119. (continue Ex118) and flat modules

London Learning Lean Flat Modules - Detailed Overview & Context

Photo Gallery

Related Seekers