蒂莫西·高尔斯
人员信息
奖项: 1998年菲尔兹奖 附属: 剑桥大学 奖项(1998年): 菲尔德奖章
优化列表
2020年–今天
2023 [i6] 凯瑟琳·柯林斯 , 阿尔伯特·Q·江 , 西蒙·弗里德 , 莱昂内尔·王 , 米里·齐尔卡 , 乌芒·巴特 , 托马斯·卢卡西维茨 , 吴雨怀 , 约书亚·B·特南鲍姆 , 威廉·哈特 , 蒂莫西·高尔斯 , 李文达(Wenda Li) , 阿德里安·韦勒 , 马蒂亚·贾姆尼克 :
通过交互评估数学语言模型。 CoRR公司 abs/2306.01694 ( 2023 ) 2022 【c5】 W.T.高尔斯 , 伊曼纽尔中提琴 :
非准随机群中的混合。 国际贸易中心 2022 : 80:1-80:9 2021 [公元9年] W.T.Gowers公司 , 巴纳巴斯·贾泽尔 :
针对派系的Ruzsa-Szemerédi和彩虹图兰问题的推广。 梳子。 普罗巴伯。 计算。 30 ( 4 ) : 591-608 ( 2021 ) [j8] W.T.Gowers公司 , 杰森·朗 :
r-元组的s-递增序列的长度。 梳子。 普罗巴伯。 计算。 30 ( 5 ) : 686-721 ( 2021 ) 【c4】 爱德华·艾尔斯 , 马蒂亚·贾姆尼克 , 威廉·高尔斯 :
用于形式验证的图形用户界面框架。 ITP公司 2021 : 4:1-4:16 [i5] 蒂莫西·高尔斯 , 伊曼纽尔中提琴 :
非准随机群中的混合。 电子。 计算机学术讨论会。 复杂。 21号机房 ( 2021 )
2010 – 2019
2019 [j7] W.T.Gowers公司 , 伊曼纽尔中提琴 :
交错分组产品。 SIAM J.计算。 48 ( 2 ) : 554-580 ( 2019 ) [j6] 蒂莫西·高尔斯 , 奥利弗·詹泽 :
诱导多条边的Cayley图的子集。 理论计算。 15 : 1-29 ( 2019 ) 【c3】 爱德华·威廉·艾尔斯 , 威廉·高尔斯 , 马蒂亚·贾姆尼克 :
面向人类的术语重写系统。 KI公司 2019 : 76-86 2018 [i4] W.T.Gowers公司 , 伊曼纽尔中提琴 :
交错的组产品。 CoRR公司 abs/1804.09787 ( 2018 ) 2017 [j5] M.Ganesalingam先生 , W.T.Gowers公司 :
具有人性化输出的全自动定理证明器。 J.汽车。 原因。 58 ( 2 ) : 253-291 ( 2017 ) 2016 【c2】 W.T.Gowers公司 , 伊曼纽尔中提琴 :
交错群产品的多方通信复杂性。 光纤通信系统 2016 : 289-294 [i3] 蒂莫西·高尔斯 , 伊曼纽尔中提琴 :
交错组产品的多方通信复杂性。 电子。 计算机学术讨论会。 复杂。 16号机房 ( 2016 ) 2015 【c1】 蒂莫西·高尔斯 , 伊曼纽尔中提琴 :
交错组产品的通信复杂性。 STOC公司 2015 : 351-360 [i2] 蒂莫西·高尔斯 , 伊曼纽尔中提琴 :
交错组产品的通信复杂性。 电子。 计算机学术讨论会。 复杂。 15号机房 ( 2015 ) 2013 [i1] M.Ganesalingam先生 , W.T.Gowers公司 :
具有人性化输出的全自动问题解决器。 CoRR公司 abs/1309.4501 ( 2013 )
2000 – 2009
2008 【j4】 W.T.Gowers公司 :
准随机群。 梳子。 普罗巴伯。 计算。 17 ( 三 ) : 363-387 ( 2008 ) 2006 [j3] W.T.Gowers公司 :
3-一致超图的拟随机性、计数和正则性。 梳子。 普罗巴伯。 计算。 15 ( 1-2 ) : 143-184 ( 2006 )
1990 – 1999
1996 [注2] W.T.Gowers公司 :
立方体的几乎m方向独立随机置换。 梳子。 普罗巴伯。 计算。 5 : 119-130 ( 1996 ) 1992 [j1] W.T.Gowers公司 :
经典空间上的Lipschitz函数。 Eur.J.库姆。 13 ( 三 ) : 141-151 ( 1992 )