乔斯·海因茨
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [公元33年] 乔斯·海因茨 , 路易斯·米盖尔·帕尔多 , 恩里克·卡洛斯·塞古拉 , 瓦拉·奥卡尔 , 安德烈斯·罗哈斯·帕雷德斯 :
神经网络学习的不可行性观点。 J.复杂。 75 : 101710 ( 2023 ) 2022 [第九章] 乔斯·海因茨 , 瓦拉·奥卡尔 , 路易斯·米盖尔·帕尔多 , 安德烈斯·罗哈斯·帕雷德斯 , 恩里克·卡洛斯·塞古拉 :
神经网络学习的一种不可行的观点。 CoRR公司 abs/2201.00945 ( 2022 ) 2021 [公元32年] 阿米尔·哈希米 , 乔斯·海因茨 , 路易斯·帕尔多 , 巴勃罗·索莱诺 :
关于非齐次多项式理想的Bézout不等式。 J.塞姆。 计算。 106 : 1-22 ( 2021 ) 2020 [第18条] 阿米尔·哈希米 , 乔斯·海因茨 , 路易斯·帕尔多 , 巴勃罗·索莱诺 :
零维Gröbner碱构造的内在复杂性。 中国科学院 2020 : 245-265
2010 – 2019
2017 [i8] 阿米尔·哈希米 , 乔斯·海因茨 , 路易斯·米盖尔·帕尔多 , 巴勃罗·索莱诺 :
非齐次多项式理想的Bezout不等式。 CoRR公司 abs/1701.04341 ( 2017 ) 2016 [公元31年] 伯恩德银行 , 乔斯·海因茨 , 吉列尔莫·马特拉 , 何塞·路易斯·蒙塔尼亚 , 路易斯·帕尔多 , 安德烈斯·罗哈斯·帕雷德斯 :
测验游戏作为信息隐藏的模型。 J.复杂。 34 : 1-29 ( 2016 ) 2015 【j30】 伯恩德银行 , 马克·朱斯蒂 , 乔斯·海因茨 , 格雷戈伊尔·勒塞夫 , 吉列尔莫·马特拉 , 巴勃罗·索莱诺 :
退化轨迹与多项式方程求解。 已找到。 计算。 数学。 15 ( 1 ) : 159-184 ( 2015 ) 2014 [公元29年] 伯恩德银行 , 马克·朱斯蒂 , 乔斯·海因茨 , 穆罕默德·萨弗里·埃尔丁 :
多项式优化中的内在复杂性估计。 J.复杂。 30 ( 4 ) : 430-443 ( 2014 ) [公元28年] 伯恩德银行 , 马克·朱斯蒂 , 乔斯·海因茨 :
实奇异完全交变种中的点搜索:内在复杂性算法。 数学。 计算。 83 ( 286 ) : 873-897 ( 2014 ) 2013 [公元27年] 乔斯·海因茨 , Bart Kuijpers公司 , 安德烈斯·罗哈斯·帕雷德斯 :
有效代数几何中的软件工程和复杂性。 J.复杂。 29 ( 1 ) : 92-138 ( 2013 ) [i7] 伯恩德银行 , 马克·朱斯蒂 , 乔斯·海因茨 , 穆罕默德·萨弗里·埃尔丁 :
多项式优化中的内在复杂性估计。 CoRR公司 abs/1304.5214 ( 2013 ) [i6] 伯恩德银行 , 马克·朱斯蒂 , 乔斯·海因茨 , 格雷戈伊尔·勒塞夫 , 吉列尔莫·马特拉 , 巴勃罗·索莱诺 :
退化轨迹和多项式方程求解。 CoRR公司 abs/1306.3390 ( 2013 ) 2012 [公元26年] 拉斐尔·格林森 , 乔斯·海因茨 , 巴特·奎杰普斯 :
使用少量算术运算评估几何查询。 申请。 代数工程通讯。 计算。 23 ( 3-4 ) : 179-193 ( 2012 ) [公元25年] 伯恩德银行 , 马克·朱斯蒂 , 乔斯·海因茨 , 卢兹·莱曼 , 路易斯·米盖尔·帕尔多 :
紧致实奇异超曲面中点搜索的内在复杂性算法。 已找到。 计算。 数学。 12 ( 1 ) : 75-122 ( 2012 ) [i5] 乔斯·海因茨 , 巴特·奎杰普斯 , 安德烈斯·罗哈斯·帕雷德斯 :
关于有效代数几何中消元问题的内在复杂性。 CoRR公司 abs/1201.4344 ( 2012 ) 2011 [公元24年] 拉斐尔·格林森 , 乔斯·海因茨 , 巴特·奎杰普斯 :
有效评估约束数据库中的特定查询。 信息处理。 莱特。 111 ( 19 ) : 941-944 ( 2011 ) [j23] 纳多·吉梅内斯 , 乔斯·海因茨 , 吉列尔莫·马特拉 , 巴勃罗·索莱诺 :
插值算法的复杂度下限。 J.复杂。 27 ( 2 ) : 151-187 ( 2011 ) [i4] 马克·朱斯蒂 , 乔斯·海因茨 , 巴特·奎杰普斯 :
几何查询的评估:约束数据库和量词消除。 CoRR公司 abs/1110.2196 ( 2011 ) [i3] 乔斯·海因茨 , 巴特·奎杰普斯 , 安德烈斯·罗哈斯·帕雷德斯 :
有效代数几何中的软件工程和复杂性。 CoRR公司 腹肌/1110.3030 ( 2011 ) [i2] 拉斐尔·格林森 , 乔斯·海因茨 , 巴特·奎杰普斯 :
使用少量算术运算评估几何查询。 CoRR公司 abs/1111.0499 ( 2011 ) 2010 [公元22年] 伯恩德银行 , 马克·朱斯蒂 , 乔斯·海因茨 , 穆罕默德·萨弗里·埃尔丁 , 埃里克·肖斯特 :
关于极地变种的几何学。 申请。 代数工程通讯。 计算。 21 ( 1 ) : 33-83 ( 2010 )
2000 – 2009
2009 [j21] 伯恩德银行 , 马克·朱斯蒂 , 乔斯·海因茨 , 路易斯·米盖尔·帕尔多 :
关于实奇异超曲面中点搜索的内在复杂性。 信息处理。 莱特。 109 ( 19 ) : 1141-1144 ( 2009 ) 2007 [i1] 伯恩德银行 , 马克斯·伊根霍夫(Max J.Egenhofer) , 乔斯·海因茨 , 巴特·奎杰普斯 , 彼得·雷维斯 :
07212宣言——约束数据库、几何消除和地理信息系统。 约束数据库、几何消除和地理信息系统 2007 2005 [公元20年] 伯恩德银行 , 马克·朱斯蒂 , 乔斯·海因茨 , 路易斯·米盖尔·帕尔多 :
广义极坐标变换:几何和算法。 J.复杂。 21 ( 4 ) : 377-412 ( 2005 ) 2004 [公元19年] 伯恩德银行 , 马克·朱斯蒂 , 乔斯·海因茨 , 路易斯·帕尔多 :
广义极变量和有效的实消去。 凯贝内提卡 40 ( 5 ) : 519-550 ( 2004 ) [第17条] 乔斯·海因茨 , 巴特·奎杰普斯 :
约束数据库、数据结构和高效查询评估。 国家开发银行 2004 : 1-24 2003 [公元18年] 大卫·卡斯特罗 , 马克·朱斯蒂 , 乔斯·海因茨 , 吉列尔莫·马特拉 , 路易斯·米盖尔·帕尔多 :
多项式方程求解的困难。 已找到。 计算。 数学。 三 ( 4 ) : 347-420 ( 2003 ) 2002 [公元17年] N.布鲁诺 , 乔斯·海因茨 , 吉列尔莫·马特拉 , Rosita Wachenchauzer公司 :
计算机代数中的函数编程概念和直线程序。 数学。 计算。 模拟。 60 ( 6 ) : 423-473 ( 2002 ) 2001 [公元16年] 乔斯·海因茨 , 吉列尔莫·马特拉 , 阿里尔·韦斯贝因 :
几何消除过程的时空复杂性。 申请。 代数工程通讯。 计算。 11 ( 4 ) : 239-296 ( 2001 ) 2000 [公元15年] 米凯尔·奥尔达兹 , 乔斯·海因茨 , 吉列尔莫·马特拉 , 何塞·路易斯·蒙塔尼亚 , 路易斯·米盖尔·帕尔多 :
代数复杂性理论中的时空权衡。 J.复杂。 16 ( 1 ) : 2-49 ( 2000 ) [公元14年] 乔斯·海因茨 , 特蕾莎·克里克 , 苏珊娜·普杜 , 胡安·萨比亚 , 阿里尔·韦斯贝因 :
有效求解多项式方程的变形技术。 J.复杂。 16 ( 1 ) : 70-109 ( 2000 )
1990 – 1999
1999 [第16条] 伯恩德银行 , 乔斯·海因茨 , 卢兹·莱曼 , 吉列尔莫·马特拉 , 盖伊·姆巴科普 , Rosita Wachenchauzer公司 , 阿里尔·韦斯贝因 :
OpTERA-优化和实方程求解。 德阿信息技术讲习班 1999 : 69至72 1998 [第15条] 米凯尔·奥尔达兹 , 乔斯·海因茨 , 吉列尔莫·马特拉 , 何塞·路易斯·蒙塔尼亚 , 路易斯·米盖尔·帕尔多 :
多项式评估的组合硬度证明。 MFCS公司 1998 : 167-175年 1997 [j13] 伯恩德银行 , 马克·朱斯蒂 , 乔斯·海因茨 , 盖伊·姆巴科普 :
极变量、实方程求解和数据结构:超曲面案例。 J.复杂。 13 ( 1 ) : 5-27 ( 1997 ) 1995 [第14条] 马克·朱斯蒂 , 乔斯·海因茨 , 何塞·恩里克·莫利斯 , 路易斯·米盖尔·帕尔多 :
多项式方程组何时可以快速“求解”?。 AAECC公司 1995 : 205-231 1994 [公元12年] 乔斯·海因茨 , 玛丽·弗朗索瓦斯·罗伊 , 巴勃罗·索莱诺 :
单指数时间中半代数的连通分量的描述。 谨慎。 计算。 地理。 11 : 121-140 ( 1994 ) 1993 [公元11年] 莱安德罗·卡尼格里亚 , 吉列尔莫·科尔蒂尼亚斯 , 西尔维娅·达农 , 乔斯·海因茨 , 特蕾莎·克里克 , 巴勃罗·索莱诺 :
(诺亚·菲查斯工作组)苏斯林证明塞雷猜想的算法方面。 计算。 复杂。 三 : 31-55 ( 1993 ) [公元10年] 马克·朱斯蒂 , 乔斯·海因茨 , 胡安·萨比亚 :
关于有效Nullstellensätze的效率。 计算。 复杂。 三 : 56-95 ( 1993 ) [公元9年] 乔斯·海因茨 , 玛丽·弗朗索瓦斯·罗伊 , 巴勃罗·索莱诺 :
论现实存在论的理论和实践复杂性。 计算。 J。 36 ( 5 ) : 427-431 ( 1993 ) [j8] 乔斯·海因茨 , 雅克·摩根斯顿 :
关于消除理论的内在复杂性。 J.复杂。 9 ( 4 ) : 471-498 ( 1993 ) 1991 [j7] 莱安德罗·卡尼格里亚 , 安德烈·加里戈 , 乔斯·海因茨 :
射影闭包和有效Nullstellensatz的方程。 谨慎。 申请。 数学。 33 ( 1-3 ) : 11-23 ( 1991 ) 1990 [第13条] 乔斯·海因茨 , 特蕾莎·克里克 , 玛丽·弗朗索瓦斯·罗伊 , 巴勃罗·索莱诺 :
单指数时间内可解的几何问题。 AAECC公司 1990 : 11-23 [第12条] 乔斯·海因茨 , 玛丽·弗朗索瓦斯·罗伊 , 巴勃罗·索莱诺 :
半代数集合中的单指数路径查找。 第1部分:正则有界超曲面的情况。 AAECC公司 1990 : 180-196 [第11条] 乔斯·海因茨 , 托马斯·雷西奥 , 玛丽·弗朗索瓦斯·罗伊 :
实代数几何中的算法及其在计算几何中的应用。 离散和计算几何 1990 : 137-164
1980 – 1989
1989 [第10条] 乔斯·海因茨 , 巴勃罗·索莱诺 , 玛丽·弗朗索瓦斯·罗伊 :
关于半代数集的复杂性。 IFIP大会 1989 : 293-298 1988 [j6] 詹姆斯·达文波特 , 乔斯·海因茨 :
实量词消除是双指数的。 J.塞姆。 计算。 5 ( 1/2 ) : 29-35 ( 1988 ) 【c9】 莱安德罗·卡尼格里亚 , 安德烈·加里戈 , 乔斯·海因茨 :
计算几何中的一些新的有效性边界。 AAECC公司 1988 : 131-151 1987 【c8】 乔斯·海因茨 :
关于多项式和双线性映射的计算复杂性。 A调查。 AAECC公司 1987 : 269-300 【c7】 汉斯·德格罗特 , 乔斯·海因茨 , 斯特凡·莫勒 , 汉斯·施米特 :
李代数的复杂性。 FCT公司 1987 : 172-179 1986 [j5] 乔斯·海因茨 :
关于易于计算的对称伽罗瓦群多项式。 西奥。 计算。 科学。 47 ( 三 ) : 99-105 ( 1986 ) 1985 【j4】 乔斯·海因茨 :
勘误:代数闭域中的可定义性和快速量词消除。 西奥。 计算。 科学。 39 : 343 ( 1985 ) 【c6】 汉斯·德格罗特 , 乔斯·海因茨 :
一些半单李代数双线性复杂度的下界。 AAECC公司 1985 : 211-222 1984 【c5】 乔斯·海因茨 , 雅克·摩根斯顿 :
关于最小秩的结合代数。 AAECC公司 1984 : 1-24 1983 [j3] 乔斯·海因茨 :
代数闭域中的可定义性和快速量词消除。 西奥。 计算。 科学。 24 : 239-277 ( 1983 ) 1981 【c4】 乔斯·海因茨 , 麦芽筛选 :
多项式的绝对素性在随机多项式时间内可由变量数决定。 ICALP公司 1981 : 16-28 1980 [注2] 乔斯·海因茨 , 麦芽筛选 :
代数系数多项式的下界。 西奥。 计算。 科学。 11 : 321-330 ( 1980 ) 【c3】 乔斯·海因茨 , 克劳斯·佩特·施诺尔 :
测试易于计算的多项式(扩展抽象)。 STOC公司 1980 : 262-272
1970 – 1979
1979 【c2】 乔斯·海因茨 :
一种显示难以计算多项式下限的新方法。 理论计算机科学 1979 : 153-157 1976 【c1】 乔斯·海因茨 :
Unter Schranken für die Komplexität logischer Entscheidungs问题。 Komplexität von Entscheidungsproblemen 1976年 1976 : 127-137 1975 [j1] 乔斯·海因茨 , H.R.Wüthrich公司 :
针对任何特征的代数闭域的有效量词消除算法。 SIGSAM牛市。 9 ( 4 ) : 11 ( 1975 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)