雅各布·埃梅内格
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [i3] 格雷塔·科拉利亚 , 雅各布·埃梅内格 :
语境理解的二分类分析。 CoRR公司 abs/2403.03085 ( 2024 ) 2023 [i2] 格雷塔·科拉利亚 , 雅各布·埃梅内格 :
子类型的分类模型。 CoRR公司 腹肌/2312.14600 ( 2023 ) 2022 【j4】 雅各布·埃梅内格 , 法比奥·帕斯夸利 , 朱塞佩·罗索里尼 :
基本纤维的特征。 Ann.纯粹应用。 日志。 173 ( 6 ) : 103103 ( 2022 ) [i1] 尼古拉斯·戴森 , Benedikt Ahrens公司 , 雅各布·埃梅内格 :
单变量多项式的解决方案,在Lean中实现和验证。 CoRR公司 abs/2201.00255 ( 2022 ) 2021 [j3] 雅各布·埃梅内格 :
刚毛类中的W型。 日志。 方法计算。 科学。 17 ( 三 ) ( 2021 ) [注2] 雅各布·埃梅内格 , 法比奥·帕斯夸利 , 朱塞佩·罗索里尼 :
丰富群胚的基本纤维。 数学。 结构。 计算。 科学。 31 ( 9 ) : 958-978 ( 2021 ) 2020 [j1] 雅各布·埃梅内格 , 埃里克·帕尔姆格伦 :
集合的精确完备与构造理论。 J.塞姆。 日志。 85 ( 2 ) : 563-584 ( 2020 )
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)