格里戈里·布莱克曼;安妮·雷蒙德;魏,范 加权图同态密度中多项式不等式的不可判定性。 (英语) Zbl 07827377号 论坛数学。西格玛 12,论文编号e40,16 p.(2024). 审核人:V.Lokesha(班加罗尔) MSC公司:05C25号 05C35号 12升05 PDF格式BibTeX公司 XML格式引用 \textit{G.Blekherman}等人,《论坛数学》。Sigma 12,论文编号e40,16 p.(2024;Zbl 07827377) 全文: 内政部 arXiv公司 OA许可证
卡莱布·斯普林格 全虚域中整数环的可定义性和可判定性。 (英语) Zbl 07798515号 牛市。伦敦。数学。Soc公司。 56,编号1,306-318(2024).MSC公司:2014年11月 11卢比80 2005年11月 12升05 PDF格式BibTeX公司 XML格式引用 \textit{C.Springer},公牛。伦敦。数学。Soc.56,No.1,306--318(2024;Zbl 07798515) 全文: 内政部 arXiv公司 OA许可证
尼古拉斯·达恩斯;菲利普·迪特曼 在函数字段中通用定义子环。 arXiv:2404.02749 预打印,arXiv:2404.02749[math.NT](2024)。MSC公司:12L99型 11E81型 12升05 12层20 BibTeX公司 引用 \textit{N.Daans}和\textit{P.Dittmann},“在函数域中普遍定义子环”,预印本,arXiv:22404.02749[math.NT](2024) 全文: arXiv公司 OA许可证
菲利普·迪特曼;阿诺·费姆 关于整体场完备性的存在论。 arXiv:2401.11930年 预印本,arXiv:2401.11930[math.LO](2024)。MSC公司:03C60型 2005年10月12日 12升12 12J20型 14G05年 11国道25号 BibTeX公司 引用 \textit{P.Dittmann}和\textit{A.Fehm},“关于整体场完备性的存在论”,预印本,arXiv:2401.11930[math.LO](2024) 全文: arXiv公司 OA许可证
Kirsten Eisenträger;罗素·米勒;卡莱布·斯普林格;琳达·韦斯特里克 用拓扑方法研究\(mathbb{Q}\)的代数扩张中的不可失性。 (英语) Zbl 07808886号 牛市。符号。日志。 29,第4期,626-655(2023年).MSC公司:03C57 12升05 2005年11月 03C40号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{K.Eisenträger}等人,公牛。符号。日志。29,第4号,626--655(2023;Zbl 07808886) 全文: 内政部 arXiv公司 OA许可证
西尔维·安斯科姆;菲利普·迪特曼;阿诺·费姆 公理化(mathbb)的存在论{F} (_q)((t))\)。 (英语) Zbl 07783172号 代数数论 2013年-2032年(2023年)第11期17号.MSC公司:03C60型 11天88 11国道25号 2005年10月12日 PDF格式BibTeX公司 XML格式引用 \textit{S.Anscombe}等人,代数数论17,第11期,2013--2032(2023;Zbl 07783172) 全文: 内政部 arXiv公司
贾姆什德·德拉赫尚;安格斯麦金太尔 所有环类的可判定性:Ax的一个问题。 (英语) Zbl 07724271号 论坛数学。西格玛 11,论文编号e64,第6页(2023年).MSC公司:2005年11月 11层30 03B25号 12月10日 03C60型 11单元09 03C13号机组 11卢比 12升05 12E30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Derakhshan}和\textit{A.Macintyre},论坛数学。Sigma 11,论文编号e64,6 p.(2023;Zbl 07724271) 全文: 内政部
卡塔斯、康斯坦蒂诺斯 自由场渐近理论的一个不可判定性结果。 (英语) Zbl 1516.12002年 Ann.纯粹应用。逻辑 174,第2号,文章ID 103203,13页(2023). 审核人:Xavier Vidaux(康塞普西翁) MSC公司:12升05 12月10日 03C60型 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{K.Kartas},Ann.纯粹应用。逻辑174,第2号,文章ID 103203,13页(2023;Zbl 1516.12002) 全文: 内政部 arXiv公司
西尔维·安斯科姆;阿诺·费姆 场理论的句法片断解释。 arXiv:2312.17616 预印本,arXiv:2312.17616[math.LO](2023)。MSC公司:12升05 03B25号 12J20型 03C60型 12升05 BibTeX公司 引用 \textit{S.Anscombe}和\textit{A.Fehm},“字段理论的语法片段解释”,预印本,arXiv:2312.17616[math.LO](2023) 全文: arXiv公司 OA许可证
卡里姆·约翰内斯·贝彻;尼古拉斯·达恩斯;菲利普·迪特曼 一个变量中函数域赋值的统一存在定义。 arXiv:2311.06044号 预印本,arXiv:2311.06044[math.NT](2023)。MSC公司:12升05 12L99型 11E81型 12层20 BibTeX公司 引用 \textit{K.J.Becher}等人,“一个变量函数域赋值的统一存在定义”,Preprint,arXiv:2311.06044[math.NT](2023) 全文: arXiv公司 OA许可证
约根·哈姆塞 没有选择公理的代数补全。 (英语) Zbl 1521.03160号 数学。日志。问:。 68,第4号,394-397(2022).MSC公司:03E25型 12升05 PDF格式BibTeX公司 XML格式引用 \textit{J.Harmse},数学。日志。问题68,第4号,394-397(2022年;兹bl 1521.03160) 全文: 内政部
迪米特拉·昌皮塔基;马诺斯·卡马里亚纳基斯;Pheidas、Thanases 关于多项式和有理函数的加法可判定性和Frobenius映射的注记。 (英语) Zbl 1529.03119号 代表数学。逻辑 57,53-60(2022).MSC公司:03B25号 12升05 03C10号机组 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{D.Chompitaki}等人,《众议员数学》。逻辑57,53--60(2022;Zbl 1529.03119) 全文: 内政部
奇斯托夫,A.L。 判定多项式方程组在(p)-adic整数上可解性的有效算法。 (英语。俄文原件) Zbl 1507.11111号 圣彼得堡数学。J。 第1011-1033号第33页(2022); 代数分析的翻译。33,第6期,162-196(2021)。MSC公司:2005年11月 12升05 11天88 2015年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{A.L.Chistov},圣彼得堡数学。J.33,No.6,1011--1033(2022;Zbl 1507.11111);代数分析的翻译。33,第6号,162--196(2021) 全文: 内政部
赛义德·萨利希 公理(和非公理)数学。 (英语) 兹比尔1525.03055 落基山J.数学。 52,第4期,1157-1176(2022). 审核人:Xavier Vidaux(康塞普西翁) MSC公司:03B25号 03B30型 03C10号机组 03F40型 2005年11月 2005年10月12日 PDF格式BibTeX公司 XML格式引用 \textit{S.Salehi},洛基山J.数学。52,编号4,1157--1176(2022;Zbl 1525.03055) 全文: 内政部 arXiv公司 链接
罗素·米勒 HTP-有理数的完备环。 (英语) Zbl 1501.12003年 J.塞姆。日志。 87,第1号,252-272(2022). 审核人:Alexandra Shlapentkh(格林维尔) MSC公司:12升05 2005年11月 03D45号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{R.Miller},J.Symb。日志。87,第1号,252--272(2022;Zbl 1501.12003) 全文: 内政部 arXiv公司
菲利普·迪特曼 关于域中存在不可判定性的两个例子。 arXiv:2211.01775 预打印,arXiv:2211.01775[math.LO](2022)。MSC公司:12升05 03C60型 BibTeX公司 引用 \textit{P.Dittmann},“关于字段中存在不可判定性的两个例子”,Preprint,arXiv:2211.01775[math.LO](2022) 全文: arXiv公司 OA许可证
比比努尔·杜伊森加利耶娃;乌尔拜乌米尔巴耶夫 微分代数相依性和诺维科夫相依性。 (英语) Zbl 1475.12008年 线性多线性代数 69,第6号,1061-1071(2021). 审核人:亚历山大·莱文(华盛顿) MSC公司:2005年12月 17日第25天 2005年10月12日 13页第10页 17A50型 PDF格式BibTeX公司 XML格式引用 \textit{B.Duisengaliyeva}和\textit{U.Umirbaev},线性多线性代数69,No.6,1061--1071(2021;Zbl 1475.12008) 全文: 内政部 arXiv公司
迪米特拉·昌皮塔基;马诺斯·卡马里亚纳基斯;Pheidas、Thanases 有理函数环中加法理论和Frobenius映射的可判定性。 arXiv公司:2107.11266 预打印,arXiv:2107.11266[math.LO](2021)。MSC公司:03B25号 12升05 03C10号机组 03C60型 13A35型 13升05 BibTeX公司 引用 \textit{D.Chompitaki}等人,“有理函数环中加法理论和Frobenius映射的可判定性”,预印,arXiv:2107.11266[math.LO](2021) 全文: arXiv公司 OA许可证
尼古拉斯·达恩斯;菲利普·迪特曼;阿诺·费姆 丢番图集的存在秩和本质维数。 arXiv公司:2102.06941 预打印,arXiv:2102.06941[math.NT](2021)。MSC公司:11单元09 12升12 2005年11月 12升05 BibTeX公司 引用 \textit{N.Daans}等人,“丢番图集的存在秩和本质维数”,预印本,arXiv:2102.06941[math.NT](2021) 全文: arXiv公司 OA许可证
赛义德·萨利希;穆罕默德·扎扎 一阶连续归纳法和实闭域的逻辑研究。 (英语) Zbl 1486.03060号 牛市。伊朗。数学。Soc公司。 46,第1期,225-243(2020年). 审核人:Beibut Kulpeshov(阿拉木图) MSC公司:03C35号 03B25号 03C10号机组 12月15日 12升05 PDF格式BibTeX公司 XML格式引用 \textit{S.Salehi}和\textit{M.Zarza},公牛。伊朗。数学。Soc.46,No.1,225--243(2020;Zbl 1486.03060) 全文: 内政部 arXiv公司
列夫·贝克莱米舍夫;安娜·德米特里娃;约翰·马科夫斯基。 公理化折纸平面。 arXiv公司:2012.03250 预印本,arXiv:2012.03250[math.LO](2020)。MSC公司:第51页,共15页 2015年11月51日 03天35分 12升05 BibTeX公司 引用 \textit{L.Beklemishev}等人,“折纸平面公理化”,预印本,arXiv:2012.03250[math.LO](2020) 全文: arXiv公司 OA许可证
弗朗西丝卡·巴列斯特列里;詹妮弗·帕克;亚历山德拉·施拉彭托克 场的一阶理论及其逆伽罗瓦问题。 arXiv:2007.13047号 预印本,arXiv:2007.13047[math.NT](2020)。MSC公司:2005年11月 12英尺12英寸 12升05 BibTeX公司 引用 \textit{F.Balestrieri}等人,“场的一阶理论及其逆Galois问题”,预印本,arXiv:2007.13047[math.NT](2020) 全文: arXiv公司 OA许可证
塞赫拉·维利奥卢 自由泊松代数的算法问题。 (英语) 兹伯利1474.17035 安提斯币。Al.I.Cuza IașI大学。马特·努。 65,第2号,251-256(2019).MSC公司:17B63型 12升05 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{Z.Velioțlu},安提恩。Al.I.Cuza IașI大学。努昂,Mat.65,No.2,251--256(2019;Zbl 1474.17035)
哈维尔·乌特雷拉斯 解释多项式环的一阶加法和余素性理论中的算法。 (英语) Zbl 1454.03015号 J.塞姆。日志。 84,第3期,1194-1214(2019). 审核人:赛义德·萨利希(大不里士) MSC公司:03B25号 12升05 03英尺30英寸 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{J.Utreras},J.Symb。日志。84,第3号,1194--1214(2019;Zbl 1454.03015) 全文: 内政部
亚哈龙·拉宗 代数整数大环的本原递归可判定性。 (英语) Zbl 1409.12003年 阿尔巴尼亚数学杂志。 13, 3-93 (2019).MSC公司:12升05 12E30型 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Razon},阿尔巴尼亚数学杂志。13、3--93(2019年;Zbl 1409.12003年) 全文: 链接
林春玉 场论中可决定的理论片段。 arXiv:1912.09155年 预印本,arXiv:1912.09155[math.LO](2019)。MSC公司:03B25号 03C60型 2005年11月 12升05 BibTeX公司 引用 \textit{C.-Y.Lin},“场算术理论的决定片段”,预印本,arXiv:1912.09155[math.LO](2019) 全文: arXiv公司 OA许可证
Jochen Koenigsmann 本地和全球领域的可决定性。 (英语) Zbl 1458.11171号 Sirakov,Boyan(编辑)等人,《国际数学家大会论文集》,ICM 2018,巴西里约热内卢,2018年8月1日至9日。第二卷。受邀演讲。新泽西州哈肯萨克:世界科学;里约热内卢:巴西体育协会(SBM)。45-59 (2018). 审核人:赛义德·萨利希(大不里士) MSC公司:2005年11月 03B25号 11层85 12月10日 12升05 PDF格式BibTeX公司 XML格式引用 \textit{J.Koenigsmann},in:2018年国际数学家大会会议记录,ICM 2018,巴西里约热内卢,2018年8月1-9日。第二卷。受邀演讲。新泽西州哈肯萨克:世界科学;里约热内卢:巴西体育协会(SBM)。45-59(2018年;Zbl 1458.11171) 全文: 内政部 链接
奥奈,Gönenç \(\mathbb{F} (p)((X))可作为加法多项式环上的一个模来判定。 arXiv:1806.03123 预印本,arXiv:1806.03123[math.LO](2018)。MSC公司:2005年11月 12升05 12月10日 03C68型 BibTeX公司 引用 \textit{G.Onay},``$\mathbb{F} (p)((X))$作为加法多项式环上的一个模是可判定的”,Preprint,arXiv:1806.03123[math.LO](2018) 全文: arXiv公司 OA许可证
乌尔拜乌米尔巴耶夫;弗拉迪斯拉夫·哈尔琴科 自由编织非结合Hopf代数和Sabinin(tau)-代数。 (英语) Zbl 1398.16009号 J.代数 492, 130-156 (2017).MSC公司:16E45型 12升05 13页第10页 2016年05月 PDF格式BibTeX公司 XML格式引用 \textit{U.Umirbaev}和\textit{V.Kharchenko},J.代数492130--156(2017;Zbl 1398.16009) 全文: 内政部 arXiv公司
Kirsten Eisenträger;罗素·米勒;詹妮弗·帕克;亚历山德拉·施拉彭托克 很简单:希尔伯特关于有理数和数域子环的第十个问题。 (英语) Zbl 1427.11142号 事务处理。美国数学。Soc公司。 369,第11号,8291-8315(2017).MSC公司:2005年11月 12升05 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{K.Eisenträger}等人,翻译。美国数学。Soc.369,编号11,8291-8315(2017;兹bl 1427.11142) 全文: 内政部 arXiv公司
莫什·贾登;亚历山德拉·施拉彭托克 可判定代数域。 (英语) Zbl 1387.12008年 J.塞姆。日志。 82,第2期,474-488(2017).MSC公司:2005年10月12日 03C07号机组 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{M.Jarden}和\textit{A.Shlapentokh},J.Symb。日志。82,No.2,474--488(2017;Zbl 1387.12008) 全文: 内政部 arXiv公司
塔贾纳·卢托瓦克;布兰科,马累舍维奇;克里斯汀·莫蒂奇 混合三角多项式问题的自然算法。 (英语) Zbl 1373.42003号 J.不平等。应用。 2017,第116号文件,第16页(2017).MSC公司:42A05型 42A10号 41A58型 2005年10月26日 12升05 PDF格式BibTeX公司 XML格式引用 \textit{T.Lutovac}等人,J.不等式。申请。2017年,第116号论文,16页(2017;Zbl 1373.42003) 全文: 内政部 arXiv公司
Jochen Koenigsmann 关于亚伯拉罕·鲁滨逊的问题。 (英语) Zbl 1402.12002号 以色列。数学杂志。 214,编号2,931-943(2016).MSC公司:12升05 03B25号 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{J.Koenigsmann},以色列。数学杂志。214,No.2,931--943(2016;Zbl 1402.12002) 全文: 内政部 arXiv公司 链接
西尔维·安斯科姆;阿诺·费姆 等特征Henselian值域的存在论。 (英语) Zbl 1377.03025号 代数数论 10,第3期,665-683(2016). 审核人:吕克·贝莱尔(蒙特利尔) MSC公司:03C60型 12升12 12月10日 2005年11月 12升05 PDF格式BibTeX公司 XML格式引用 \textit{S.Anscombe}和\textit{A.Fehm},代数数论10,第3期,665--683(2016;Zbl 1377.03025) 全文: 内政部 arXiv公司
乌尔拜乌米尔巴耶夫 微分多项式代数的算法问题。 (英语) Zbl 1371.12005年 J.代数 455, 77-92 (2016). 审核人:陈玉群(广州) MSC公司:2005年12月 12升05 13页第10页 16E45型 2016年05月 PDF格式BibTeX公司 XML格式引用 \textit{U.Umirbaev},J.代数455,77--92(2016;Zbl 1371.12005) 全文: 内政部 arXiv公司
赛义德·萨利希 公理化数学理论:乘法。 arXiv:1612.06525 预印本,arXiv:1612.06525[math.LO](2016)。MSC公司:03B25号 03C10号机组 03天35分 03F40型 2005年11月 12升05 BibTeX公司 引用 \textit{S.Salehi},“公理化数学理论:乘法”,预印本,arXiv:1612.06525[math.LO](2016) 全文: arXiv公司 OA许可证
亚历山德拉·施拉彭托克 Hilbert关于\(mathbb Q)和数字域的子环的第十个问题(扩展抽象)。 (英语) Zbl 1459.11233号 Jain,Rahul(编辑)等人,《计算模型的理论和应用》。第十二届年会,TAMC 2015,新加坡,2015年5月18日至20日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9076, 3-9 (2015).MSC公司:2005年11月 03D45号 12升05 PDF格式BibTeX公司 XML格式引用 \textit{A.Shlapentokh},莱克特。注释计算。科学。9076,3--9(2015年;兹bl 1459.11233) 全文: 内政部
纳塔利亚·加西亚-弗里茨;赫克托·帕滕 正特征整函数环中整数的一致正存在性解释。 (英语) Zbl 1329.11129号 J.数论 156, 368-393 (2015). 审核人:Alexandra Shlapentkh(格林维尔) MSC公司:2005年11月 2006年8月30日 12升05 PDF格式BibTeX公司 XML格式引用 \textit{N.Garcia-Fritz}和\textit{H.Pasten},J.数论156,368--393(2015;Zbl 1329.11129) 全文: 内政部 arXiv公司
亚历山德拉·施拉彭托克;卡洛斯·维德拉 无限代数扩张中的可定义性和可判定性。 (英语) Zbl 1352.12006年 Ann.纯粹应用。逻辑 165,编号7-8,1243-1262(2014).MSC公司:12升05 12升12 03C30号 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Shlapentokh}和\textit{C.Videla},Ann.纯苹果。逻辑165,No.7--8,1243--1262(2014;Zbl 1352.12006) 全文: 内政部 arXiv公司
Serge V.帕拉莫诺夫。 用边界条件检验偏微分方程解析解的唯一性。 (英语) Zbl 1418.12005年 Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2014年9月8日至12日在波兰华沙举行的中国社会科学院2014年第16届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8660, 350-356 (2014).MSC公司:12升05 12时20分 PDF格式BibTeX公司 XML格式引用 \textit{S.V.Paramonov},莱克特。注释计算。科学。8660,350-356(2014;Zbl 1418.12005) 全文: 内政部
赫克托·帕滕;Pheidas、Thanases;泽维尔·维多 正特征函数环中算术的一致存在性解释。 (英语) Zbl 1327.03009号 发明。数学。 196,第2期,453-484(2014). 审核人:Mihai Prunescu(布加勒斯特) MSC公司:03B25号 2005年11月 12升05 PDF格式BibTeX公司 XML格式引用 \textit{H.Pasten}等人,发明。数学。196,第2号,453--484(2014;Zbl 1327.03009) 全文: 内政部 arXiv公司
赵尚伟;童朝旭;高晓山 函数分解问题的可判定性。 (中文。英文摘要) Zbl 1274.12001年 J.系统。科学。数学。科学。 32,第8期,928-934(2012).MSC公司:12升05 12E05型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Zhao}等人,J.Syst。科学。数学。科学。32,第8号,928--934(2012;Zbl 1274.12001)
迪尔德雷·哈斯克尔 解析函数模型理论:一些历史评论。 (英语) Zbl 1255.03003号 牛市。符号。日志。 18,第3期,368-381(2012). 审核人:伊曼纽尔·哈卢普佐克(穆斯特) MSC公司:03-03 03C60型 03C65号 03C10号机组 03C64号 12升05 12升12 PDF格式BibTeX公司 XML格式引用 \textit{D.Haskell},公牛。符号。日志。18,第3号,368--381(2012;Zbl 1255.03003) 全文: 内政部 欧几里得 链接
阿兰·埃斯卡苏特;赫克托·帕滕 开圆盘内超度量亚纯函数的Büchi问题。 (英语) Zbl 1257.30050号 \(p\)-Adic数超声分析。应用。 3,第2期,108-113(2011).MSC公司:2006年8月30日 2005年11月 2005年10月12日 11二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{A.Escassut}和\textit{H.Pasten},\(p\)-Adic数字超音波分析。申请。3,第2号,第108-113条(2011;Zbl 1257.30050) 全文: 内政部
约瑟夫·弗伦纳 Henselian值域中的相对可判定性和可定义性。 (英语) Zbl 1237.03022号 J.塞姆。日志。 76,第4期,1240-1260(2011). 审核人:伊曼纽尔·哈卢普佐克(穆斯特) MSC公司:03C60型 03C10号机组 12月10日 12升05 12升12 PDF格式BibTeX公司 XML格式引用 \textit{J.Flenner},J.Symb。日志。76,第4号,1240--1260(2011;Zbl 1237.03022) 全文: 内政部 arXiv公司
王冠军;赵莹;王茂丽 基于有限域上Gröbner基的高级综合优化方法。 (中文。英文摘要) Zbl 1240.12009 哈尔滨理工大学。 第7号第42页,1153-1157页(2010年).MSC公司:2005年12月 12升05 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{G.Wang}等人,J.哈尔滨理工大学。42,编号7,1153--1157(2010;Zbl 1240.12009)
罗素·米勒 计算多项式或求根更难吗? (英语) Zbl 1215.12005年 事务处理。美国数学。Soc公司。 362,第10号,5261-5281(2010). 审核人:罗伯托·德沃尼奇(比萨) MSC公司:12E05型 03D45号 03C57 12升05 PDF格式BibTeX公司 XML格式引用 \textit{R.Miller},翻译。美国数学。Soc.362,No.10,5261--5281(2010;Zbl 1215.12005) 全文: 内政部
西里尔·科恩;阿西亚·马布比 代数闭域的形式量词消去。 (英语) Zbl 1286.68394号 Autexier,Serge(编辑)等人,《智能计算机数学》。2010年7月5日至10日,第十届国际会议,AISC 2010,第十七届研讨会,Calculemus 2010,第九届国际会议MKM 2010,法国巴黎。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14127-0/pbk)。计算机科学讲义6167。《人工智能课堂讲稿》,189-203年(2010年)。MSC公司:68吨15 03C10号机组 12升05 PDF格式BibTeX公司 XML格式引用 \textit{C.Cohen}和\textit{A.Mahboubi},莱克特。注释计算。科学。6167189--203(2010年;Zbl 1286.68394) 全文: 内政部 链接
阿拉·西罗科夫斯基 关于有限域上多项式的指数谓词。 (英语) Zbl 1196.03050号 程序。美国数学。Soc公司。 138,编号7,2569-2583(2010).MSC公司:03C60型 03B25号 12升05 12升12 PDF格式BibTeX公司 XML格式引用 \textit{A.Sirokofskich},程序。美国数学。Soc.138,No.7,2569--2583(2010;Zbl 1196.03050) 全文: 内政部
赫克托·帕滕 多项式环零特征Büchi问题的推广。 (英语) Zbl 1222.11146号 程序。美国数学。Soc公司。 138,第5期,1549-1557(2010). 审核人:米哈伊·普鲁内斯库(弗莱堡i.Br.) MSC公司:2005年11月 12升05 11二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{H.Pasten},程序。美国数学。Soc.138,No.5,1549--1557(2010;Zbl 1222.11146) 全文: 内政部
杰伦·德梅耶 特征零点上函数域的希尔伯特第十问题。 arXiv:0902.0247 预印本,arXiv:0902.0247[math.NT](2009)。MSC公司:12升05 2005年4月14日 12月10日 03B25号 12国集团10 BibTeX公司 引用 \textit{J.Demeyer},“特征零中函数域超值域的希尔伯特第十个问题”,预打印,arXiv:0902.0247[math.NT](2009) 全文: arXiv公司 OA许可证
Pheidas、Thanases;Xavier维道 多项式环中立方体的Büchi问题的类比。 (英语) Zbl 1151.03004号 派克靴。数学杂志。 238,第2期,349-366(2008).MSC公司:03B25号 11亿欧元 2005年11月 12升05 PDF格式BibTeX公司 XML格式引用 \textit{T.Pheidas}和\textit{X.Vidaux},Pac。数学杂志。238,第2号,349--366(2008;Zbl 1151.03004) 全文: 内政部
塔玛拉·塞尔维 关于实指数的一阶理论。 (英语) Zbl 1388.03003号 特西。斯库拉普通比萨队(诺娃系列)6。比萨:Edizioni della Normale;比萨:Scuola Normale Superiore(论文)(ISBN 978-88-7642-325-3/pbk)。xiv,107页。(2008). MSC公司:03-02 03C60型 03B25号 03C64号 12升05 12升12 PDF格式BibTeX公司 XML格式引用 \textit{T.Servi},关于实指数的一阶理论。比萨:《罗马法典》;比萨:Scuola Normale Superiore(论文)(2008;Zbl 1388.03003)
扎尔科·米贾伊洛维奇;米洛舍维奇;阿列克桑达尔·佩罗维奇 符号环中的理想成员。 (英语) Zbl 1142.13308号 出版物。Elektroeth公司。假的。,贝尔格莱德大学。,序列号。材料。 18, 64-67 (2007).MSC公司:13页第10页 16立方厘米 12升05 PDF格式BibTeX公司 XML格式引用 \textit{.Mijajlović}等人,出版物。Elektroeth公司。传真:。,贝尔格莱德大学。,序列号。材料18,64--67(2007;Zbl 1142.13308) 全文: 内政部
米哈伊·普鲁内斯库 具有双重递归的动态系统是不可判定的。 arXiv:0710.2090 预印本,arXiv:0710.2090[math.DS](2007)。MSC公司:12升05 BibTeX公司 引用 \textit{M.Prunescu},“具有双重递归的动态系统是不可判定的”,Preprint,arXiv:0710.2090[math.DS](2007) 全文: arXiv公司
Pheidas、Thanases;泽维尔·维多 关于有理函数的Büchi问题的类比。 (英语) Zbl 1109.03032号 J.隆德。数学。社会学,II。序列号。 74,第3期,545-565(2006); 勘误表82,第1号,273-278(2010)。 审核人:J.M.Plotkin(东兰辛) MSC公司:03C60型 03B25号 12升05 12升12 PDF格式BibTeX公司 XML格式引用 \textit{T.Pheidas}和\textit{X.Vidaux},J.Lond。数学。社会学,II。序列号。74,第3号,545--565(2006;Zbl 1109.03032) 全文: 内政部
杰伦·德梅耶;范·吉尔(Jan Van Geel) 全局域的存在可除性引理。 (英语) Zbl 1195.11163号 莫纳什。数学。 147,第4期,293-308(2006).MSC公司:2005年11月 03天35分 12升05 PDF格式BibTeX公司 XML格式引用 \textit{J.Demeyer}和\textit{J.Van Geel},莫纳什。数学。147,第4号,293--308(2006;Zbl 1195.11163) 全文: 内政部 链接
约夫·罗德;斯特里赫曼(Ofer Strichman) 构建小型等式图,以确定具有未解释函数的等式逻辑。 (英语) Zbl 1093.03013号 Inf.计算。 204,第1期,26-59(2006).MSC公司:03B70号 03B25号 12升05 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Rodeh}和\textit{O.Strichman},Inf.Comput。204,第1号,26-59(2006;Zbl 1093.03013) 全文: 内政部
劳伦特·莫雷·贝利 实域和自由域上代数函数域的椭圆曲线和Hilbert第十问题。 (英语) Zbl 1085.14029号 J.Reine Angew。数学。 587, 77-143 (2005). 审核人:Vasyl I.Andriychuk(利沃夫) MSC公司:2005年11月 03B25号 11G05号 11卢比 12升05 第14页第27页 PDF格式BibTeX公司 XML格式引用 \textit{L.Moret-Bailly},J.Reine Angew。数学。587,77--143(2005;Zbl 1085.14029) 全文: 内政部 arXiv公司
Pheidas、Thanases;泽维尔·维多 Büchi问题的推广:加法和(k)次幂的可判定性问题。 (英语) Zbl 1079.03005号 芬丹。数学。 185,第2期,171-194(2005). 审核人:J.M.Plotkin(东兰辛) MSC公司:03B25号 2005年10月12日 2005年11月 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{T.Pheidas}和\textit{X.Vidaux},Fundam。数学。185,第2号,171--194(2005;Zbl 1079.03005) 全文: 内政部
Pheidas、Thanases 多项式环中加法和整除的丢番图不可判定性。 (英语) Zbl 1058.03019号 芬丹。数学。 182,第3期,205-220(2004). 审核人:J.M.Plotkin(东兰辛) MSC公司:03B25号 12升05 2005年11月 PDF格式BibTeX公司 XML格式引用 \textit{T.菲达斯},芬丹。数学。182,第3号,205--220(2004;Zbl 1058.03019) 全文: 内政部
汉斯·肖滕斯 勒夫谢茨原则适用于象征性权力。 (英语) Zbl 1095.13031号 J.代数应用。 2,第2期,177-187(2003). 审核人:马吕斯·塔尔瑙西努(伊萨伊) MSC公司:13升05 12升05 PDF格式BibTeX公司 XML格式引用 \textit{H.Schoutens},J.代数应用。2,第2号,177--187(2003;Zbl 1095.13031) 全文: 内政部
Denef,简;汉斯·肖滕斯 关于\(\mathbb)存在论的可判定性{F} (p)[[t]]\)。 (英语) Zbl 1046.12006年 Kuhlmann,Franz-Vittor(编辑)等人,《估值理论及其应用》。第二卷。1999年7月28日至8月11日,加拿大萨斯卡通萨斯喀彻温大学国际会议和研讨会记录。普罗维登斯,RI:美国数学学会(AMS)(ISBN 0-8218-3206-9/hbk)。字段Inst.Commun。33, 43-60 (2003). 审核人:Thanases Pheidas(伊拉克利翁) MSC公司:12升05 03B25号 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{J.Denef}和\textit{H.Schoutens},菲尔兹学院通信。33、43-60(2003;Zbl 1046.12006)
佐伊·查齐达基斯;埃胡德·赫鲁肖夫斯基 微分场的渐近理论。 (英语) Zbl 1025.03025号 Ill.J.数学。 47,第3期,593-618(2003).MSC公司:03C60型 12小时99 2014年05月 14日第10天 03B25号 12升12 12升05 PDF格式BibTeX公司 XML格式引用 \textit{Z.Chatzidakis}和\textit{E.Hrushovski},伊利诺伊州数学杂志。47,第3号,593--618(2003;Zbl 1025.03025)
X·维多。 非阿基米德值域上亚纯函数域的Hilbert第10个问题的类似物。 (英语) Zbl 1028.03013号 J.数论 101,第1期,48-73(2003).MSC公司:03B25号 12升05 32磅05英寸 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{X.Vidaux},《数论杂志》101,第1期,48-73(2003年;Zbl 1028.03013) 全文: 内政部
勒洛普,G。 代数极大域扩张的性质。 (英语) Zbl 1020.03035号 收集。数学。 54,第1期,53-72(2003). 审核人:热拉尔·勒洛普(巴黎) MSC公司:03C64号 12J20型 12升05 03B25号 12升12 PDF格式BibTeX公司 XML格式引用 \textit{G.Leloup},收集。数学。54,第1号,53--72(2003;Zbl 1020.03035) 全文: 欧洲DML
于尔肖夫(Yu Ershov)。L。 多值字段。二、。 (俄语、英语) Zbl 1049.12008年 代数逻辑卡 41,第6期,682-712(2002); 代数逻辑翻译41,第6期,374-390(2002)。MSC公司:12升12 12J25型 03C60型 12升05 12升10 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov},《代数逻辑学》41,第6期,682--712(2002;Zbl 1049.12008);代数逻辑翻译41,第6期,374--390(2002)
卡里姆·扎希迪 希尔伯特关于有理函数环的第十个问题。 (英语) Zbl 1062.03019号 圣母院J.形式逻辑 43,第3期,181-192(2002). 审核人:Thanases Pheidas(伊拉克) MSC公司:03B25号 2005年11月 12升05 PDF格式BibTeX公司 XML格式引用 \textit{K.Zahidi},圣母院J.形式逻辑43,No.3,181--192(2002;Zbl 1062.03019) 全文: 内政部
埃胡德·赫鲁肖夫斯基 计算线性微分方程的Galois群。 (英语) Zbl 1099.12003年 克雷斯波、特蕾莎(编辑)等,微分伽罗瓦理论。研讨会记录,2001年5月28日至6月1日,波兰Bȩdlewo。华沙:波兰科学院数学研究所。巴纳赫美分。出版物。58, 97-138 (2002).MSC公司:2005年12月 03C60型 2005年10月12日 34A30型 PDF格式BibTeX公司 XML格式引用 \textit{E.Hrushovski},巴纳赫中心。出版物。58、97——138(2002年;Zbl 1099.12003年) 全文: 内政部
于尔肖夫。L。 不错的本地全球领域。四、。 (俄语、英语) Zbl 1075.03006号 同胞。材料Zh。 43,第3期,526-538(2002); Sib中的翻译。数学。J.43,第3期,418-427(2002)。 审核人:A.S.Morozov(新西伯利亚) MSC公司:03B25号 03元52分 12升05 12升12 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov},Sib。材料Zh。43,第3526-538号(2002年;Zbl 1075.03006);Sib中的翻译。数学。J.43,第3期,418--427(2002) 全文: 欧洲DML
玛丽·埃米·阿隆索;伦巴第,亨利 广义泰勒公式,实闭值域中的计算和量词消除。 (英语) Zbl 1050.14055号 Kuhlmann,Franz-Vittor(编辑)等人,《估值理论及其应用》。第一卷国际会议和研讨会记录,加拿大萨斯卡通萨斯喀彻温大学,1999年7月28日至8月11日。普罗维登斯,RI:美国数学学会(AMS)(ISBN 0-8218-2813-4/hbk)。字段Inst.Commun。32, 33-57 (2002). 审核人:塞族人A.Basarab(布库雷什蒂) MSC公司:第14页 12升05 第13页99 65楼03号 03立方厘米10 12月10日 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{M.-E.Alonso}和\textit{H.Lombardi},菲尔兹学院通信。32、33——57(2002年;Zbl 1050.14055) 全文: arXiv公司
亚历山德拉·施拉彭托克 特征为0的一些代数函数环的丢番图可定义性和可判定性。 (英语) Zbl 1011.03027号 J.塞姆。日志。 67,第2期,759-786(2002). 审核人:Thanases Pheidas(伊拉克/克里特岛) MSC公司:03C60型 2005年11月 12升05 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Shlapentokh},J.Symb。日志。67,第2号,759--786(2002;Zbl 1011.03027) 全文: 内政部
Alexandra Shlapentokh,亚历山德拉 特征大于2的函数域的丢番图不可判定性,在有限域上代数域上有限生成。 (英语) Zbl 1011.03026号 作曲。数学。 132,第1期,99-120(2002). 审核人:Thanases Pheidas(伊拉克/克里特岛) MSC公司:03C60型 2005年11月 03天35分 03B25号 12升05 14国道25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Shlapentokh},作曲。数学。132,编号1,99-120(2002;Zbl 1011.03026) 全文: 内政部
马克西姆·维塞米尔诺夫 多项式环的Woods-Erdös猜想。 (英语) Zbl 0999.12015号 Ann.纯粹应用。逻辑 113,编号1-3,331-344(2002). 审核人:G.佩斯托夫(托木斯克) MSC公司:12升05 12E05型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Vsemirnov},Ann.《纯粹的应用》。逻辑113,编号1--3,331--344(2002;Zbl 0999.12015) 全文: 内政部
尼古拉·科索夫斯基 有理数域无量词非负理论的计算复杂性。 (英语) Zbl 0988.03061号 Ann.纯粹应用。逻辑 113,编号1-3,175-180(2002).MSC公司:2015年3月1日 03B25号 12升05 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kossovski},Ann.纯粹应用。逻辑113,编号1--3,175-180(2002;Zbl 0988.03061) 全文: 内政部
于尔肖夫(Yu Ershov)。L。 可分离保守性。 (英语。俄文原件) Zbl 1047.12005年 同胞。高级数学。 11,第4期,第41-46页(2001年); 翻译自Mat.Tr.4,No.1,18-24(2001)。 审核人:K.N.Ponomarev(新西伯利亚) MSC公司:12J25型 12升05 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov},Mat.Tr.4,No.1,18-24(2001;Zbl 1047.12005);翻译自Mat.Tr.4,No.1,18--24(2001)
王继敏;李丽安;谢福鼎 判定微分拟代数变种的包含。 (英语) Zbl 1016.03009号 Shirayanagi,Kiyoshi(编辑)等人,《计算机数学》。第五届亚洲研讨会(ASCM 2001)会议记录,日本松山,2001年9月26日至28日。新加坡:世界科学。莱克特。注释序列。计算。9, 175-182 (2001).MSC公司:03B25号 12升05 03B35型 68瓦30 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{J.Wang}等人,Lect。注释序列。计算。9175--182(2001年;Zbl 1016.03009)
达尼埃,幸运 伪代数闭环。 (英语) Zbl 1018.12008年 马努斯克。数学。 105,第1期,13-46(2001). 审核人:兹比格尼乌·哈伊托(巴塞罗那) MSC公司:12升05 12升12 13升05 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{L.Darnière},马努斯克。数学。105,No.1,13--46(2001;Zbl 1018.12008) 全文: 内政部
帕斯卡·科伊兰;娜塔莎·波特 一般曲线的前后系统和极限理论的决策算法。 (英语) 兹伯利0985.03024 Ann.纯粹应用。逻辑 111,第3期,257-275(2001). 审核人:Oleg V.Belegradek(伊斯坦布尔) MSC公司:03C60型 12升05 PDF格式BibTeX公司 XML格式引用 \textit{P.Koiran}和\textit{N.Portier},Ann.Pure Appl。逻辑111,编号3,257-275(2001;Zbl 0985.03024) 全文: 内政部
于尔肖夫(Yu Ershov)。L。 关于有理数领域的惊人扩展。 (英语。俄文原件) Zbl 1053.12002年 多克。数学。 62,第1期,8-9(2000); Dokl翻译。阿卡德。恶心,罗斯。阿卡德。Nauk 373,第1期,第15-16页(2000年)。 审核人:德国佩斯托夫(托木斯克) MSC公司:12层20 12英尺12英寸 12升05 12升12 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov},Dokl。数学。62,编号1,15-16(2000年;Zbl 1053.12002);Dokl翻译。阿卡德。恶心,罗斯。阿卡德。Nauk 373,No.1,15--16(2000)
Pheidas、Thanases 试图证明(mathbb Q)的存在论是不可判定的。 (英语) Zbl 0981.03014号 Denef,Jan(编辑)等人,希尔伯特的第十个问题:与算术和代数几何的关系。研讨会记录,比利时根特大学,1999年11月2日至5日。普罗维登斯,RI:美国数学学会(AMS)。康斯坦普。数学。270, 237-252 (2000). 审核人:S.R.Kogalovskij(伊万诺沃) MSC公司:03B25号 12升05 2005年11月 PDF格式BibTeX公司 XML格式引用 \textit{T.菲达斯},康特姆。数学。270237-252(2000年;兹bl 0981.03014)
Pheidas、Thanases;卡里姆·扎希迪 环和场存在理论的不确定性:一项调查。 (英语) Zbl 0981.03013号 Denef,Jan(编辑)等人,希尔伯特的第十个问题:与算术和代数几何的关系。研讨会记录,比利时根特大学,1999年11月2日至5日。普罗维登斯,RI:美国数学学会(AMS)。康斯坦普。数学。270,49-105(2000)中所述。 审核人:S.R.Kogalovskij(伊万诺沃) MSC公司:03B25号 2005年11月 12升05 30E99型 32A99型 PDF格式BibTeX公司 XML格式引用 \textit{T.Pheidas}和\textit{K.Zahidi},康特姆。数学。270、49-105(2000;Zbl 0981.03013)
卡里姆·扎希迪 实超椭圆函数域的存在性理论。 (英语) Zbl 0985.11062号 J.代数 233,编号1,65-86(2000). 审核人:迪米特鲁·布斯内格(克雷奥瓦) MSC公司:2005年11月 11卢比 12升05 PDF格式BibTeX公司 XML格式引用 \textit{K.Zahidi},J.代数233,第1期,65-86(2000;Zbl 0985.11062)
亚历山德拉·施拉彭托克 正特征常数无穷域上代数函数场的希尔伯特第十问题。 (英语) Zbl 1010.12008号 派克靴。数学杂志。 193,第2期,463-500(2000).MSC公司:12升05 2005年11月 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{A.Shlapentokh},太平洋沿岸。数学杂志。193,第2号,463--500(2000;Zbl 1010.12008) 全文: 内政部
卡洛斯·维德拉。 分圆塔的不可判定性。 (英语) Zbl 0957.03013号 程序。美国数学。Soc公司。 128,第12期,3671-3674(2000). 审核人:Thanases Pheidas(伊拉克利翁) MSC公司:03B25号 12升05 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{C.R.Videla},程序。美国数学。Soc.128,No.12,3671--3674(2000;Zbl 0957.03013) 全文: 内政部
亚哈龙·拉宗 无(e)PAC域的基本理论。 (英语) 兹伯利0980.003009 Ann.纯粹应用。逻辑 103,编号1-3,55-95(2000). 审核人:T.Pheidas(伊拉克利翁) MSC公司:03B25号 03C60型 12升12 12升05 12升10 PDF格式BibTeX公司 XML格式引用 \textit{A.Razon},Ann.纯应用程序。逻辑103,编号1--3,55-95(2000;Zbl 0980.03009) 全文: 内政部
卡里姆·扎希迪 关于多项式环上的丢番图集。 (英语) Zbl 0940.03053号 程序。美国数学。Soc公司。 128,第3期,877-884(2000). 审核人:T.Pheidas(伊拉克利翁) MSC公司:03D25号 2005年11月 12升05 PDF格式BibTeX公司 XML格式引用 \textit{K.Zahidi},程序。美国数学。Soc.128,No.3,877--884(2000;Zbl 0940.03053) 全文: 内政部
奇斯托夫,A.L。 实数域存在性理论的基本判定算法的强版本。 (英语。俄文原件) Zbl 0980.14034号 数学杂志。科学。,纽约 107,第5期,4265-4295(2001); Zap的翻译。诺什。塞明。POMI公司。256, 168-211 (1999).MSC公司:2015年第14季度 14第05页 2014年第20季度 12D99型 12升05 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.L.Chistov},J.数学。科学。,纽约107,No.5,4265--4295(1999;Zbl 0980.14034);Zap的翻译。诺什。塞明。POMI公司。256, 168--211 (1999) 全文: 内政部
于尔肖夫(Yu Ershov)。L。 在常规Prüfer环附近。 (英语) Zbl 0937.12005号 同胞。高级数学。 9,第1期,1-45页(1999年). 审核人:A.S.Morozov(新西伯利亚) MSC公司:12升05 03B25号 12升12 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov},Sib。高级数学。9,第1号,1--45(1999;Zbl 0937.12005)
于尔肖夫(Yu Ershov)。L。 近正则Prüfer环。 (俄语) Zbl 0940.12003号 材料事务处理。 2,第1期,72-120(1999). 审核人:A.N.里亚斯金(新西伯利亚) MSC公司:12月10日 03B25号 03C60型 12月12日 12升05 12升12 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov},Mat.Tr.2,编号1,72-120(1999;兹bl 0940.12003)
阿德里亚娜·波波维奇;丹·波波维奇 \(delta)-一致可判定集和图灵机。 (英语) Zbl 0941.03047号 乔巴努、加布里埃尔(编辑)等,《计算理论基础》。第12届国际研讨会,FCT’99。1999年8月30日至9月3日,罗马尼亚伊阿什伊。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1684, 433-440 (1999).MSC公司:03D65年 12升05 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{A.Popovici}和\textit{D.Popovichi},莱克特。注释计算。科学。1684433-440(1999;Zbl 0941.03047)
董世平 积分域上的句子及其计算复杂性。 (英语) Zbl 0940.03015号 Inf.计算。 149,第2期,99-133(1999).MSC公司:03B25号 12升05 12升12 2015年3月1日 65年第68季度 12E25型 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Tung},Inf.计算。149,编号2,99--133(1999;Zbl 0940.03015) 全文: 内政部
Kramer,V.Yu。 \布尔代数的(m)-等价性。 (俄语) Zbl 0932.03041号 维奇斯。修女。 161, 76-105 (1998). 审核人:A.S.莫罗佐夫(新西伯利亚) MSC公司:03C60型 03B25号 12升05 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{V.Yu.Kramer},维奇尔。修女。161、76-105(1998年;Zbl 0932.03041)
亚历山德拉·施拉彭托克 以无限素数为极点的代数函数域的全纯环上的丢番图可定义性。 (英语) Zbl 0920.11080号 国际数学杂志。 9,第8期,1041-1066(1998). 审核人:D.Busneag(克雷奥瓦) MSC公司:2005年11月 12升05 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{A.Shlapentokh},国际数学杂志。9,第8号,1041--1066(1998;Zbl 0920.11080) 全文: 内政部
弗朗索瓦斯·德隆;帕特里克·西蒙内塔 无法确定的花环产品和歪斜功率系列领域。 (英语) Zbl 0913.03016号 J.塞姆。日志。 63,第1期,237-246(1998年). 审核人:T.Pheidas(伊拉克利翁) MSC公司:03B25号 12升05 03C60型 12E15型 PDF格式BibTeX公司 XML格式引用 \textit{F.Delon}和\textit{P.Simonetta},J.Symb。日志。63,编号1,237--246(1998;Zbl 0913.03016) 全文: 内政部
詹姆斯·雷内加 现实决策问题复杂性的最新进展。 (英语) Zbl 0900.03059号 Caviness,Bob F.(编辑)等人,量词消除和柱面代数分解。研讨会记录,奥地利林茨,1993年10月6日至8日。维恩:施普林格。符号计算中的文本和专著。220-241 (1998).MSC公司:2015年3月1日 03B25号 12升05 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Renegar},in:量词消除和柱面代数分解。研讨会记录,奥地利林茨,1993年10月6-8日。维恩:施普林格。220-241(1998年;兹bl 0900.03059)
阿尔弗雷德·塔斯基 初等代数和几何的一种判定方法。 (英语) Zbl 0900.03045号 Caviness,Bob F.(编辑)等人,量词消除和柱面代数分解。研讨会记录,奥地利林茨,1993年10月6日至8日。维恩:施普林格。符号计算中的文本和专著。24-84 (1998).MSC公司:03C10号机组 12升05 01A75号 PDF格式BibTeX公司 XML格式引用 \textit{A.Tarski},in:量词消除和柱面代数分解。研讨会记录,奥地利林茨,1993年10月6-8日。维恩:施普林格。24-84(1998年;Zbl 0900.03045)
沃尔克·魏斯芬宁 普雷斯伯格算法中消除的复杂性和一致性。 (英语) Zbl 0915.03032号 Küchlin,Wolfgang W.(编辑),1997年符号和代数计算国际研讨会论文集,ISSAC’97,Maui,HI,USA,1997年7月21日至23日。纽约州纽约市:ACM出版社。48-53 (1997).MSC公司:03C10号机组 2015年3月1日 03英尺30英寸 03B25号 65年第68季度 12升05 PDF格式BibTeX公司 XML格式引用 \textit{V.Weispfenning},in:1997年符号和代数计算国际研讨会论文集,ISSAC’97,Maui,HI,USA,1997年7月21-23日。纽约州纽约市:ACM出版社。48-53(1997;Zbl 0915.03032)
佐伊·查齐达基斯 有限域和伪有限域的模型理论。 (英语) Zbl 0924.12006号 Ann.纯粹应用。逻辑 88,编号2-3,95-108(1997). 审核人:A.Prestel(康斯坦兹) MSC公司:12升12 03C60型 12升05 12月20日 11单元09 PDF格式BibTeX公司 XML格式引用 \textit{Z.Chatzidakis},Ann.纯苹果。逻辑88,编号2--3,95-108(1997;Zbl 0924.12006) 全文: 内政部
弗朗索瓦斯·德隆 \配备Penzin弱算法的(mathbb{Q})是可判定的。((\mathbb{Q}\)muni de l’arithmétique faible de Penzin est decidable) (法语) Zbl 0880.03019号 程序。美国数学。Soc公司。 125,第9期,2711-2717(1997).MSC公司:03C60型 12升05 PDF格式BibTeX公司 XML格式引用 \textit{F.Delon},程序。美国数学。Soc.125,No.9,2711--2717(1997;Zbl 0880.03019) 全文: 内政部