奥利弗·纳什
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年-今天
2023 [注2] 奥利弗·纳什 :
数学库中的恩格尔定理。 J.汽车。 原因。 67 ( 2 ) : 18 ( 2023 ) 【c3】 弗洛里斯·范·道恩 , 帕特里克·马索特 , 奥利弗·纳什 :
将h原理和球体Eversion形式化。 清洁石油产品 2023 : 121-134 【c2】 奥利弗·纳什 :
加拉赫遍历定理的形式化。 ITP公司 2023 : 23:1-23:16 [i4] 奥利弗·纳什 :
加拉赫遍历定理的形式化。 CoRR公司 abs/2302.00448 ( 2023 ) [i3] 奥利弗·纳什 :
Mathlib中的恩格尔定理。 CoRR公司 abs/2304.10424 ( 2023 ) 2022 【c1】 奥利弗·纳什 :
李代数的形式化。 清洁石油产品 2022 : 239-250 [i2] 帕特里克·马索特 , 弗洛里斯·范·道恩 , 奥利弗·纳什 :
形式化h原理和球面外翻。 CoRR公司 abs/2210.07746 ( 2022 ) 2021 [i1] 奥利弗·纳什 :
李代数的形式化。 CoRR公司 abs/2112.04570 ( 2021 ) 2020 [j1] 悉尼von Arx , 以赛亚·贝克·迈耶 , 丹尼尔·布兰克 , 杰西·科里根 , 里斯·芬威克 , 迈克·希特尔 , 马克·英格尔 , 奥利弗·纳什 , 维多利亚·阮 , 詹姆斯·皮特里 , 杰夫·施瓦伯 , 桑博尔·萨博 , 阿基尔·维拉甘塔 , 米哈伊尔·沃洛辛 , 蒂娜·怀特 , 海伦·薛 :
利用众包数据减缓传染病的传播。 IEEE数据工程牛。 43 ( 2 ) : 71-82 ( 2020 )
![](https://dblp.org/img/cog.dark.24x24.png)