Why is sodium (Z=11) the next univalent atom after lithium?Sodi... | Filo
Why is sodium (Z=11) the next univalent atom after lithium?Sodi... | Filo
1 年前
askfilo.com
The solubility product of sparingly soluble univalent salt is d... | Filo
4:00
The solubility product of sparingly soluble univalent salt is d... | Filo
已浏览 5134 次2023年8月20日
askfilo.com
Carbon forms four covalent bonds by sharing its four valence electrons with four univalent atoms, e.g., hydrogen. After the formation of four bonds, carbon | Shaalaa.com
Carbon forms four covalent bonds by sharing its four valence electrons with four univalent atoms, e.g., hydrogen. After the formation of four bonds, carbon | Shaalaa.com
2024年9月16日
shaalaa.com
Szumi Xie - The groupoid-syntax of type theory is a set
48:04
Szumi Xie - The groupoid-syntax of type theory is a set
已浏览 442 次1 个月前
bilibili筑桥者Hagi
Univalent higher categories via complete Semi-Segal types | Proceedings of the ACM on Programming Languages
Univalent higher categories via complete Semi-Segal types | Proceedings of the ACM on Programming Languages
2020年1月19日
acm.org
5. CuSO4​ is a :(a) Bi-bivalent electrolyte(b) Bi-univalent e... | Filo
5. CuSO4​ is a :(a) Bi-bivalent electrolyte(b) Bi-univalent e... | Filo
2024年10月25日
askfilo.com
Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky
50:13
Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky
已浏览 290 次2020年7月20日
bilibiliPoincare
1:22:06
Univalent Foundations and the Equivalence Principle by Benedikt Ahrens
已浏览 145 次2020年7月20日
bilibiliPoincare
4:36:53
Emily Riehl - 同伦类型论的无穷拓扑斯语义
已浏览 326 次2023年3月18日
bilibili筑桥者Hagi
1:31
影响心血管系统药物-4.抗凝药和抗血小板药-4.3 凝血级联
已浏览 18 次4 个月之前
bilibili荒城之舞
57:55
单价基础 (Univalent Foundations) 讨论班, 美国普林斯顿高等研究院, 2012-2013
已浏览 1508 次2022年1月8日
bilibiliTeichmuller
1:17:14
CMU 15-819(2013) 同伦类型理论(HoTT) ：01 Course Introduction 课程介绍
已浏览 586 次2023年6月26日
bilibili自然造字师斯庙算多
3:44
Michel Raynaud Anvers 1972 la géométrie arithmétique
已浏览 91 次2021年5月25日
bilibiliReduced-Schemer
7:47
[Erik Hill] 同伦类型论 - 拓扑学、形式逻辑和同伦类型论简介
已浏览 341 次2024年6月29日
bilibiliCAIMEO
25:55
【会议】HoTT/UF 2025
已浏览 439 次2025年4月28日
bilibili筑桥者Hagi
1:26:37
Jon Sterling - 是时候推出一个新的证明助手了吗？
已浏览 755 次7 个月之前
bilibili筑桥者Hagi
1:09:39
Max Zeuner - 构造性代数几何的泛等基础
已浏览 618 次2024年10月26日
bilibili筑桥者Hagi
1:33:24
佩尔·马丁-洛夫: 同构与可定义性下的不变性, IAS, 2012
已浏览 474 次2021年12月27日
bilibiliTeichmuller
1:08:15
Hoang Kim Nguyen - 单纯集里的有向泛等性
已浏览 79 次2023年3月19日
bilibili筑桥者Hagi
57:04
【研讨会】第二届双范畴虚拟研讨会
已浏览 467 次2024年11月3日
bilibili筑桥者Hagi
1:10:06
Martín Escardó - 构造性泛等类型论中的紧致完全可分类型
已浏览 157 次2023年5月6日
bilibili筑桥者Hagi
A Modal Deconstruction of Löb Induction | Proceedings of the ACM on Programming Languages
2025年1月9日
acm.org
1:10:07
Niels van der Weide - 泛等范畴的内部语言
已浏览 403 次2024年12月9日
bilibili筑桥者Hagi
1:04:54
How I became seduced by univalent foundations
已浏览 78 次2022年11月16日
bilibiliLamGalois
0:19
How to Find Oxidation Numbers
已浏览 129.3万 次2 个月之前
wikiHowAnne Schmidt
Univalent higher categories via complete Semi-Segal types | Proceedings of the ACM on Programming Languages
2020年2月4日
acm.org
Univalent Foundations of AGI are (not) All You Need | Artificial General Intelligence
1 个月前
acm.org
Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages | Proceedings of the ACM on Programming Languages
2022年3月2日
acm.org
3:25
5000 Must Know SAT Vocabulary - Univalence: The Power of Single Value in Chemistry and Beyond
已浏览 40 次2025年1月7日
humix.com
展开