普兰贾尔·杜塔;尼廷·萨克塞纳;托马斯·蒂拉夫 一元多项式的加权平方和下限意味着\(\mathsf{VP}\neq\mathsf{VNP}\)。 (英语) Zbl 07851987号 计算。复杂性 33,第1号,第3号论文,54页(2024年).MSC公司:2015年3月1日 2017年第68季度 第11页第25页 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{P.Dutta}等人,计算。复杂性33,第1号,第3号论文,54页(2024;Zbl 07851987) 全文: 内政部 OA许可证
斯塔斯塔克,M.R。 用拟量词消去法证明Bel'tyukov-Lipshitz定理。二: 主要减少。 (英语。俄文原件) Zbl 1491.03012号 维斯特。圣彼得堡大学数学。 54,编号4,372-380(2021); 由Vestn翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。8(66),第4期,608-619(2021)。MSC公司:03B25号 03C10号机组 03C60型 2005年11月 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Starchak},韦斯特恩。圣彼得堡大学数学。54,第4号,372-380(2021;兹bl 1491.03012);由Vestn翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。8(66),编号4,608--619(2021) 全文: 内政部
瓦夫拉,T。;F.维内齐亚诺。 数字字段中的活塞单位生成器。 (英语) Zbl 1398.11160号 J.塞姆。计算。 89, 94-108 (2018).MSC公司:11年40 2006年11月 11兰特27 PDF格式BibTeX公司 XML格式引用 \textit{T.Vávra}和\textit{F.Veneziano},J.Symb。计算。89、94-108(2018年;Zbl 1398.11160) 全文: 内政部 arXiv公司
博斯坦,A。;F.莫林。;B·萨维。;斯科特,É。 计算椭圆曲线间等值线的快速算法。 (英语) Zbl 1200.11097号 数学。计算。 77,第263号,1755-1778(2008). 审核人:Christophe Ritzenthaler(马赛) MSC公司:2016年11月 94A60型 11G20峰会 PDF格式BibTeX公司 XML格式引用 \textit{A.Bostan}等人,数学。计算。77,No.263,1755-1778(2008;Zbl 1200.11097) 全文: 内政部 arXiv公司
普雷达Mihailescu 快速卷积满足蒙哥马利。 (英语) Zbl 1183.11081号 数学。计算。 77,第262号,1199-1221(2008). 审核人:莫里斯·米格诺特(斯特拉斯堡) MSC公司:2016年11月 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{P.Mihailescu},数学。计算。77,No.262,1199--1221(2008;Zbl 1183.11081) 全文: 内政部
纪尧姆·切兹;格里戈伊尔·勒塞夫 绝对因子分解的提升和重组技术。 (英语) Zbl 1130.12007号 J.复杂性 23,第3期,380-420(2007). 审核人:迈克尔·波赫斯特(柏林) MSC公司:2005年12月 68瓦30 2016年11月 2005年12月 13第05页 PDF格式BibTeX公司 XML格式引用 \textit{G.Chèze}和\textit{G.Lecerf},《复杂性杂志》第23期,第3期,第380-420页(2007年;Zbl 1130.12007) 全文: 内政部
佐佐木,Tateaki;佐佐木木木子 多元多项式分解的统一方法。 (英语) Zbl 0796.12006号 日本J.Ind.Appl。数学。 10,第1期,21-39(1993). 审核人:H.J.戈德温(埃加姆) MSC公司:2005年12月 2005年11月 PDF格式BibTeX公司 XML格式引用 \textit{T.佐佐木}和\textit{M.佐佐木},日本J.Ind.Appl。数学。10,No.1,21--39(1993;Zbl 0796.12006) 全文: 内政部
洛伊奇,波蒂埃 线性丢番图系统的最小解:界和算法。 (英语) Zbl 1503.11152号 罗纳德·V·书(编辑),重写技术与应用。第四届国际会议,RTA-91,意大利科摩,1991年4月10-12日。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。488, 162-173 (1991).MSC公司:11年50 2016年11月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Pottier},莱克特。注释计算。科学。488162--173(1991年;Zbl 1503.11152) 全文: 内政部
沃尔特·鲍尔 关于有理迭代过程的代数复杂性。 (英语) Zbl 0734.68045号 西奥。计算。科学。 88,第2131-324号(1991年). 审核人:N.I.Osetinski(莫斯科) MSC公司:65年第68季度 2016年11月 PDF格式BibTeX公司 XML格式引用 \文本{W.Baur},Theor。计算。科学。88,No.2,313--324(1991;Zbl 0734.68045) 全文: 内政部
沃尔克·魏斯芬宁 几乎线性丢番图问题的复杂性。 (英语) Zbl 0716.68050号 J.塞姆。计算。 第5期第10期,第395-403页(1990年).MSC公司:65年第68季度 30楼03号 2016年11月 PDF格式BibTeX公司 XML格式引用 \textit{V.魏斯芬宁},J.塞姆。计算。10,第5号,395--403(1990;Zbl 0716.68050) 全文: 内政部
Jean-François罗梅夫 求解两个线性丢番图方程组的多项式算法。 (英语) Zbl 0701.68050号 西奥。计算。科学。 74,第3号,329-340(1990).MSC公司:65年第68季度 11年50 2004年11月 2016年11月 PDF格式BibTeX公司 XML格式引用 \文本{J.-F.罗梅夫},Theor。计算。科学。74,第3号,329--340(1990;Zbl 0701.68050) 全文: 内政部
博罗什,I。;M.弗拉希夫。;鲁宾,大卫·S。;特雷比格,B。 线性丢番图方程解的一个严格界。 (英语) Zbl 0672.15006号 程序。美国数学。Soc公司。 105,第4844-846号(1989年). 审核人:N.J.普尔曼 MSC公司:15B36型 15A06号 2004年11月 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{I.Borosh}等人,Proc。美国数学。Soc.105,No.4,844--846(1989;Zbl 0672.15006) 全文: 内政部
Borosh,我。;M.弗拉希夫。;特雷比格,B。 线性丢番图方程的小解。 (英语) Zbl 0591.10010号 离散数学。 58, 215-220 (1986). 审核人:古拉姆·戈吉什维利(第比利斯) MSC公司:2004年11月 PDF格式BibTeX公司 XML格式引用 \textit{I.Borosh}等人,《离散数学》。58、215--220(1986年;Zbl 0591.10010) 全文: 内政部