María Inés de Frutos-Fernández, Local Fields in Lean

แชร์
ฝัง
  • เผยแพร่เมื่อ 29 เม.ย. 2024
  • VaNTAGe Seminar, April 16, 2024
    License: CC-BY-NC-SA

ความคิดเห็น •

ต่อไป
เล่นอัตโนมัติ
Michael Stoll, How to translate a proof into Lean1:00:20Michael Stoll, How to translate a proof into Lean
Michael Stoll, How to translate a proof into LeanVaNTAGe
มุมมอง 388
Kevin Buzzard, On the ingredients for Fermat56:42Kevin Buzzard, On the ingredients for Fermat
Kevin Buzzard, On the ingredients for FermatVaNTAGe
มุมมอง 1.3K
Lean Together 2024: María Inés de Frutos-Fernández, Formalizing local fields in Lean29:03Lean Together 2024: María Inés de Frutos-Fernández, Formalizing local fields in Lean
Lean Together 2024: María Inés de Frutos-Fernández, Formalizing local fields in Leanleanprover community
มุมมอง 252
วิเคราะห์เกม สนาม ‘ไก่ทอด’ หลัง Texas Chicken ประกาศยกธงขาวยุติตำนาน 9 ปี | THE STANDARD WEALTH06:54วิเคราะห์เกม สนาม ‘ไก่ทอด’ หลัง Texas Chicken ประกาศยกธงขาวยุติตำนาน 9 ปี | THE STANDARD WEALTH
วิเคราะห์เกม สนาม ‘ไก่ทอด’ หลัง Texas Chicken ประกาศยกธงขาวยุติตำนาน 9 ปี | THE STANDARD WEALTHTHE STANDARD WEALTH
มุมมอง 433K
MANG bamm - เจ็บก็สิอดเอา (Stay Strong) | OFFICIAL M/V04:02MANG bamm - เจ็บก็สิอดเอา (Stay Strong) | OFFICIAL M/V
MANG bamm - เจ็บก็สิอดเอา (Stay Strong) | OFFICIAL M/VLIT Entertainment
มุมมอง 90K
วันเกิดเธอ (TO YOU) - PHUWIN [ OFFICIAL MV ]04:21วันเกิดเธอ (TO YOU) - PHUWIN [ OFFICIAL MV ]
วันเกิดเธอ (TO YOU) - PHUWIN [ OFFICIAL MV ]RISER MUSIC
มุมมอง 136K
#บุ๋มปนัดดา ถูกหมอสั่งห้ามลงน้ำลึก เสี่ยงมดลูกติดเชื้อ | Shorts Clip 202400:19#บุ๋มปนัดดา ถูกหมอสั่งห้ามลงน้ำลึก เสี่ยงมดลูกติดเชื้อ | Shorts Clip 2024
#บุ๋มปนัดดา ถูกหมอสั่งห้ามลงน้ำลึก เสี่ยงมดลูกติดเชื้อ | Shorts Clip 2024วันบันเทิง oneบันเทิง
มุมมอง 283K
Mustafa Şanveren - On Bezout’s Theorem and Quadratic Reciprocity in Number Theory14:37Mustafa Şanveren - On Bezout’s Theorem and Quadratic Reciprocity in Number Theory
Mustafa Şanveren - On Bezout’s Theorem and Quadratic Reciprocity in Number TheoryDRP Turkey
มุมมอง 142
Ziyang Gao, Sparsity of rational points on curves: What is known and what is expected1:01:33Ziyang Gao, Sparsity of rational points on curves: What is known and what is expected
Ziyang Gao, Sparsity of rational points on curves: What is known and what is expectedVaNTAGe
มุมมอง 240
Mathematicians Use Numbers Differently From The Rest of Us33:06Mathematicians Use Numbers Differently From The Rest of Us
Mathematicians Use Numbers Differently From The Rest of UsVeritasium
มุมมอง 7M
Alex Kontorovich, Polymath-type projects in the age of formalized mathematics1:07:00Alex Kontorovich, Polymath-type projects in the age of formalized mathematics
Alex Kontorovich, Polymath-type projects in the age of formalized mathematicsVaNTAGe
มุมมอง 605
The 360-Page Proof That 1+1=26:03The 360-Page Proof That 1+1=2
The 360-Page Proof That 1+1=2Half as Interesting
มุมมอง 1.7M
Visual Group Theory, Lecture 6.1: Fields and their extensions26:34Visual Group Theory, Lecture 6.1: Fields and their extensions
Visual Group Theory, Lecture 6.1: Fields and their extensionsProfessor Macauley
มุมมอง 110K
Ultimate Recipe to Construct Every Finite Group - Group Extensions and Computational Group Theory45:07Ultimate Recipe to Construct Every Finite Group - Group Extensions and Computational Group Theory
Ultimate Recipe to Construct Every Finite Group - Group Extensions and Computational Group TheoryEpsilonDelta
มุมมอง 31K
The Potential for AI in Science and Mathematics - Terence Tao53:05The Potential for AI in Science and Mathematics - Terence Tao
The Potential for AI in Science and Mathematics - Terence TaoOxford Mathematics
มุมมอง 158K
irl stream in Indonesia 🇮🇩3:47:48irl stream in Indonesia 🇮🇩
irl stream in Indonesia 🇮🇩IShowSpeed
มุมมอง 21M
🔴Live Score : เชียร์สด ฟุตซอลโลก 2024 ไทย พบ คิวบา l ฟุตบอล AFC Elite บุรีรัมย์ ยูฯ vs วิสเซล โกเบ4:36:26🔴Live Score : เชียร์สด ฟุตซอลโลก 2024 ไทย พบ คิวบา l ฟุตบอล AFC Elite บุรีรัมย์ ยูฯ vs วิสเซล โกเบ
🔴Live Score : เชียร์สด ฟุตซอลโลก 2024 ไทย พบ คิวบา l ฟุตบอล AFC Elite บุรีรัมย์ ยูฯ vs วิสเซล โกเบWANNA GOAL
มุมมอง 377K
TEN HAG'S BIGGEST WIN! | Manchester United v Barnsley extended highlights11:39TEN HAG'S BIGGEST WIN! | Manchester United v Barnsley extended highlights
TEN HAG'S BIGGEST WIN! | Manchester United v Barnsley extended highlightsEFL
มุมมอง 2.9M
Mother and Child Rescued from Road Mishap #shorts00:20Mother and Child Rescued from Road Mishap #shorts
Mother and Child Rescued from Road Mishap #shortsFabiosa Stories
มุมมอง 3.6M
เปิดรายงาน ผลการตรวจสอบการละเมิดสิทธิมนุษยชน การเลือกปฏิบัติ กรณีทักษิณ ได้สิทธิรักษาดีกว่าผู้อื่น38:18เปิดรายงาน ผลการตรวจสอบการละเมิดสิทธิมนุษยชน การเลือกปฏิบัติ กรณีทักษิณ ได้สิทธิรักษาดีกว่าผู้อื่น
เปิดรายงาน ผลการตรวจสอบการละเมิดสิทธิมนุษยชน การเลือกปฏิบัติ กรณีทักษิณ ได้สิทธิรักษาดีกว่าผู้อื่นBright TV
มุมมอง 496K
天呐！天使打一下头就有外星人在跳舞#斗罗大陆#唐三小舞00:15天呐！天使打一下头就有外星人在跳舞#斗罗大陆#唐三小舞
天呐！天使打一下头就有外星人在跳舞#斗罗大陆#唐三小舞超凡蜘蛛
มุมมอง 853K
走路不要玩手机，哈哈哈#小丑 #shorts00:12走路不要玩手机，哈哈哈#小丑 #shorts
走路不要玩手机，哈哈哈#小丑 #shorts好人小丑
มุมมอง 1.4M
🔴LIVE เชียร์สด ช้างศึกโต๊ะเล็ก : ไทย พบ คิวบา | ลุ้นช้างศึกลุยฟุตซอลโลก 2024 รอบแบ่งกลุ่ม นัดที่ 22:15:04🔴LIVE เชียร์สด ช้างศึกโต๊ะเล็ก : ไทย พบ คิวบา | ลุ้นช้างศึกลุยฟุตซอลโลก 2024 รอบแบ่งกลุ่ม นัดที่ 2
🔴LIVE เชียร์สด ช้างศึกโต๊ะเล็ก : ไทย พบ คิวบา | ลุ้นช้างศึกลุยฟุตซอลโลก 2024 รอบแบ่งกลุ่ม นัดที่ 2GOTJISIRI CH
มุมมอง 349K