帕斯卡尔·乔尔吉;布鲁诺·格蕾特;佩雷特·杜·克雷(Perret du Cray,Armelle) 多项式模块化产品验证及其含义。 (英语) Zbl 07621047号 J.塞姆。计算。 116, 98-129 (2023).MSC公司:68瓦xx 68季度xx 12年xx月 PDF格式BibTeX公司 XML格式引用 \textit{P.Giorgi}等人,J.Symb。计算。116、98--129(2023;Zbl 07621047) 全文: 内政部 arXiv公司
托马斯·布朗宁;帕特里克·卢茨 形式化伽罗瓦理论。 (英语) Zbl 1522.68719号 实验数学。 31,第2期,413-424(2022).MSC公司:68版本20 10楼12号 PDF格式BibTeX公司 XML格式引用 \textit{T.Browning}和\textit{P.Lutz},实验数学。31,第2号,413--424(2022;Zbl 1522.68719) 全文: 内政部 arXiv公司
上野,赖;霍玛,瑙富米;杉原由纪弘;高府青木 验证高次Galois域算术电路的形式化方法。 (英语) Zbl 1364.94795号 IEEE传输。计算。 66,第3期,431-442(2017).MSC公司:94C05(二氧化碳) 2005年12月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ueno}等人,IEEE Trans。计算。66,第3号,431--442(2017;Zbl 1364.94795) 全文: 内政部
阿达尔伯特Kovács;劳拉·科瓦奇 决定仿射环的性质。 (英语) Zbl 1212.05264号 GévruţŤ跼鈂,Pašcu(ed.)等人,《第十二届数学及其应用研讨会论文集》,蒂米什瓦拉“政治”大学,蒂米什瓦拉,罗马尼亚,2009年11月5日至7日。蒂米什·欧拉:《政治编辑》。401-406 (2010). 审核人:Mihai Cipu(布库雷斯蒂) MSC公司:099年5月 2005年12月 1999年第14季度 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kovács}和\textit{L.Ková),摘自:第十二届数学及其应用研讨会论文集,“政治学”,蒂米什奥拉大学,罗马尼亚蒂米什欧拉,2009年11月5-7日。蒂米什·欧拉:《政治编辑》。401--406(2010;Zbl 1212.05264)
阿达尔伯特·科瓦茨;劳拉·科瓦茨 利用边界元法从轮廓网格理论求解四个基本问题。 (英语) Zbl 1212.05265号 GévruţŤ跼鈂,Pašcu(ed.)等人,《第十二届数学及其应用研讨会论文集》,蒂米什瓦拉“政治”大学,蒂米什瓦拉,罗马尼亚,2009年11月5日至7日。蒂米什·欧拉:《政治编辑》。393-400 (2010). 审核人:亚历克斯·纳贝宾(莫斯科) MSC公司:099年5月 2005年12月 1999年第14季度 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kovacs}和\textit{L.Kovacsneneneep,摘自:《第十二届数学及其应用研讨会论文集》,“政治学”,蒂米什奥拉大学,罗马尼亚,蒂米什奥拉,2009年11月5-7日。蒂米什·欧拉:《政治编辑》。393-400(2010年;兹比尔1212.05265)
朱塞佩·比洛塔 仿射算法的自验证扩展到任意阶。 (英语) 兹比尔1179.65049 Matematiche公司 63,第1期,15-30页(2008年).MSC公司:65G30型 65G20个 15A63型 15A06号 2005年12月 65年20月 PDF格式BibTeX公司 XML格式引用 \textit{G.Bilotta},Matematiche 63,第1期,15--30(2008;Zbl 1179.65049) 全文: 链接
约夫·罗德;斯特里赫曼(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) 全文: 内政部
Traczinski,丹妮拉;沃尔夫拉姆·路德;Haßlinger,格哈德 具有半马尔可夫工作负载的服务器的多项式分解:验证解决方案技术的性能和数值方面。 (英语) Zbl 1075.65068号 斯托克。模型 21,编号2-3,643-668(2005). 审核人:斯韦托斯拉夫·马尔科夫(索非亚) MSC公司:65G30型 65G20个 65小时05 60 K15 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{D.Traczinski}等人,斯托克。型号21,编号2--3,643--668(2005;Zbl 1075.65068) 全文: 内政部
佩特科维奇,M.S。;米洛舍维奇,D。 同时包含多项式零点的无导数组合方法。 (英语) Zbl 1080.65040号 菲洛马 17, 155-168 (2003). 审核人:Ljiljana Petković(尼什) MSC公司:65小时05 65G30型 30立方厘米 65G20个 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Petković}和\textit{D.Milošević},Filomat 17,155--168(2003;Zbl 1080.65040) 全文: 内政部
Andrew J.Sommese。;维舍尔德,简;查尔斯·沃姆勒(Charles W.Wampler)。 数值不可约分解。 (英语) Zbl 1027.65066号 Joswig,Michael(编辑)等人,《代数、几何和软件系统》。柏林:斯普林格。109-129(2003年)。 审核人:科琳娜·莫霍里亚努(伊阿什伊) MSC公司:65H10型 65日元 2005年12月 13第05页 2015年第14季度 68号30 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Sommese}等人,in:代数、几何和软件系统。柏林:斯普林格。109-129(2003;Zbl 1027.65066)
杰琳娜·奈迪奇 关于带Weierstrass修正的Börsch-Supan方法的收敛性。 (英语) Zbl 1011.65022号 诺维·萨德J.数学。 31,第1期,第103-111页(2001年). 审核人:米奥德拉·佩特科维奇(尼什) MSC公司:65小时05 2005年12月 65G20个 26立方厘米 30立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Nedić},Novi Sad J.Math。31,No.1,103--111(2001;Zbl 1011.65022) 全文: 欧洲DML
拉兹洛·齐尔马兹 有限域上的程序正确性。 (英语) Zbl 0860.68068号 期间。数学。挂。 33,第1期,23-33(1996年).MSC公司:60年第68季度 12E20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Csirmaz},句点。数学。挂。33,编号1,23--33(1996;Zbl 0860.68068) 全文: 内政部
曼纽尔·布卢姆;布鲁诺·科德诺蒂;彼得·杰梅尔;特洛伊沙胡米安 有限超越度函数场的自校正。 (英语) Zbl 1412.68303号 Fülöp,Zoltán(编辑)等人,《自动化、语言和编程》。1995年7月10日至14日,匈牙利塞格德,第22届国际学术讨论会,ICALP’95。诉讼程序。柏林:Springer-Verlag。勒克特。注释计算。科学。944, 547-557 (1995).MSC公司:68瓦30 2005年12月 12H20型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Blum}等人,Lect。注释计算。科学。944547-557(1995年;Zbl 1412.68303) 全文: 内政部
约翰·克罗斯利。;约翰·谢泼德森(John C.Shepherdson)。 通过扩展Curry-Howard过程从证明中提取程序。 (英语) Zbl 0821.03017号 Crossley,John N.(编辑)等人,《逻辑方法》。为了纪念阿尼尔·内罗德60岁生日。巴塞尔:Birkhä用户。掠夺。计算。科学。申请。日志。1222-288页(1993年)。 审核人:N.Curteanu(伊阿什) MSC公司:03B70号 68瓦30 03B35型 60年第68季度 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Crossley}和textit{J.C.Shepherdson},程序。计算。科学。申请。日志。12、222--288(1993;Zbl 0821.03017)
H·J·斯特特。 计算机代数系统中的验证。 (英语) Zbl 0802.68070号 Albrecht,R.(编辑)等人,《验证数值:理论和应用》。在乌尔里希·库利什60岁生日之际献给他。维恩:斯普林格·弗拉格。计算。补充9247-263(1993)。MSC公司:68瓦30 2005年12月 65H10型 65岁99岁 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Stetter},计算。补遗9247--263(1993;Zbl 0802.68070)
Kjurkchiev,N.V.公司。;安德列夫,A.S。 欧利希代数方程求解方法的双面高斯-赛德尔推广。 (英语) Zbl 0839.65063号 Atanassova,Lidiya(编辑)等人,《计算机算法和封闭方法》。第三届国际IMACS-GAMM计算机算术与科学计算研讨会(SCAN-91)会议记录,德国奥尔登堡,1991年10月1日至4日。阿姆斯特丹:荷兰北部。463-468 (1992).MSC公司:65小时05 65G30型 2005年12月 26立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Kjurkchiev}和\textit{A.S.Andreev},in:计算机算法和封闭方法。第三届国际IMACS-GAMM计算机算术与科学计算研讨会(SCAN-91)会议记录,德国奥尔登堡,1991年10月1日至4日。阿姆斯特丹:荷兰北部。463——468(1992年;Zbl 0839.65063)
罗尼特·鲁宾菲尔德;苏丹,马杜 有理域上多项式函数的自测试。 (英语) Zbl 0834.68076号 Frederickson,Greg(编辑),第三届ACM-SIAM离散算法年度研讨会论文集,1992年1月27日至29日在美国佛罗里达州奥兰多市举行。宾夕法尼亚州费城:SIAM。23-32 (1992).MSC公司:60年第68季度 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{R.Rubinfeld}和\textit{M.Sudan},in:1992年1月27日至29日在美国佛罗里达州奥兰多市举行的第三届ACM-SIAM离散算法年度研讨会论文集,SODA’92;费城,宾夕法尼亚州:SIAM;纽约州纽约市:ACM。23-32(1992年;兹bl 0834.68076)
北卡罗来纳州迪米特洛娃。;马尔科夫,S.M。 同时计算所有多项式零点的区间算法。 (英语) Zbl 0784.65042号 Christian Ullrich(编辑),《计算机算术和自验证数值方法的贡献》。1989年10月2日至6日在瑞士巴塞尔大学举行的第一届国际会议的论文。巴塞尔:J.C.Baltzer AG,IMACS Ann.Comput。申请。数学。7, 183-195 (1990).MSC公司:65小时05 65G30型 26立方厘米 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{N.Dimitrova}和\textit{S.M.Markov},IMACS Ann.Compute。申请。数学。7、183--195(1990年;Zbl 0784.65042)
林卓杰 脉动阵列上的多项式乘法。 (英语) Zbl 0749.65015号 国际期刊计算。数学。 31,编号1-2,43-54(1989).MSC公司:65D20个 2005年12月 68立方厘米 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{C.-j.Lin},国际计算机杂志。数学。31,编号1--2,43-54(1989;Zbl 0749.65015) 全文: 内政部
勒沃夫,M.S。 在有序域上解释的程序中的不变不等式。 (英语。俄文原件) Zbl 0637.68020号 控制论 22, 560-568 (1986); 译自Kibernetika,1986年,第5期,22-27页(1986年)。 审核人:G.乔巴努 MSC公司:60年第68季度 12月15日 13层20 第12天15 PDF格式BibTeX公司 XML格式引用 \textit{M.S.L'vov},控制论22,560--568(1986;Zbl 0637.68020);译自Kibernetika 1986年,第5期,第22-27期(1986年) 全文: 内政部
大卫·本森。;艾琳·盖萨里安 迭代和递归矩阵理论。 (英语) Zbl 0527.18004号 J.代数 86, 302-314 (1984).MSC公司:18立方厘米 68号01 12E12号机组 第13页第25页 15A99号 2016年60月 18B20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.B.Benson}和\textit{I.Guessarian},J.代数86,302-314(1984;Zbl 0527.18004) 全文: 内政部
巴维尔·乌尔兹琴 某些代数的展开性质。 (英语) Zbl 0491.03018号 Inf.控制 50, 91-109 (1981).MSC公司:03天80 60年第68季度 03天60 68号01 第12天99 08A99号 08B99年 PDF格式BibTeX公司 XML格式引用 \textit{P.Urzyczyn},信息控制50,91--109(1981;Zbl 0491.03018) 全文: 内政部
H.D.诺布尔。;C.jun Forney。;巴德,F.S。 一种高效的单向加密算法。 (英语) Zbl 0398.68020号 ACM事务处理。数学。柔和。 5, 97-107 (1979).MSC公司:65年第68季度 11答25 11A41号机组 11-04 第68页第25页 12-04 2006年11月 11T55型 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{H.D.Knoble}等人,ACM Trans。数学。柔和。5、97——107(1979年;Zbl 0398.68020) 全文: 内政部