Top Videos
Top Searches
Moods & Genres
Autumn
Chill
Commute
Energize
Feel-good
Focus
Gaming
Party
Romance
Sad
Sleep
Summer
Winter
Workout
African
Arabic
Blues
Bollywood & Indian
Classical
Country and Americana
Dance and electronic
Decades
Family
Folk and acoustic
German hip-hop
German pop
Hip-hop
Indie and alternative
J-Pop
Jazz
K-Pop
Latin
Mandopop & Cantopop
Metal
Pop
R&B and soul
Reggae and caribbean
Rock
Schlager
Soundtracks and musicals
Search music and videos
[Formalising math 2022] Section 14, Sheet 3, an auxiliary ideal.
22:05
|
103 views
|
Download MP3
Related Videos
10 minute Lean tutorial : proving logical propositions
The Xena Project
Xena project
Skrillex with Nai Barghouti - XENA (Official Music Video)
The Viola Project presents Xena
[Formalising math 2022] Section 14, Sheet 4, more on the auxiliary ideal
Lean summer lectures 2/18: partitions
[London Learning Lean] Euler's Totient Theorem and the Prime Number Theorem, by Ella Yu and Xiang Li
[Formalising math 2022] Section 02: the reals, solutions to sheet 5 (limit of sum is sum of limits)
Shing Tak Lam: "Formalising the fundamental group"
Lean summer lectures 3/18 : limits of sequences
[Formalising math 2022] Section 03: groups, introduction to classes and structures
[Formalising math 2022] Section 03: groups. Playing with variants of the axioms.
Lean summer lectures 15/18: live mathlib documentation!
[Formalising math 2022] Section 03: groups, solns to sheet 4 (group homs)
[Formalising math 2022] Section 03: groups, solns to sheet 3 (subgroups)
[Formalising math 2022] Section 02: the reals, solutions to sheet 3 (limits of sequences)
[London Learning Lean] Behrend's construction and additive combinatorics, by Yaël Dillies.
Tianchen Zhao: "From Euclid to Hilbert to Lean"
![[Formalising math 2022] Section 14, Sheet 3, an auxiliary ideal.](https://itni.co.za/images/blank.png)
![[Formalising math 2022] Section 14, Sheet 4, more on the auxiliary ideal](https://i.ytimg.com/vi/nJqODr9st30/mqdefault.jpg)
![[London Learning Lean] Euler's Totient Theorem and the Prime Number Theorem, by Ella Yu and Xiang Li](https://i.ytimg.com/vi/nqlFWtlWMdw/mqdefault.jpg)
![[Formalising math 2022] Section 02: the reals, solutions to sheet 5 (limit of sum is sum of limits)](https://i.ytimg.com/vi/Pspnhby_pfo/mqdefault.jpg)
![[Formalising math 2022] Section 03: groups, introduction to classes and structures](https://i.ytimg.com/vi/vV4jP8li9HY/mqdefault.jpg)
![[Formalising math 2022] Section 03: groups. Playing with variants of the axioms.](https://i.ytimg.com/vi/Qh5giF6DlZ8/mqdefault.jpg)
![[Formalising math 2022] Section 03: groups, solns to sheet 4 (group homs)](https://i.ytimg.com/vi/cT0KXu-Qtzs/mqdefault.jpg)
![[Formalising math 2022] Section 03: groups, solns to sheet 3 (subgroups)](https://i.ytimg.com/vi/VcXsl9hqR7c/mqdefault.jpg)
![[Formalising math 2022] Section 02: the reals, solutions to sheet 3 (limits of sequences)](https://i.ytimg.com/vi/jCQ1_zXo5GI/mqdefault.jpg)
![[London Learning Lean] Behrend's construction and additive combinatorics, by Yaël Dillies.](https://i.ytimg.com/vi/UX318RNbRok/mqdefault.jpg)
