克莱门斯·休伯格;丹尼尔·克伦;加布里埃尔·F·利普尼克。 关于可识别序列和正则序列之间的关系及其最小线性表示的注记。 (英语) Zbl 07799842号 J.塞姆。计算。 123,文章ID 102295,9 p.(2024). 审核人:米歇尔·里戈(列日) MSC公司:11A63型 65年第68季度 68卢比 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{C.Heuberger}等人,J.Symb。计算。123,文章ID 102295,9 p.(2024;Zbl 07799842) 全文: 内政部 arXiv公司
穆古雷尔·巴库;维琴·帕索尔 有限交换环中本原幂等元的计算及其应用。 (英语) Zbl 07799841号 J.塞姆。计算。 123,文章ID 102294,第28页(2024).MSC公司:94A60 81页94 04年第68季度 81页68 11T71型 2016年11月 PDF格式BibTeX公司 XML格式引用 \textit{M.Barcau}和\textit{V.Pašol},J.Symb。计算。123,文章ID 102294,28 p.(2024;Zbl 07799841) 全文: 内政部
黄、乔龙;Ye,Ke是;高小山 斜多项式稀疏矩阵乘法。 (英语) Zbl 07740056号 J.塞姆。计算。 121,文章ID 102240,22 p.(2024).MSC公司:65传真 68季度xx 68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{Q.-L.Huang}等人,J.Symb。计算。121,文章ID 102240,22 p.(2024;Zbl 07740056) 全文: 内政部 arXiv公司
米科拉什·亚诺塔;安托尼奥·莫尔加多;沃伊特·乔夫斯克,皮特 计算有限代数中最小规模的生成集。 (英语) Zbl 1520.20128号 J.塞姆。计算。 119, 50-63 (2023). 审核人:Yuval Filmus(海法) MSC公司:20号05 65年第68季度 20-08 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Janota}等人,J.Symb。计算。119,50-63(2023年;兹比尔1520.20128) 全文: 内政部
帕斯卡·乔治;布鲁诺·格蕾特;佩雷特·杜·克雷(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公司
阿林·博斯坦;谢尔盖·尤尔基维奇 完整序列第N项的快速计算及其应用。 (英语) Zbl 07589742号 J.塞姆。计算。 115, 96-123 (2023).MSC公司:68瓦xx 05轴 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Bostan}和\textit{S.Yurkevich},J.Symb。计算。115、96-123(2023;Zbl 07589742) 全文: 内政部
纪尧姆·梅尔金德;拉斐尔·里乌·赫尔夫特 WhyMP,一个正式验证的任意决策整数库。 (英语) Zbl 07589741号 J.塞姆。计算。 115, 74-95 (2023).MSC公司:68新元 68泰克 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{G.Melquiond}和\textit{R.Rieu-Helft},J.Symb。计算。115、74-95(2023年;Zbl 07589741) 全文: 内政部
安德烈亚斯·罗斯基 快速交换矩阵算法。 (英语) Zbl 07558523号 J.塞姆。计算。 114, 302-321 (2023).MSC公司:68季度xx 15-XX年 PDF格式BibTeX公司 XML格式引用 \textit{A.Rosowski},J.Symb。计算。114302-321(2023年;兹bl 07558523) 全文: 内政部 arXiv公司
Chang,Mun See先生;克里斯托弗·杰斐逊 置换群的不交直积分解。 (英语) Zbl 07379067号 J.塞姆。计算。 108, 1-16 (2022).MSC公司:20-XX年 20亿xx 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.S.Chang}和\textit{C.Jefferson},J.Symb。计算。108,1-16(2022;兹bl 07379067) 全文: 内政部 arXiv公司
大卫·卢卡斯;文森特·奈格尔;佩内特,克莱门特;丹尼尔·罗什(Daniel S.Roche)。;约翰·罗森基尔德 多项式矩阵运算的亚线性通信验证协议。 (英语) Zbl 1474.68465号 J.塞姆。计算。 105, 165-198 (2021).MSC公司:68瓦30 15B33型 2011年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Lucas}等人,J.Symb。计算。105、165--198(2021年;Zbl 1474.68465) 全文: 内政部 arXiv公司
埃米利斯,伊奥安尼斯;伯纳德·穆兰;伊莱亚斯·齐加里达斯 多项式系统的分离界。 (英语) Zbl 1446.68202号 J.塞姆。计算。 101, 128-151 (2020).MSC公司:68瓦30 第12天第10天 第13页,共15页 65小时04 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Emiris}等人,J.Symb。计算。101128-151(2020年;Zbl 1446.68202) 全文: 内政部 哈尔
罗伯托·斯卡拉;德米特里·皮奥特科夫斯基;Tiwari,Sharwan K。 非交换代数、上下文无关文法和代数希尔伯特级数。 (英语) Zbl 1455.16007号 J.塞姆。计算。 101, 28-50 (2020).MSC公司:2016年5月 2015年1月5日 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.La Scala}等人,J.Symb。计算。101、28--50(2020;Zbl 1455.16007) 全文: 内政部 arXiv公司
马丁·布隆伯格;托马斯·斯特姆;克里斯托夫·韦登巴赫 线性整数求解的完全终止方法。 (英语) Zbl 1432.68597号 J.塞姆。计算。 100, 102-136 (2020).MSC公司:68瓦30 60年第68季度 68兰特 68伏15 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Bromberger}等人,J.Symb。计算。100102-136(2020年;Zbl 1432.68597) 全文: 内政部 哈尔
英格兰,马修;拉塞尔·布拉德福德;詹姆斯·H·达文波特。 带等式约束的柱面代数分解。 (英语) Zbl 1432.68599号 J.塞姆。计算。 100, 38-71 (2020).MSC公司:68瓦30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.英格兰}等人,J.塞姆。计算。100,38--71(2020;Zbl 1432.68599) 全文: 内政部 arXiv公司
曼弗雷德·施密特·沙乌;大卫·萨贝尔;尤努斯·库茨。 原子变量的名义统一。 (英语) Zbl 1395.68096号 J.塞姆。计算。 90, 42-64 (2019).MSC公司:68号30 2017年第68季度 65年第68季度 2012年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人,J.Symb。计算。90、42-64(2019年;Zbl 1395.68096) 全文: 内政部
大卫·哈维;乔里斯·范德霍温 关于整数矩阵乘法的复杂性。 (英语) Zbl 1395.68152号 J.塞姆。计算。 89, 1-8 (2018).MSC公司:65年第68季度 65楼30 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Harvey}和\textit{J.van der Hoeven},J.Symb。计算。89、1-8(2018年;Zbl 1395.68152) 全文: 内政部 哈尔
理查德·古斯塔夫森;亚历克谢·奥夫钦尼科夫;格勒布·波古丁 微分消除算法中的新阶界。 (英语) Zbl 1379.68366号 J.塞姆。计算。 85, 128-147 (2018).MSC公司:68瓦30 12H20型 13页第10页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Gustavson}等人,J.Symb。计算。85、128——147(2018年;Zbl 1379.68366) 全文: 内政部 arXiv公司
安德烈·尼古拉耶夫;亚历山大·乌沙科夫 多环群中的子集和问题。 (英语) Zbl 1375.20040号 J.塞姆。计算。 84, 84-94 (2018).MSC公司:2010年1月20日 2018年1月20日 2016年1月20日 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Nikolaev}和\textit{A.Ushakov},J.Symb。计算。84,84-94(2018年;兹比尔1375.20040) 全文: 内政部 arXiv公司
西里尔·切纳维尔 简化运算符和重写系统的完成。 (英语) 兹比尔1371.68136 J.塞姆。计算。 84,57-83(2018).MSC公司:2012年第68季度 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{C.Chenavier},J.Symb。计算。84、57-83(2018年;Zbl 1371.68136) 全文: 内政部 arXiv公司
沃尔克·迪克特;阿列克谢·G·米亚斯尼科夫。;阿敏·韦 Schreier图的可修性和共轭问题的强泛型算法。 (英语) Zbl 1371.20037号 J.塞姆。计算。 83, 147-165 (2017).MSC公司:2010年1月20日 20E06年 05C25号 65楼20层 05C81号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}等人,J.Symb。计算。83、147--165(2017年;Zbl 1371.20037) 全文: 内政部 arXiv公司
多雷尔·卢卡努;弗拉德·鲁苏;安德烈·阿鲁索艾 符号执行的通用框架:一种共生产方法。 (英语) Zbl 1356.68044号 J.塞姆。计算。 80,第1部分,125-163(2017).MSC公司:68号30 68问题55 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Lucanu}等人,J.Symb。计算。80,第1部分,125--163(2017;Zbl 1356.68044) 全文: 内政部 哈尔
戴丽云;甘婷;夏碧灿;詹乃军 重新审查屏障证书。 (英语) 兹比尔1357.68110 J.塞姆。计算。 80,第1部分,62-86(2017).MSC公司:60年第68季度 68瓦30 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{L.Dai}等人,J.Symb。计算。80,第1部分,62--86(2017;Zbl 1357.68110) 全文: 内政部 arXiv公司
特里斯坦Vaccon 有限精度完全离散赋值域上的Matrix-F5算法。 (英语) Zbl 1362.13030号 J.塞姆。计算。 80,第2部分,329-350(2017). 审核人:米哈伊·西普(Bucureşti) MSC公司:13页第10页 13楼30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Vaccon},J.Symb。计算。80,第2部分,329--350(2017;Zbl 1362.13030) 全文: 内政部 arXiv公司
麦吉德·艾利利;托马斯·卡钦斯基;克劳迪娅·兰迪 多维持久同源理论中的还原络合物。 (英语) Zbl 1382.55005号 J.塞姆。计算。 78, 61-75 (2017).MSC公司:55纳米35 55平方英寸15 2010年第57季度 65年第68季度 68单位05 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{M.Allili}等人,J.Symb。计算。78、61-75(2017年;Zbl 1382.55005) 全文: 内政部 arXiv公司
迈克尔·A·伯尔。 持续摊销和扩展:应用于基于对分的根隔离。 (英语) Zbl 1358.68328号 J.塞姆。计算。 77,78-126(2016).MSC公司:68瓦30 2014年第20季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Burr},J.Symb。计算。77、78——126(2016年;Zbl 1358.68328) 全文: 内政部
川野康仁;广岛Sekigawa 对称群上的量子傅里叶变换-改进的结果。 (英语) Zbl 1332.81032号 J.塞姆。计算。 75, 219-243 (2016).MSC公司:81页68 65T50型 20B30码 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kawano}和\textit{H.Sekigawa},J.Symb。计算。75、219--243(2016;Zbl 1332.81032) 全文: 内政部
埃里克·卡尔托芬。;杨正峰 稀疏多元函数恢复,只需少量评估。 (英语) Zbl 1338.94017号 J.塞姆。计算。 75, 209-218 (2016).MSC公司:94甲12 41A05型 41A63型 65日第15天 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Kaltofen}和\textit{Z.Yang},J.Symb。计算。75、209--218(2016年;Zbl 1338.94017) 全文: 内政部
布鲁诺·格蕾特 缺元多元多项式的有界因子。 (英语) 兹比尔1338.11042 J.塞姆。计算。 75, 171-192 (2016).MSC公司:2016年11月 11二氧化碳 65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \发短信{B.Grenet},J.Symb。计算。75171-192(2016年;兹bl 1338.11042) 全文: 内政部 arXiv公司
沃尔克·迪克特;乔纳森·考什 图形产品中的日志空间计算。 (英语) Zbl 1335.68103号 J.塞姆。计算。 75, 94-109 (2016).MSC公司:65年第68季度 05元50分 05C76号 2010年1月20日 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}和\textit{J.Kausch},J.Symb。计算。75、94-109(2016年;Zbl 1335.68103) 全文: 内政部
保罗·哥拉赫;科尔迪安·里纳;Tillmann Weißr 判定多对称多项式的正性。 (英语) Zbl 1347.05244号 J.塞姆。计算。 74, 603-616 (2016). 审核人:亚历山大·科瓦切克(科英布拉) MSC公司:05年5月5日 第13页99 第14页99 2014年第20季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Görlach}等人,J.Symb。计算。74、603--616(2016;Zbl 1347.05244) 全文: 内政部 arXiv公司
马古利斯,S。;J.莫顿。 通过代数模型和Pfaffian电路的多项式时间可解CSP问题。 (英语) Zbl 1346.68295号 J.塞姆。计算。 74, 152-180 (2016).MSC公司:68瓦30 13页第10页 65年第68季度 68卢比 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Margulies}和\textit{J.Morton},J.Symb。计算。74152-180(2016年;Zbl 1346.68295) 全文: 内政部 arXiv公司
伊丽莎维塔·弗兰克尔;安德烈·尼古拉耶夫;亚历山大·乌沙科夫 群体产品中的背包问题。 (英语) Zbl 1401.20031号 J.塞姆。计算。 7496-108(2016).MSC公司:2010年1月20日 65年第68季度 2015年3月1日 20E06年 20F05型 65楼20层 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Frenkel}等人,J.Symb。计算。74,96-108(2016年;兹比尔1401.20031) 全文: 内政部 arXiv公司
高弘久保田;川谷义彦;加藤,走;川野康仁;樱田秀树 量子密码协议安全证明的半自动验证。 (英语) Zbl 1336.68164号 J.塞姆。计算。 73, 192-220 (2016).MSC公司:60年第68季度 68问题85 第68页第15页 81页94 PDF格式BibTeX公司 XML格式引用 \textit{T.Kubota}等人,J.Symb。计算。73192-220(2016年;Zbl 1336.68164) 全文: 内政部
埃米利斯,Ioannis Z。;Fisikopoulos,维萨里昂;伯恩德·加特纳 由预言定义的多边形的有效边骨架计算。 (英语) Zbl 1336.68262号 J.塞姆。计算。 73, 139-152 (2016).MSC公司:68单位05 52B55号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Z.Emiris}等人,J.Symb。计算。73、139--152(2016年;Zbl 1336.68262) 全文: 内政部 arXiv公司
莱昂内尔·多科斯;萨米哈·蒙瑟;伊森Yengui 计算V(V)-(mathbf{V}[X]^m\)有限生成子模的饱和,其中V(V)是一个评估域。 (英语) Zbl 1327.13073号 J.塞姆。计算。 72, 196-205 (2016). 审核人:约翰·佩里(哈蒂斯堡) MSC公司:13楼30 68瓦30 第13页99 65年第68季度 2013年02月 13层05 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{L.Ducos}等人,J.Symb。计算。72、196-205(2016;Zbl 1327.13073) 全文: 内政部
哈拉尔德·赞克;莎拉·温克勒;阿尔特·米德尔多普 超越多项式和皮亚诺算法——初等和序数解释的自动化。 (英语) Zbl 1315.68168号 J.塞姆。计算。 69, 129-158 (2015).MSC公司:2012年第68季度 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{H.Zankl}等人,J.Symb。计算。69、129--158(2015;Zbl 1315.68168) 全文: 内政部
瓦利德·贝尔基尔;亚尼克·骑士;迈克尔·鲁西诺维奇 参数化自动机模拟及其在服务组合中的应用。 (英语) 兹比尔1314.68035 J.塞姆。计算。 69, 40-60 (2015).MSC公司:68英里11 2017年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Belkhir}等人,J.Symb。计算。69、40-60(2015年;Zbl 1314.68035) 全文: 内政部
Alpunte,M。;D.巴利斯。;弗雷奇纳,F。;萨皮尼亚,J。 探索条件重写逻辑计算。 (英语) Zbl 1315.68166号 J.塞姆。计算。 69, 3-39 (2015).MSC公司:2012年第68季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,J.Symb。计算。69、3--39(2015年;Zbl 1315.68166) 全文: 内政部
帕斯卡·科伊兰;娜塔莎·波特;塞巴斯蒂安·塔维纳斯 实(τ)猜想的Wronskian方法。 (英语) Zbl 1302.68331号 J.塞姆。计算。 第二部分第68页,195-214(2015).MSC公司:68瓦30 第14页99 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Koiran}等人,J.Symb。计算。68,第2部分,195--214(2015;Zbl 1302.68331) 全文: 内政部 arXiv公司 哈尔
杜兰德,我。;Sénizergues,G。 单词和术语的自下而上重写。 (英语) Zbl 1456.68072号 J.塞姆。计算。 67, 93-121 (2015).MSC公司:2012年第68季度 03年3月 PDF格式BibTeX公司 XML格式引用 \textit{I.Durand}和\textit{G.Sénizergues},J.Symb。计算。67、93——121(2015;Zbl 1456.68072) 全文: 内政部
特默尔库西亚;马林·米尔恰 正则表达式顺序排序的统一和匹配。 (英语) Zbl 1456.68073号 J.塞姆。计算。 67, 42-67 (2015).MSC公司:2012年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kutsia}和\textit{M.Marin},J.Symb。计算。67、42-67(2015年;Zbl 1456.68073) 全文: 内政部
马古利斯,S。;Onn,S。;D.V.帕西尼克。 关于希尔伯特对分割的反驳的复杂性。 (英语) Zbl 1357.68087号 J.塞姆。计算。 66, 70-83 (2015).MSC公司:65年第68季度 2005年11月 2015年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Margulies}等人,J.Symb。计算。66、70-83(2015年;Zbl 1357.68087) 全文: 内政部 arXiv公司
瓦利德·贝尔基尔;阿兰·乔治蒂;米歇尔·伦茨纳 符号转换语言及其在多尺度方法中的应用。 (英语) 兹比尔1310.68260 J.塞姆。计算。 65, 49-78 (2014).MSC公司:68瓦30 35K05美元 65N30型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Belkhir}等人,J.Symb。计算。65,49-78(2014年;兹比尔1310.68260) 全文: 内政部
伊戈尔·什帕林斯基(Igor E.Shparlinski)。 具有低维仿射空间变量的乘积和有限域中的移位幂恒等式测试。 (英语) Zbl 1373.11081号 J.塞姆。计算。 64, 35-41 (2014).MSC公司:2006年11月 2016年11月 65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{I.E.Shparlinski},J.Symb。计算。64、35-41(2014年;Zbl 1373.11081) 全文: 内政部
McKay,Brendan D。;阿道夫·皮佩尔诺 实用图同构。二、。 (英语) 兹比尔1394.05079 J.塞姆。计算。 60, 94-112 (2014).MSC公司:05C60型 05C85号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.D.McKay}和\textit{A.Piperno},J.Symb。计算。60、94——112(2014;Zbl 1394.05079) 全文: 内政部 arXiv公司
德克森,哈姆 图的同构问题和近似范畴。 (英语) Zbl 1283.05183号 J.塞姆。计算。 59, 81-112 (2013).MSC公司:05C60型 05C85号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Derksen},J.Symb。计算。59、81——112(2013年;Zbl 1283.05183) 全文: 内政部 arXiv公司
Faugère、Jean-Charles;Mohab Safey El Din;皮埃尔·让·斯潘莱豪尔 关于广义MinRank问题的复杂性。 (英语) 兹伯利1302.13026 J.塞姆。计算。 55, 30-58 (2013).MSC公司:13页第10页 65年第68季度 14个M12 2003年10月15日 94A60 PDF格式BibTeX公司 XML格式引用 \文本{J.-C.Faugère}等人,J.Symb。计算。55,30-58(2013年;兹比尔1302.13026) 全文: 内政部 arXiv公司
郭、李;坐,威廉·Y。;张荣华 微分型算子和Gröbner-Shirshov基。 (英语) Zbl 1290.16021号 J.塞姆。计算。 52, 97-123 (2013).MSC公司:16平方米 16卢比 16层30 2015年5月 2016年10月 68兰特 2016年05月 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Guo}等人,J.Symb。计算。52、97——123(2013;Zbl 1290.16021) 全文: 内政部 arXiv公司
秦胜超;何冠华;罗晨光;魏恩根·钦;陈欣 组合抽象域中的循环不变综合。 (英语) Zbl 1256.68044号 J.塞姆。计算。 50, 386-408 (2013).MSC公司:68号30 68甲19 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Qin}等人,J.Symb。计算。50386--408(2013;Zbl 1256.68044) 全文: 内政部
Bjarke Hammersholt鲁恩;爱德华多·Sáenz-de-Cabezón 单形复形欧拉特征的复杂性和算法。 (英语) 兹比尔1263.68052 J.塞姆。计算。 50, 170-196 (2013). 审核人:谢尔盖·劳伦琴科(莫斯科) MSC公司:65年第68季度 第13页99 13第25页 13层55 68瓦30 05E45型 550单位5 57-04 PDF格式BibTeX公司 XML格式引用 \textit{B.H.Roune}和\textit{E.Sáenz-de-Cabezón},J.Symb。计算。50、170——196(2013;Zbl 1263.68052) 全文: 内政部 arXiv公司
格雷,R。;A.马莱罗。;骄傲,S.J。 幺半群Schützenberger群的同伦基和有限导子类型。 (英语) Zbl 1266.20065号 J.塞姆。计算。 50, 50-78 (2013). 审核人:艾哈迈特·西南·切维奇(科尼亚) MSC公司:2005年5月20日 20M50型 2012年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{R.Gray}等人,J.Symb。计算。50、50-78(2013年;Zbl 1266.20065) 全文: 内政部 arXiv公司
徐明;李志斌 可解回路的符号终止分析。 (英语) Zbl 1253.68224号 J.塞姆。计算。 50, 28-49 (2013).MSC公司:60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}和\textit{Z.-B.Li},J.Symb。计算。50,28-49(2013;Zbl 1253.68224) 全文: 内政部
彼得·施拉梅尔;贝特朗·珍妮特 将抽象加速应用于反应式程序的(协同)可达性分析。 (英语) Zbl 1286.68092号 J.塞姆。计算。 47,第12期,1512-1532(2012).MSC公司:68号30 60年第68季度 65年20月 PDF格式BibTeX公司 XML格式引用 \textit{P.Schrammel}和\textit{B.Jeannet},J.Symb。计算。47、第12号1512-1532(2012;Zbl 1286.68092) 全文: 内政部
卢卡·德费奥;埃里克·斯科特 Artin-Schreier中的快速算法在有限域上表现出色。 (英语) Zbl 1267.11126号 J.塞姆。计算。 47,第7期,771-792(2012).MSC公司:2016年11月 11层30 12E20型 65年第68季度 68瓦30 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{L.De Feo}和\textit{埃里·肖斯特},J.Symb。计算。47,第7号,771--792(2012;Zbl 1267.11126) 全文: 内政部
索米特·古普塔;索莫吉特·萨卡尔;阿尔恩·斯托约翰恩;约翰尼·瓦莱里奥特 (K[x]\)上线性代数算法的三角基分解和去域化。 (英语) Zbl 1268.68172号 J.塞姆。计算。 47,第4期,422-453(2012).MSC公司:68瓦30 15甲15 65年第68季度 65楼30 PDF格式BibTeX公司 XML格式引用 \textit{S.Gupta}等人,J.Symb。计算。47,第4号,422--453(2012;Zbl 1268.68172) 全文: 内政部
吴晓丽;志、李红 通过几何对合形式的符号-数字约简确定多项式系统的奇异解。 (英语) Zbl 1237.13054号 J.塞姆。计算。 47,第3期,227-238(2012). 审核人:托马斯·卡勒(奥格斯堡) MSC公司:第13页,共15页 65年20月 2014年第20季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Wu}和textit{L.Zhi},J.Symb。计算。47,第3号,227--238(2012;Zbl 1237.13054) 全文: 内政部
阿林·博斯坦;穆罕默德·F·I·乔杜里。;乔里斯·范德霍温;埃里克·斯科特 模三角集乘法的同伦技术。 (英语) Zbl 1239.68079号 J.塞姆。计算。 第46号,第12期,1378-1402页(2011年). 审核人:米哈伊·西普(Bucureşti) MSC公司:68瓦30 13页第10页 65年第68季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{A.Bostan}等人,J.Symb。计算。46,第12号,1378--1402(2011;Zbl 1239.68079) 全文: 内政部 哈尔
马霍布·朗加;穆罕默德·梅杰里;卡梅尔·阿迪 在并发系统上正式实施安全策略。 (英语) Zbl 1218.68106号 J.塞姆。计算。 46,第9期,997-1016(2011).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Langar}等人,J.Symb。计算。46,第9号,997--1016(2011;Zbl 1218.68106) 全文: 内政部
卡拉科蒂,K。 模态演算和泛型解中的模型检查。 (英语) Zbl 1211.68249号 J.塞姆。计算。 46,第5期,584-594(2011).MSC公司:60年第68季度 2017年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Kalorkoti},J.Symb。计算。46,第5号,584--594(2011;Zbl 1211.68249) 全文: 内政部
克里斯托夫·舒尔茨;Löwe,迈克尔;哈拉尔德·科尼格 面向对象系统转换的分类框架:模型和数据。 (英语) Zbl 1211.68259号 J.塞姆。计算。 46,第3号,316-337(2011).MSC公司:68问题65 18A40型 68磅01英寸 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Schulz}等人,J.Symb。计算。46,第3号,316-337(2011;Zbl 1211.68259) 全文: 内政部
费尔南多·奥雷贾斯 属性图约束的符号图。 (英语) Zbl 1298.68121号 J.塞姆。计算。 46,第3期,294-315(2011).MSC公司:2012年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{F.Orejas},J.Symb。计算。46,第3号,294--315(2011;Zbl 1298.68121) 全文: 内政部
Jean-Guillaume杜马;多米尼克·杜瓦尔;珍妮·克劳德·雷纳德 笛卡尔效应类别是Freyd-categories。 (英语) 邮编:1229.18005 J.塞姆。计算。 46,第3期,272-293(2011).MSC公司:18 C50 68问题55 18日99 PDF格式BibTeX公司 XML格式引用 \textit{J.-G.Dumas}等人,J.Symb。计算。46,第3号,272--293(2011;Zbl 1229.18005) 全文: 内政部
本杰明·布拉茨;乌尔里克·戈拉斯;托马斯·索博尔 如何分类删除-两个推出补语结构。 (英语) Zbl 1215.18002号 J.塞姆。计算。 46,第3期,246-271(2011). 审核人:H.Ehrig(柏林) MSC公司:18A30型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Braatz}等人,J.Symb。计算。46,第3号,246--271(2011;Zbl 1215.18002) 全文: 内政部
克里斯蒂安·施恩伯格;弗朗茨·维特尔;弗赖塔格,伯克哈德 验证基于web的技术文档的一致性。 (英语) Zbl 1213.68609号 J.塞姆。计算。 46,第2期,183-206(2011).MSC公司:68立方英尺 68英里11 60年第68季度 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{C.Schönberg}等人,J.Symb。计算。46,第2号,183--206(2011;Zbl 1213.68609) 全文: 内政部
费德里科·班蒂;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 UML服务模型的可访问验证环境。 (英语) Zbl 1215.68065号 J.塞姆。计算。 46,第2期,119-149(2011).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Banti}等人,J.Symb。计算。46,No.2,119--149(2011;Zbl 1215.68065) 全文: 内政部
兰德伯格,J.M。 \(P)与(NP)和几何。 (英语) Zbl 1208.68129号 J.塞姆。计算。 45,第12期,1359-1377(2010).MSC公司:2015年第68季度 1999年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Landsberg},J.Symb。计算。45,第12号,1359--1377(2010;Zbl 1208.68129) 全文: 内政部 arXiv公司
夏碧灿;张志海 具有非线性约束的线性规划的终止。 (英语) Zbl 1208.68151号 J.塞姆。计算。 45,第11期,1234-1249(2010).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Xia}和\textit{Z.Zhang},J.Symb。计算。45,第11号,1234--1249(2010;Zbl 1208.68151) 全文: 内政部
安德烈·里巴尔琴科;维奥里卡Sofrone-Stokkerman 插值的约束求解。 (英语) 兹比尔1213.68389 J.塞姆。计算。 45,第11期,1212-1233(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rybalchenko}和\textit{V.Sofronie Stokkermans},J.Symb。计算。45,第11号,1212--1233(2010;Zbl 1213.68389) 全文: 内政部
扬尼克·莫伊;克劳德·马奇 安全检查子程序契约的模块化推理。 (英语) Zbl 1213.68385号 J.塞姆。计算。 45,第11期,1184-1211(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Moy}和\textit{C.Marché},J.Symb。计算。45,第11号,1184--1211(2010;Zbl 1213.68385) 全文: 内政部
罗晨光;弗罗林·克雷西恩;秦胜超;何冠华;魏恩根·钦 验证具有未知调用的程序的指针安全性。 (英语) Zbl 1208.68149号 J.塞姆。计算。 45,第11期,1163-1183(2010).MSC公司:60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{C.Luo}等人,J.Symb。计算。45,第11号,1163--1183(2010;Zbl 1208.68149) 全文: 内政部
伊戈尔·康诺夫(Igor V.Konnov)。;弗拉基米尔·扎哈罗夫。 一种基于不变量的异步参数化网络验证方法。 (英语) Zbl 1208.68148号 J.塞姆。计算。 45,第11期,1144-1162(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Konnov}和\textit{V.A.Zakharov},J.Symb。计算。45,第11号,1144--1162(2010;Zbl 1208.68148) 全文: 内政部
阿里·米莉;谢尔·亚哈龙;查塔尼亚·纳德卡尼;吉拉尼、拉米亚·拉贝德;阿斯玛·卢希奇;奥尔法·姆拉伊 自反传递不变关系:计算循环函数的基础。 (英语) Zbl 1208.68150号 J.塞姆。计算。 45,第11期,1114-1143(2010).MSC公司:60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Mili}等人,J.Symb。计算。45,第11号,1114--1143(2010;Zbl 1208.68150) 全文: 内政部
斯特凡·考尔;温克勒,Jürgen F.H。 for-lops不变量的机械推断。 (英语) Zbl 1208.68147号 J.塞姆。计算。 45,第11期,1101-1113(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Kauer}和\textit{J.F.H.Winkler},J.Symb。计算。45,第11号,1101--1113(2010;Zbl 1208.68147) 全文: 内政部
马丁·吉斯(编辑);爱尔兰,安德鲁(编辑);劳拉·科瓦奇(编辑) 特刊:不变量生成和循环推理的高级技术。论文选自2007年6月25日至26日在奥地利哈根堡举行的第一次不变世代研讨会(Wing 2007)和2009年3月29日在英国约克举行的第二次研讨会(Wing2009)上的演讲。 (英语) Zbl 1205.68013号 J.塞姆。计算。45,第11期,1097-1249(2010)。 MSC公司:68-06 68问题85 00B25型 PDF格式BibTeX公司 XML格式
沃尔克Gebhardt;胡安·冈萨雷斯(Juan González-Meneses) 用循环滑动法求解Garside群的共轭问题。 (英语) Zbl 1235.20032号 J.塞姆。计算。 45,第6号,629-656(2010).MSC公司:2010年1月20日 36楼20层 68瓦30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Gebhardt}和\textit{J.González-Meneses},J.Symb。计算。45,第6号,629--656(2010;Zbl 1235.20032) 全文: 内政部 arXiv公司 链接
托马斯·杰奈特;弗拉德·鲁苏 树自动机完备的等式逼近。 (英语) Zbl 1192.68398号 J.塞姆。计算。 45,第5期,574-597(2010).MSC公司:2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Genet}和\textit{V.Rusu},J.Symb。计算。45,第5号,574--597(2010;Zbl 1192.68398) 全文: 内政部
中村,Masaki;Kazuhiro绪方;高基町五指 术语重写系统中操作符号的可简化性及其在行为规范中的应用。 (英语) Zbl 1192.68931号 J.塞姆。计算。 45,第5期,551-573(2010).MSC公司:68瓦30 2012年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Nakamura}等人,J.Symb。计算。45,第5号,551--573(2010;Zbl 1192.68931) 全文: 内政部 链接
玛丽亚·保拉(Maria Paola Bonacina);穆纳乔·埃切宁 通过分解进行理论决策。 (英语) Zbl 1192.68626号 J.塞姆。计算。 45,第2期,229-260(2010).MSC公司:第68页第15页 2012年第68季度 68T20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{M.Echenim},J.Symb。计算。45,第2号,229--260(2010;Zbl 1192.68626) 全文: 内政部
阿德里亚·加斯科恩;吉勒姆·戈多伊;曼弗雷德·施密特·沙乌;阿什什·蒂瓦里 与一个上下文变量的上下文统一。 (英语) Zbl 1192.68431号 J.塞姆。计算。 45,第2期,173-193(2010).MSC公司:60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Gascon}等人,J.Symb。计算。45,第2号,173--193(2010;Zbl 1192.68431) 全文: 内政部 链接
阿哈隆·阿巴迪;亚历山大·拉比诺维奇;穆利萨吉夫 许多排序逻辑的可判定片段。 (英语) Zbl 1183.03007号 J.塞姆。计算。 45,第2期,153-172(2010).MSC公司:03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Abadi}等人,J.Symb。计算。45,第2号,153--172(2010;Zbl 1183.03007) 全文: 内政部
麦地那-布洛,Inmaculada;弗朗西斯科·帕洛莫·洛萨诺;何塞·路易斯·鲁伊斯·雷纳 在ACL2中验证了Buchberger算法的通用lisp实现。 (英语) Zbl 1194.68155号 J.塞姆。计算。 45,第1期,96-123(2010).MSC公司:68问题65 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{I.Medina-Bulo}等人,J.Symb。计算。45,第1号,96--123(2010;Zbl 1194.68155) 全文: 内政部
特默尔库西亚;约尔迪·利维;马图·维拉雷特 论语境与序列统一的关系。 (英语) 兹比尔1194.68224 J.塞姆。计算。 45,第1期,74-95(2010).MSC公司:68立方英尺 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kutsia}等人,J.Symb。计算。45,第1号,74--95(2010;Zbl 1194.68224) 全文: 内政部
J·布希。 虚赋范核素二次整数环中决策问题的下界。 (英语) Zbl 1222.11148号 J.塞姆。计算。 44,第6期,683-699(2009). 审核人:迈克尔·波赫斯特(杜塞尔多夫) MSC公司:2016年11月 11年40 11兰特 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Busch},J.Symb。计算。44,第6号,683--699(2009;Zbl 1222.11148) 全文: 内政部
克劳斯·皮特·沃思 条件项重写系统的浅汇流。 (英语) Zbl 1156.68028号 J.塞姆。计算。 44,第1号,60-98(2009).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.-P.Wirth},J.Symb。计算。44,第1号,60--98(2009;Zbl 1156.68028) 全文: 内政部
亚历山大·弗伦克;布列塔·凯登 用关系代数方法分析Petri网的状态空间。 (英语) Zbl 1156.68040号 J.塞姆。计算。 44,编号1,15-47(2009).MSC公司:68问题85 60年第68季度 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{A.Fronk}和\textit{B.Kehden},J.Symb。计算。44,编号1,15--47(2009;Zbl 1156.68040) 全文: 内政部
安,杰曼 光滑积分曲线定义理想的复杂度。 (英语) Zbl 1154.13010号 J.塞姆。计算。 43,编号6-7,422-441(2008). 审核人:约瑟夫·希乔(林茨) MSC公司:13页第10页 2014年第二季度 65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Ahn},J.Symb。计算。43,编号6--7,422--441(2008;Zbl 1154.13010) 全文: 内政部
加雷思·埃文斯(Gareth A.Evans)。;克里斯托弗·温斯利。 完整的对合重写系统。 (英语) Zbl 1128.68044号 J.塞姆。计算。 42,编号11-12,1034-1051(2007).MSC公司:2012年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Evans}和\textit{C.D.Wensley},J.Symb。计算。42,编号11--121034--1051(2007;Zbl 1128.68044) 全文: 内政部 反向链接: 卫生官员
马西莫·卡瓦拉;萨拉·法里迪;彼得·塞林格 单纯形循环和单纯形树的计算。 (英语) Zbl 1124.05094号 J.塞姆。计算。 42,编号1-2,74-88(2007).MSC公司:05E25型 65年第68季度 13层55 PDF格式BibTeX公司 XML格式引用 \textit{M.Caboara}等人,J.Symb。计算。42,编号1-2,74-88(2007年;Zbl 1124.05094) 全文: 内政部 arXiv公司
托尔斯滕·西奥博尔德 热带几何多项式计算的前沿。 (英语) Zbl 1121.14047号 J.塞姆。计算。 41,第12号,1360-1375(2006).MSC公司:第14页99 2017年第68季度 2015年第14季度 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Theobald},J.Symb。计算。41,第12号,1360--1375(2006;Zbl 1121.14047) 全文: 内政部 arXiv公司
阿明·格里格林格;马丁·格里布尔;克里斯蒂安·伦戈尔 自动循环并行化中的量词消除。 (英语) Zbl 1124.68035号 J.塞姆。计算。 41,第11期,1206-1221(2006).MSC公司:2010年第68季度 68N20型 68宽10 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Größlinger}等人,J.Symb。计算。41,第11号,1206--1221(2006;Zbl 1124.68035) 全文: 内政部
索加塔省巴苏 计算单指数时间内半代数集的前几个Betti数。 (英语) Zbl 1126.14065号 J.塞姆。计算。 41,第10期,1125-1154(2006). 审核人:Dmitrii Pasechnik(新加坡) MSC公司:第14页 55倍 68瓦30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Basu},J.Symb。计算。41,第10号,1125--1154(2006;Zbl 1126.14065) 全文: 内政部 arXiv公司
乔里斯·范德霍温;约翰·沙克尔 零测试算法的复杂性界限。 (英语) Zbl 1124.68045号 J.塞姆。计算。 41,第9期,1004-1020(2006).MSC公司:65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.van der Hoeven}和\textit{J.Shackell},J.Symb。计算。41,第9号,1004--1020(2006;Zbl 1124.68045) 全文: 内政部
赛义德·拉吉 非关联Gröbner碱。 (英语) Zbl 1236.17006号 J.塞姆。计算。 41,第8期,887-904(2006). 审核人:奥拉夫·尼尼曼(柏林) MSC公司:17A50型 2017年05月 第16章第15节 2012年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Rajaee},J.Symb。计算。41,第8号,887--904(2006;Zbl 1236.17006) 全文: 内政部
纪尧姆·切兹;安德烈·加里戈 从近似到精确的绝对多项式因式分解。 (英语) Zbl 1134.13022号 J.塞姆。计算。 41,第6期,682-696(2006). 审核人:萨拉赫·纳吉布(里尔) MSC公司:13第05页 2005年12月 12E05型 2005年12月 65年第68季度 68瓦30 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{G.Chèze}和\textit{A.Galligo},J.Symb。计算。41,第6号,682--696(2006;Zbl 1134.13022) 全文: 内政部
罗纳德·布朗;尼尔·加尼;安妮·海沃思;克里斯托弗·温斯利。 双陪集系统的字符串重写。 (英语) Zbl 1126.20022号 J.塞姆。计算。 41,第5期,573-590(2006).MSC公司:2010年1月20日 20F05型 2012年第68季度 2005年5月20日 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{R.Brown}等人,J.Symb。计算。41,第5号,573--590(2006;Zbl 1126.20022) 全文: 内政部 arXiv公司
苏布拉马尼,K。;德索夫斯基。 标准量化线性规划的无序量词消除。 (英语) Zbl 1125.68142号 J.塞姆。计算。 40,第6期,1383-1396(2005).MSC公司:68瓦30 03C10号机组 03B35型 65年第68季度 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{K.Subramani}和\textit{D.Desovski},J.Symb。计算。40,第6号,1383-1396(2005;Zbl 1125.68142) 全文: 内政部
Gago-Vargas,J。;马里兰州哈蒂略-赫莫索。;Ucha-Enríquez,J.M。 计算多项式湮灭理想的两种方法的理论复杂性的比较。 (英语) Zbl 1120.68404号 J.塞姆。计算。 40,第3期,1076-1086(2005).MSC公司:65年第68季度 16平方米 16立方厘米 32C38号 2016年05月 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Gago-Vargas}等人,J.Symb。计算。40,第3号,1076--1086(2005;Zbl 1120.68404) 全文: 内政部 链接
埃尔科·维瑟 基于规则的程序转换系统中策略的调查。 (英语) Zbl 1129.68043号 J.塞姆。计算。 40,第1期,831-873(2005).MSC公司:68问题55 2012年第68季度 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Visser},J.Symb。计算。40,编号1831--873(2005;Zbl 1129.68043) 全文: 内政部 链接
艾尔维拉·阿尔伯特;迈克尔·哈纳斯;弗兰克,哈;哈维尔·奥利弗;德国维达尔 声明性多仿射语言的操作语义。 (英语) Zbl 1129.68042号 J.塞姆。计算。 40,第1期,795-829(2005).MSC公司:68问题55 68N17号 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,J.Symb。计算。40,第1号,795--829(2005;Zbl 1129.68042) 全文: 内政部
皮埃尔·雷蒂;朱莉·武奥托 重写策略的树自动机。 (英语) Zbl 1129.68036号 J.塞姆。计算。 40,第1期,749-794(2005).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Réty}和\textit{J.Vuotto},J.Symb。计算。40,第1号,749--794(2005;Zbl 1129.68036) 全文: 内政部