安德烈·弗拉米尼;里卡多·隆戈;阿莱西奥·梅内盖蒂 同步背景下的多维拜占庭协议。 (英语) Zbl 07811708号 申请。代数工程通讯。计算。 第2期第35页,第233-251页(2024年).MSC公司:94A60型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{A.Flamini}等人,应用。代数工程通讯。计算。35,编号2,233--251(2024;Zbl 07811708) 全文: 内政部 arXiv公司 OA许可证
玛丽亚·劳拉·巴巴加略;加布里埃拉·杰罗尼莫;胡安·萨比亚 一类单变量Pfaffian函数的决策问题。 (英语) Zbl 07811707号 申请。代数工程通讯。计算。 35207-232(2024)第2期. 审核人:阿米尔·哈希米(伊斯法罕) MSC公司:第14页,共15页 68瓦30 PDF格式BibTeX公司 XML格式引用 \文本{M.L.Barbagallo}等人,应用。代数工程通讯。计算。35,编号2,207--232(2024;Zbl 07811707) 全文: 内政部 arXiv公司
路易斯·帕尔多。 探索迹(反转)公式和Artin代数在极值组合中的含义。 (英语) Zbl 1530.05195号 申请。代数工程通讯。计算。 35,编号1,71-118(2024).MSC公司:2016年5月 05年5月 13层20 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Pardo},应用。代数工程通讯。计算。35,编号1,71-118(2024;Zbl 1530.05195) 全文: 内政部 OA许可证
弗朗索瓦·奥利维尔 雅各比的界限:雅各比结果被翻译成Kőnig’s、Egerváry和Ritt的数学语言。 (英语) Zbl 1520.12004号 申请。代数工程通讯。计算。 34,编号5,793-885(2023).MSC公司:2005年12月 65-03 65升80 65升08 90C05(二氧化碳) 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Ollivier},应用。代数工程通讯。计算。34,编号5,793--885(2023;Zbl 1520.12004) 全文: 内政部 arXiv公司 哈尔
刘开强;任文丽;王凤;王建鹏 一类新的距离最优二元循环码及其对偶码。 (英语) Zbl 1520.94095号 申请。代数工程通讯。计算。 34,编号1,99-109(2023). 审核人:尼古拉·扬科夫(舒门) MSC公司:94B15号机组 05年05月 51E10型 PDF格式BibTeX公司 XML格式引用 \textit{K.Liu}等人,应用。代数工程通讯。计算。34,编号1,99--109(2023;Zbl 1520.94095) 全文: 内政部
米歇拉·塞里亚;费迪南多·莫拉 De nugis Groebnerialium 6:Rump、Ufnarovski、Zacharias。 (英语) Zbl 1506.13045号 申请。代数工程通讯。计算。 33,第6号,725-749(2022). 审核人:Christoph Koutschan(林茨) MSC公司:13页第10页 13层20 2016年05月 PDF格式BibTeX公司 XML格式引用 \textit{M.Ceria}和\textit{F.Mora},应用。代数工程通讯。计算。33,编号6,725--749(2022;Zbl 1506.13045) 全文: 内政部
A.卡诺。;坎特罗,J。;马丁内斯·帕斯特,A。 非正则语言的Eilenberg多样性定理的一个正推广。 (英语) Zbl 1529.68168号 申请。代数工程通讯。计算。 32,第5号,553-573(2021).MSC公司:70年第68季度 2007年7月20日 20立方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cano}等人,应用。代数工程通讯。计算。32,编号5,553--573(2021;Zbl 1529.68168) 全文: 内政部 链接
米歇拉·塞里亚;特奥·莫拉;安德烈亚·维斯康蒂 为什么你甚至不能希望在密码学中使用Ore代数。 (英语) Zbl 1469.94089号 申请。代数工程通讯。计算。 32,第3期,229-244(2021).MSC公司:94A60型 68第25页 13页第10页 16岁至20岁 PDF格式BibTeX公司 XML格式引用 \textit{M.Ceria}等人,应用。代数工程通讯。计算。32,编号3,229--244(2021;Zbl 1469.94089) 全文: 内政部
齐明龙;熊胜武 两类线性码的完全权重枚举器,只需几个权重。 (英语) Zbl 1472.94083号 申请。代数工程通讯。计算。 32,第1号,63-79(2021). 审核人:安德烈亚·斯沃布(里耶卡) MSC公司:94B05型 11T71型 11T23号 94B60码 PDF格式BibTeX公司 XML格式引用 \textit{M.Qi}和\textit{S.Xiong},应用。代数工程通讯。计算。32,编号1,63--79(2021;Zbl 1472.94083) 全文: 内政部
曾雪强;范翠玲;曾,齐;齐、雁峰 两类二进制循环码及其权重分布。 (英语) Zbl 1469.94159号 申请。代数工程通讯。计算。 32,编号1,49-61(2021). 审核人:尼古拉·扬科夫(舒门) MSC公司:94B15号机组 05年05月 51E10型 PDF格式BibTeX公司 XML格式引用 \textit{X.Zeng}等人,应用。代数工程通讯。计算。32,编号1,49-61(2021;Zbl 1469.94159) 全文: 内政部
米歇拉·塞里亚;特奥·莫拉 有效环上的对合基。 (英语) Zbl 1474.13054号 申请。代数工程通讯。计算。 31,编号5-6,359-387(2020). 审核人:弗朗西丝卡·乔菲(那不勒斯) MSC公司:13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.Ceria}和\textit{T.Mora},应用。代数工程通讯。计算。31,编号5--6,359--387(2020;Zbl 1474.13054) 全文: 内政部
石祖木,早矢香;小山口,美雄;Masahiko酒井 最内层终止项重写系统汇合的条件。 (英语) Zbl 1429.68088号 申请。代数工程通讯。计算。 30,第4号,349-360(2019).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ishizuki}等人,应用。代数工程通讯。计算。30,第4号,349--360(2019;Zbl 1429.68088) 全文: 内政部
A.Y.M.钦。;陈洪伟。 有限阿贝尔群的完全分解。 (英语) Zbl 1418.05020号 申请。代数工程通讯。计算。 30,第3期,263-274(2019).MSC公司:2018年1月5日 11B13号机组 20K01型 PDF格式BibTeX公司 XML格式引用 \textit{A.Y.M.Chin}和\textit{H.V.Chen},申请。代数工程通讯。计算。30,第3号,263--274(2019;Zbl 1418.05020) 全文: 内政部
纳比尔·本内尼;肯扎·根达;托马斯·亚伦·格列佛 贪婪地构建DNA代码和新边界。 (英语) Zbl 1418.94070号 申请。代数工程通讯。计算。 30,3号,207-216(2019).MSC公司:94B05型 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Benenni}等人,应用。代数工程通讯。计算。30,第3号,207--216(2019;Zbl 1418.94070) 全文: 内政部 arXiv公司
张文琴;严浩德;魏洪雷 具有\(w_{\min}/w_{\ max}\le1/2\)的四类最小二元线性码。 (英语) 兹比尔1412.94237 申请。代数工程通讯。计算。 30,第2期,175-184(2019).MSC公司:94B05型 05年05月 51E10型 94B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Zhang}等人,应用。代数工程通讯。计算。30,第2号,175--184(2019;Zbl 1412.94237) 全文: 内政部
Krzysztof,Zimiañski 通过离散向量场的有向路径空间。 (英语) Zbl 1411.55010号 申请。代数工程通讯。计算。 30,第1号,51-74(2019). 审核人:菲利普·高彻(巴黎) MSC公司:550单位5 57-04 54-04 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Zimiaáski},应用。代数工程通讯。计算。30,第1号,51--74(2019;Zbl 1411.55010) 全文: 内政部 arXiv公司
本托霍达·比奈;阿米尔·哈希米;Werner M.塞勒。 Pommaret基逼近多项式理想的次数。 (英语) Zbl 1410.13017号 申请。代数工程通讯。计算。 29,第4号,283-301(2018). 审核人:约瑟夫·希乔(林茨) MSC公司:13页第10页 2014年第20季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Binaei}等人,应用。代数工程通讯。计算。29,第4号,283--301(2018;Zbl 1410.13017) 全文: 内政部 arXiv公司
香,可以;王显芳;唐春明;傅方伟 两类线性码及其权重分布。 (英语) Zbl 1391.94619号 申请。代数工程通讯。计算。 29,第3209-225号(2018).MSC公司:94A24型 94B35码 94B15号机组 94A55型 PDF格式BibTeX公司 XML格式引用 \textit{C.Xiang}等人,应用。代数工程通讯。计算。29,第3号,209--225(2018;Zbl 1391.94619) 全文: 内政部
杜晓妮;Wan、Yunqi 二次型线性码。 (英语) Zbl 1394.94948号 申请。代数工程通讯。计算。 28,第6号,535-547(2017).MSC公司:94B05型 94A60型 94A62型 2004年11月 PDF格式BibTeX公司 XML格式引用 \textit{X.Du}和\textit{Y.Wan},应用。代数工程通讯。计算。28,第6号,535--547(2017;Zbl 1394.94948) 全文: 内政部
Krzysztof,Zimiañski 前立方集上的有向路径空间。 (英语) Zbl 1384.55015号 申请。代数工程通讯。计算。 28,第6号,497-525(2017). 审核人:菲利普·高彻(巴黎) MSC公司:550单位5 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Zimiaáski},应用。代数工程通讯。计算。28,第6号,497--525(2017;Zbl 1384.55015) 全文: 内政部 arXiv公司
潘贝卡(B.Panbehkar)。;杜斯蒂,H。 语言的自动半群。 (英语) 兹比尔1370.20062 申请。代数工程通讯。计算。 28,第3期,225-235(2017).MSC公司:20立方米 70年第68季度 2005年5月20日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Panbehkar}和\textit{H.Doostie},应用。代数工程通讯。计算。28,第3225-235号(2017年;兹bl 1370.20062) 全文: 内政部
金·乔恩·勒克;李娜丽 基于(mathrm{GF}(4))上加法码的秘密共享方案。 (英语) Zbl 1384.94120号 申请。代数工程通讯。计算。 28,第1期,79-97(2017).MSC公司:94A62型 11T71型 PDF格式BibTeX公司 XML格式引用 \textit{J.-L.Kim}和\textit{N.Lee},应用。代数工程通讯。计算。28,第1号,第79-97条(2017;Zbl 1384.94120) 全文: 内政部 arXiv公司
路易斯·帕尔多。;马里奥·帕尔多 关于雅可比行列式的zeta Mahler测度函数、条件数和一般判别式的高度。 (英语) Zbl 1356.14056号 申请。代数工程通讯。计算。 27,第4号,303-358(2016). 审核人:卡洛斯·达安德里亚(巴塞罗那) MSC公司:2014年第20季度 2006年11月 2010年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Pardo}和\textit{M.Pardo},应用。代数工程通讯。计算。27,第4号,303--358(2016;Zbl 1356.14056) 全文: 内政部
布鲁诺·格蕾特;乔里斯·范德霍温;格里戈伊尔·勒塞夫 使用Graeff变换在有限域上求确定性根。 (英语) Zbl 1346.13056号 申请。代数工程通讯。计算。 27,第3号,237-257(2016). 审核人:阿米尔·哈希米(伊斯法罕) MSC公司:13第05页 2005年12月 68瓦30 2006年11月 PDF格式BibTeX公司 XML格式引用 \textit{B.Grenet}等人,应用。代数工程通讯。计算。27,第3号,237--257(2016;Zbl 1346.13056) 全文: 内政部 哈尔
哈维尔·赫兰兹 基于属性的Schnorr和ElGamal版本。 (英语) Zbl 1342.94071号 申请。代数工程通讯。计算。 27,第1期,17-57(2016).MSC公司:94A60型 94A62型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{J.Herranz},应用程序。代数工程通讯。计算。27、第1号、第17-57号(2016;Zbl 1342.94071) 全文: 内政部 链接
张景伟;赵长安 一类具有周期的二元序列的线性复杂度。 (英语) Zbl 1397.94040号 申请。代数工程通讯。计算。 26,第5期,475-491(2015).MSC公司:94A55型 94A60型 99年第68季度 11T71型 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}和\textit{C.-A.Zhao},应用。代数工程通讯。计算。26,第5号,475--491(2015;Zbl 1397.94040) 全文: 内政部
艾弗·奥托森 多维数据集的\(n\)-骨架的跟踪空间。 (英语) Zbl 1320.55017号 申请。代数工程通讯。计算。 26,编号1-2,141-149(2015). 审核人:菲利普·高彻(巴黎) MSC公司:55平方英寸10 55页第10页 06A07年 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.奥托森},应用。代数工程通讯。计算。26,编号1-2141-149(2015年;兹bl 1320.55017) 全文: 内政部
雷娜·莫利纳,劳尔;丹尼尔·迪亚斯·佩尼尔;雷亚尔,佩德罗;艾尼霍亚·贝恰诺 离散莫尔斯理论在数字图像中的膜平行性。 (英语) 兹比尔1331.68258 申请。代数工程通讯。计算。 26,No.1-2,49-71(2015).MSC公司:68单位05 550单位5 2010年第57季度 2010年第68季度 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{R.Reina-Molina}等人,应用。代数工程通讯。计算。26,编号1--2,49-71(2015;Zbl 1331.68258) 全文: 内政部 链接
乔纳森·赫拉斯;马丁·马特奥斯,弗朗西斯科·杰苏斯;维科·帕斯夸尔 在ACL2中建模代数结构和形态。 (英语) Zbl 1325.68214号 申请。代数工程通讯。计算。 26,第3期,277-303(2015).MSC公司:68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Heras}等人,应用。代数工程通讯。计算。26,第3号,277--303(2015;Zbl 1325.68214) 全文: 内政部 链接
纳多·吉梅内斯 隐式插值算法。 (英语) Zbl 1302.13027号 申请。代数工程通讯。计算。 25,编号1-2,119-157(2014). 审核人:阿米尔·哈希米(伊斯法罕) MSC公司:13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{N.Giménez},应用程序。代数工程通讯。计算。25、编号1--2、119-157(2014;Zbl 1302.13027) 全文: 内政部
肯扎·根达;格列佛·T·亚伦 用于DNA计算的\(\mathbb F_2+u\mathbbF_2\)上循环码的构造。 (英语) Zbl 1283.94131号 申请。代数工程通讯。计算。 24,第6期,445-459(2013).MSC公司:94B15号机组 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Guenda}和\textit{T.A.Gulliver},应用。代数工程通讯。计算。24,第6号,445--459(2013;Zbl 1283.94131) 全文: 内政部 arXiv公司
丹尼尔·迪亚斯·佩尼尔;Christinal,Hepzibah A。;Gutiérrez Naranjo,米格尔·A。;雷亚尔,佩德罗 使用膜计算进行有效同源性。 (英语) Zbl 1253.68331号 申请。代数工程通讯。计算。 23,编号5-6,233-249(2012).MSC公司:68单位05 55单元15 68第05页 2005年第68季度 2010年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{D.Díaz-Pernil}等人,应用。代数工程通讯。计算。23、编号5--6233--249(2012;Zbl 1253.68331) 全文: 内政部 链接
R.格林森。;J.海因茨。;Kuijpers,B。 使用少量算术运算评估几何查询。 (英语) Zbl 1255.68061号 申请。代数工程通讯。计算。 23,第3-4号,179-193(2012).MSC公司:第68页,共15页 65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Grimson}等人,应用。代数工程通讯。计算。23,No.3--4,179--193(2012;Zbl 1255.68061) 全文: 内政部 arXiv公司
马丁·劳森 简单高维自动机的执行空间。 (英语) Zbl 1254.55007号 申请。代数工程通讯。计算。 23,编号1-2,59-84(2012). 审核人:菲利普·高彻(巴黎) MSC公司:55页第10页 55页第15页 55平方英寸10 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Raussen},应用程序。代数工程通讯。计算。23、编号1--2、59-84(2012;Zbl 1254.55007) 全文: 内政部 链接
阿德里安·波提奥;马克·里博维茨 有限域上有理Newton-Puiseux算法的复杂度界。 (英语) 兹比尔1276.68177 申请。代数工程通讯。计算。 22,第3期,187-217(2011). 审核人:大卫·塞维利亚(梅里达) MSC公司:68瓦30 2005年12月 13第05页 2005年第14季度 14H50型 PDF格式BibTeX公司 XML格式引用 \textit{A.Poteaux}和\textit{M.Rybowicz},应用。代数工程通讯。计算。22,第3号,187--217(2011;Zbl 1276.68177) 全文: 内政部
布兹班,G。;Feinsilver博士。 广义道路着色问题和周期有向图。 (英语) Zbl 1242.05107号 申请。代数工程通讯。计算。 第1号第22页,第21-35页(2011年).MSC公司:05C20号 05C15号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{G.Budzban}和\textit{Ph.Feinsilver},应用。代数工程通讯。计算。22,第1号,第21-35号(2011;Zbl 1242.05107) 全文: 内政部 arXiv公司
克里斯蒂安·朗塞 分区格和部分分区格上的伴随。 (英语) Zbl 1208.06003号 申请。代数工程通讯。计算。 21,第5期,343-396(2010).MSC公司:06B99号 2015年1月6日 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{C.Ronse},应用程序。代数工程通讯。计算。21,第5号,343--396(2010;Zbl 1208.06003) 全文: 内政部 哈尔
直纪西田;德国维达尔 通过终止重写来终止收缩。 (英语) Zbl 1197.68049号 申请。代数工程通讯。计算。 21,第3期,177-225(2010).MSC公司:2012年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}和\textit{G.Vidal},应用。代数工程通讯。计算。21,第3号,177--225(2010;Zbl 1197.68049) 全文: 内政部
吉勒姆·戈多伊 浅TRS和最内层重写的规范化属性。 (英语) Zbl 1184.68298号 申请。代数工程通讯。计算。 21,第2期,109-129(2010).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Godoy},应用。代数工程通讯。计算。21,第2号,109--129(2010;Zbl 1184.68298) 全文: 内政部
伯尔尼银行;马克·朱斯蒂;乔斯·海因茨;安全El Din,莫哈卜;埃里克·肖斯特 关于极地变种的几何学。 (英语) Zbl 1186.14060号 申请。代数工程通讯。计算。 21,第1期,33-83(2010). 审核人:格哈德·普菲斯特(凯泽斯劳滕) MSC公司:第14页第05页 14B05型 2010年第14季度 2015年第14季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{B.Bank}等人,应用。代数工程通讯。计算。21,编号1,33-83(2010年;兹bl 1186.14060) 全文: 内政部 arXiv公司 链接
约尔迪·利维;马图·维拉雷特 在二阶统一中简化签名。 (英语) Zbl 1196.68113号 申请。代数工程通讯。计算。 20,编号5-6,427-445(2009). 审核人:马可·加博瓦迪(博洛尼亚) MSC公司:2012年第68季度 03B15号机组 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Levy}和\textit{M.Villaret},应用。代数工程通讯。计算。20,编号5--6427--445(2009;Zbl 1196.68113) 全文: 内政部
亚当·科布罗斯基 高阶递归路径排序的Coq形式化。 (英语) Zbl 1185.68628号 申请。代数工程通讯。计算。 20,编号5-6,379-425(2009).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Koprowski},应用。代数工程通讯。计算。20,编号5--6379--425(2009;Zbl 1185.68628) 全文: 内政部
乔治·莫瑟 九头蛇之战和西雄的原则。 (英语) Zbl 1181.68163号 申请。代数工程通讯。计算。 20,第2期,133-158(2009).MSC公司:2012年第68季度 2015年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{G.Moser},应用。代数工程通讯。计算。20,第2号,133--158(2009;Zbl 1181.68163) 全文: 内政部
托马斯·克鲁索;伊芙琳·休伯特 计算正则微分理想预解表示的概率算法。 (英语) Zbl 1192.12005年 申请。代数工程通讯。计算。 19,第5号,365-392(2008).MSC公司:2005年12月 68宽10 68瓦30 12-04 PDF格式BibTeX公司 XML格式引用 \textit{T.Cluzeau}和\textit{E.Hubert},应用。代数工程通讯。计算。19,第5号,365-392(2008;Zbl 1192.12005) 全文: 内政部 链接
丽西·达芬索;加布里埃拉·杰罗尼莫;巴勃罗·索莱诺 一般DAE系统微分指数的线性代数方法。 (英语) Zbl 1175.34004号 申请。代数工程通讯。计算。 第6441-473号第19页(2008年). 审核人:Timo Reis(柏林) MSC公司:34A09号 34A60型 第25页第13页 PDF格式BibTeX公司 XML格式引用 \textit{L.D'Alfonso}等人,应用。代数工程通讯。计算。19,第6号,441--473(2008;Zbl 1175.34004) 全文: 内政部 arXiv公司
雷内·蒂曼;汉斯·赞特马;吉尔根·吉斯尔;彼得·施奈德·坎普 将常量添加到字符串重写中。 (英语) Zbl 1154.68062号 申请。代数工程通讯。计算。 19,第1号,27-38(2008).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Thiemann}等人,应用。代数工程通讯。计算。19、第1号、第27--38号(2008;Zbl 1154.68062) 全文: 内政部
马库斯·普舍尔;马丁·罗特勒 代数信号处理理论:二维六边形空间晶格上的Cooley-Tukey型算法。 (英语) Zbl 1151.65104号 申请。代数工程通讯。计算。 19,第3期,259-292(2008).MSC公司:65T50型 94A08型 PDF格式BibTeX公司 XML格式引用 \textit{M.Püschel}和\textit{M.Rötteler},应用。代数工程通讯。计算。19,第3号,259--292(2008;Zbl 1151.65104) 全文: 内政部
伊迈、希德基;马纳布哈吉瓦拉 纠错代码和加密。 (英语) Zbl 1242.94030号 申请。代数工程通讯。计算。 19,第3期,213-228(2008).MSC公司:94A60型 94-02 94Bxx个 PDF格式BibTeX公司 XML格式引用 \textit{H.Imai}和\textit{M.Hagiwara},应用。代数工程通讯。计算。19,第3号,213--228(2008;Zbl 1242.94030) 全文: 内政部
马丁·罗特勒;托马斯·贝思 表示——近似量子傅里叶变换的理论性质。 (英语) Zbl 1149.65103号 申请。代数工程通讯。计算。 19,第3期,177-193(2008). 审核人:曼弗雷德·塔什(罗斯托克) MSC公司:65T50型 43A25型 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Rötteler}和\textit{T.Beth},应用。代数工程通讯。计算。19,第3号,177--193(2008;Zbl 1149.65103) 全文: 内政部
格里戈伊尔·勒塞夫 快速可分离因子分解及其应用。 (英语) Zbl 1205.12008年 申请。代数工程通讯。计算。 19,第2期,135-160(2008).MSC公司:2005年12月 68瓦30 2016年11月 13第05页 PDF格式BibTeX公司 XML格式引用 \textit{G.Lecerf},应用。代数工程通讯。计算。19,第2号,135--160(2008;Zbl 1205.12008) 全文: 内政部
佩雷兹·迪亚斯,S。;森德拉,J.R。;C·维拉里诺。 平面有理代数曲线的有限分段多项式参数化。 (英语) Zbl 1192.14048号 申请。代数工程通讯。计算。 18,编号1-2,91-105(2007).MSC公司:2005年第14季度 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{S.Pérez-Díaz}等人,应用。代数工程通讯。计算。18,编号1-2,91-105(2007年;Zbl 1192.14048) 全文: 内政部
Aless拉萨鲁克;托马斯·斯特姆 整数的完全线性理论的弱量词消除。 (英语) 兹比尔1154.68112 申请。代数工程通讯。计算。 18,第6号,545-574(2007).MSC公司:68瓦30 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Lasaruk}和\textit{T.Sturm},应用。代数工程通讯。计算。18,第6号,545--574(2007;Zbl 1154.68112) 全文: 内政部
Kusakari、Keiichirou;Masahiko酒井 在简单类型术语重写中使用强可计算性增强依赖对方法。 (英语) Zbl 1125.68064号 申请。代数工程通讯。计算。 18,第5期,407-431(2007).MSC公司:2012年第68季度 03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{K.Kusakari}和\textit{M.Sakai},应用。代数工程通讯。计算。18,第5号,407--431(2007;Zbl 1125.68064) 全文: 内政部
达尔·齐利奥(Dal Zilio,Silvano);丹尼斯·卢吉兹 XML模式、树逻辑和滑轮自动机。 (英语) Zbl 1107.68048号 申请。代数工程通讯。计算。 17,第5期,337-377(2006).MSC公司:65年第68季度 68第05页 03B70号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Dal Zilio}和\textit{D.Lugiez},应用。代数工程通讯。计算。17,第5号,337--377(2006;Zbl 1107.68048) 全文: 内政部 哈尔
初级、索兰奇优惠券;威廉·德洛贝尔 多集路径排序充分性的有效证明。 (英语) 兹比尔1107.68045 申请。代数工程通讯。计算。 17,第6期,453-469(2006).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Coupet-Grimal}和\textit{W.Delobel},应用。代数工程通讯。计算。17,第6453-469号(2006年;Zbl 1107.68045) 全文: 内政部
彼得·阿克曼;马丁·克鲁泽 Gröbner基密码系统。 (英语) Zbl 1104.94015号 申请。代数工程通讯。计算。 17,第3-4号,173-194(2006).MSC公司:94A60型 11T71型 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{P.Ackermann}和\textit{M.Kreuzer},应用。代数工程通讯。计算。17,编号3--4,173-194(2006;Zbl 1104.94015) 全文: 内政部
萨尔瓦多卢卡斯 关于重写终止证明中具有实系数、有理系数和整数系数的多项式的相对幂。 (英语) Zbl 1103.68061号 申请。代数工程通讯。计算。 17,第1期,49-73(2006).MSC公司:2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas},应用程序。代数工程通讯。计算。17、第1号、第49--73号(2006;Zbl 1103.68061) 全文: 内政部
伊戈尔·什帕林斯基;阿恩温特霍夫 有限域中稀疏多项式的噪声插值。 (英语) Zbl 1131.11077号 申请。代数工程通讯。计算。 16,第5号,307-317(2005). 审核人:罗伯特·菲茨杰拉德(卡本代尔) MSC公司:2006年11月 11T71型 PDF格式BibTeX公司 XML格式引用 \textit{I.Shparlinski}和\textit{A.Winterhof},应用。代数工程通讯。计算。16,第5号,307--317(2005;Zbl 1131.11077) 全文: 内政部
乔纳斯·芒森;帕特里克·诺德贝克 广义Ufnarovski图。 (英语) Zbl 1092.68058号 申请。代数工程通讯。计算。 16,第5期,293-306(2005).MSC公司:70年第68季度 05C38号 2016年10月 第16章第15节 PDF格式BibTeX公司 XML格式引用 \textit{J.Mánsson}和\textit{P.Nordbeck},应用。代数工程通讯。计算。16,编号5293-306(2005年;兹bl 1092.68058) 全文: 内政部
安德里亚·奥米奇尼;亚历山德罗·里奇;米尔科·维罗利 MAS中建模组织、角色和上下文的代数方法。 (英语) Zbl 1086.68575号 申请。代数工程通讯。计算。 16,编号2-3,151-178(2005).MSC公司:68T05型 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{A.Omicini}等人,应用。代数工程通讯。计算。16,编号2--3,151--178(2005;Zbl 1086.68575) 全文: 内政部
德波尔(Frank S。;维基·德弗里斯;John-Jules Ch.梅耶。;罗杰尔·范·艾克(Rogier M.van Eijk)。;范德霍克,威比 MAS中建模交互的过程代数和约束编程。 (英语) Zbl 1085.68100号 申请。代数工程通讯。计算。 16,编号2-3,113-150(2005).MSC公司:68问题85 68T01型 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人,应用。代数工程通讯。计算。16,第2--3113-150号(2005;Zbl 1085.68100) 全文: 内政部
大卫·金尼 代理计算的代数规范。 (英语) Zbl 1085.68093号 申请。代数工程通讯。计算。 16,编号2-3,77-111(2005).MSC公司:68问题65 68纳米99 第68页第19页 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kinny},应用程序。代数工程通讯。计算。16,编号2--3,77-111(2005;Zbl 1085.68093) 全文: 内政部
李钟元 有限域上Picard曲线的同构类。 (英语) 兹比尔1081.14509 申请。代数工程通讯。计算。 16,第1期,33-44(2005).MSC公司:14H25号 14克15 11G20峰会 14G50型 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Lee},应用。代数工程通讯。计算。16,第1号,第33-44条(2005;Zbl 1081.14509) 全文: 内政部
雷内·蒂曼;吉尔根·吉斯尔 用于终止术语重写的大小更改原则和依赖项对。 (英语) 兹比尔1101.68640 申请。代数工程通讯。计算。 16,第4期,229-270(2005).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Thiemann}和\textit{J.Giesl},应用。代数工程通讯。计算。16,第4号,229--270(2005;Zbl 1101.68640) 全文: 内政部
玛丽贝尔·费尔南德斯;伊恩·麦基;弗朗索瓦·雷吉斯·西诺 带有控制器字符串的Lambda-calculus。 (英语) Zbl 1101.68451号 申请。代数工程通讯。计算。 15,第6号,393-437(2005).MSC公司:68甲18 03B40型 2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fernández}等人,应用。代数工程通讯。计算。15,第6号,393--437(2005;Zbl 1101.68451) 全文: 内政部
阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃德曼 匹配边界字符串重写系统。 (英语) Zbl 1101.68048号 申请。代数工程通讯。计算。 15,第3-4149-171号(2004年).MSC公司:2012年第68季度 68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Geser}等人,应用。代数工程通讯。计算。15、编号3--4、149-171(2004;Zbl 1101.68048) 全文: 内政部 链接
杰玛·M·迪亚兹·托卡。;劳雷亚诺·冈萨雷斯-维加 子结果的各种新表达式及其应用。 (英语) Zbl 1073.15007号 申请。代数工程通讯。计算。 15,第3-4、233-266号(2004年). 审核人:柘仙湾(北京) MSC公司:15甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Diaz-Toca}和\textit{L.Gonzalez-Vega},应用。代数工程通讯。计算。15,编号3--4,233--266(2004;Zbl 1073.15007) 全文: 内政部
圣菲芭蕾舞团;琼·乔明 关于某些有限域上乘法的双线性复杂度的界。 (英语) Zbl 1086.11027号 申请。代数工程通讯。计算。 15,第3-4号,205-221(2004). 审核人:费尔南多·托雷斯(坎皮纳斯) MSC公司:11G20峰会 14H25号 11卢比 2016年11月 14克15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ballet}和\textit{J.Chaumine},应用。代数工程通讯。计算。15,编号3--4,205-221(2004;Zbl 1086.11027) 全文: 内政部
彼得·格拉布纳(Peter J.Grabner)。;塔马斯·赫伦迪;罗伯特·F·蒂希。 分形数字和和代码。 (英语) Zbl 0874.11012号 申请。代数工程通讯。计算。 8,第1期,33-39(1997). 审核人:V.Berthé(马赛) MSC公司:11A63型 94B35码 11年55 11比85 11升07 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Grabner}等人,应用。代数工程通讯。计算。8,第1号,33-39(1997;Zbl 0874.11012) 全文: 内政部
A.Geser。 改进的通用路径顺序。 (英语) 兹比尔0858.68049 申请。代数工程通讯。计算。 7,第6号,469-511(1996).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Geser},应用。代数工程通讯。计算。7,第6号,469--511(1996;Zbl 0858.68049) 全文: 内政部
泽纳·M·阿里奥拉。 通过Böhm模型重写关联图和术语。 (英语) Zbl 0855.68049号 申请。代数工程通讯。计算。 7,第5期,401-426(1996).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.M.Ariola},应用。代数工程通讯。计算。7,第5号,401-426(1996;Zbl 0855.68049) 全文: 内政部
纽约州拉克希曼。;B.David桑德斯 一元多项式的稀疏移位。 (英语) Zbl 0953.12006号 申请。代数工程通讯。计算。 7,第5期,351-364(1996); 勘误表同上7,第6号,561-562(1996年)。 审核人:Joseph Liang(坦帕) MSC公司:2005年12月 68瓦30 65小时05 PDF格式BibTeX公司 XML格式引用 \textit{Y.N.拉克希曼}和\textit{B.D.桑德斯},苹果。代数工程通讯。计算。7,No.5,351--364,勘误表No.6,561--562(1996;Zbl 0953.12006) 全文: 内政部
弗兰兹·巴德;沃纳·纳特 交换/单体理论的组合问题或代数如何帮助方程统一。 (英语) 兹比尔0853.03008 申请。代数工程通讯。计算。 7,第4期,309-337(1996).MSC公司:03C05号机组 08A70型 18E05型 2016年60月 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{W.Nutt},应用。代数工程通讯。计算。7,第4号,309--337(1996;Zbl 0853.03008) 全文: 内政部
费雷拉,M.C.F。;H.赞蒂玛。 术语重写的完全终止。 (英语) Zbl 0847.68054号 申请。代数工程通讯。计算。 7,第2期,133-162(1996).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.C.F.Ferreira}和\textit{H.Zantema},应用。代数工程通讯。计算。7,第2号,133--162(1996;Zbl 0847.68054) 全文: 内政部
亨宁费尔瑙 估值、正则表达式和分形几何。 (英语) Zbl 0851.68064号 申请。代数工程通讯。计算。 7,第1号,59-75(1996). 审核人:L.Staiger(哈雷) MSC公司:65年第68季度 28A80型 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{H.Fernau},应用。代数工程通讯。计算。7,第1号,59--75(1996;Zbl 0851.68064) 全文: 内政部
蒙塔尼亚,J.L。;Morais,J.E。;路易斯·帕尔多。 算术网络的下限。二: 贝蒂数之和。 (英语) 兹比尔0844.68069 申请。代数工程通讯。计算。 7,第1期,41-51(1996).MSC公司:68瓦30 65年第68季度 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Montaña}等人,应用。代数工程通讯。计算。7,第1号,41-51(1996;Zbl 0844.68069) 全文: 内政部
胡安·萨比亚;巴勃罗·索勒诺 Nullstellensatz中完全交点和度数的记录道边界。 (英语) Zbl 0844.14018号 申请。代数工程通讯。计算。 6,第6期,353-376(1995). 审核人:E.斯塔格纳罗(帕多瓦) MSC公司:14个M10 14A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Sabia}和\textit{P.Solernó},应用。代数工程通讯。计算。6,第6号,353--376(1995;Zbl 0844.14018) 全文: 内政部
弗鲁姆金,M。 球面谐波展开的快速算法。 (英语) Zbl 0838.65009号 申请。代数工程通讯。计算。 6,第6号,333-343(1995). 审核人:N.Hayek(拉古纳) MSC公司:65D20个 33 C55 PDF格式BibTeX公司 XML格式引用 \textit{M.Frumkin},应用。代数工程通讯。计算。6,第6号,333--343(1995;Zbl 0838.65009) 全文: 内政部
阿尔特·米德尔多普;伯恩哈德·格拉姆利希 简单的终止是困难的。 (英语) 兹伯利0815.68064 申请。代数工程通讯。计算。 6,第2期,115-128(1995).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Middeldorp}和\textit{B.Gramlich},应用。代数工程通讯。计算。6,编号2,115-128(1995;Zbl 0815.68064) 全文: 内政部
米歇尔·鲁西诺维奇;劳伦·维格纳龙 使用关联交换运算符进行自动演绎。 (英语) Zbl 0823.68096号 申请。代数工程通讯。计算。 6,第1期,23-56(1995年).MSC公司:68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Rusinovitch}和\textit{L.Vigneron},应用。代数工程通讯。计算。6,编号1,23-56(1995;Zbl 0823.68096) 全文: 内政部
塞雷塞·哈丁 显式替换语言的Eta转换。 (英语) Zbl 0810.03010号 申请。代数工程通讯。计算。 5,第6号,317-341(1994). 审核人:R.David(香槟) MSC公司:03B40型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Hardin},应用。代数工程通讯。计算。5,第6号,317--341(1994;Zbl 0810.03010) 全文: 内政部
诺伯特·库恩;克劳斯·马德勒;弗里德里希·奥托 计算多环群和上下文无关群的子群的表示。 (英语) Zbl 0807.20030号 申请。代数工程通讯。计算。 5,第5号,287-316(1994). 审核人:D.J.S.罗宾逊(乌尔班纳) MSC公司:20F05型 2016年1月20日 20E07年 2010年1月20日 PDF格式BibTeX公司 XML格式引用 \textit{N.Kuhn}等人,应用。代数工程通讯。计算。5,编号5,287--316(1994;Zbl 0807.2003) 全文: 内政部
阿尔特·米德尔多普;埃里克·哈蒙 基本窄化的完整性结果。 (英语) Zbl 0810.68088号 申请。代数工程通讯。计算。 5,第3-4号,213-253(1994).MSC公司:2012年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Middeldorp}和\textit{E.Hamoen},应用。代数工程通讯。计算。5、编号3--4、213--253(1994;Zbl 0810.68088) 全文: 内政部
阿普特,克日什托夫R。;埃琳娜·马尔奇奥里;卡图西亚帕拉米德斯 Prolog的一阶内置函数的声明性方法。 (英语) Zbl 0815.68035号 申请。代数工程通讯。计算。 5,第3-4号,159-191(1994). 审核人:N.Zamov(喀山) MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}等人,应用。代数工程通讯。计算。5,编号3--4,159--191(1994;Zbl 0815.68035) 全文: 内政部
伯恩哈德·格拉姆利希 重写模终止的广义充分条件。 (英语) Zbl 0810.68085号 申请。代数工程通讯。计算。 5,第3-4期,第131-158期(1994年). 审核人:J.Avenhaus(凯泽斯劳滕) MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Gramlich},应用。代数工程通讯。计算。5,编号3--4,131-158(1994;Zbl 0810.68085) 全文: 内政部
Kai Werther 有限域上稀疏多项式插值的复杂性。 (英语) Zbl 0813.11073号 申请。代数工程通讯。计算。 5,第2期,91-103(1994). 审核人:I.F.布莱克(滑铁卢/安大略省) MSC公司:2016年11月 2006年11月 65年第68季度 65D05型 PDF格式BibTeX公司 XML格式引用 \textit{K.Werther},应用。代数工程通讯。计算。5,第2号,91--103(1994;Zbl 0813.11073) 全文: 内政部
L·古尔奈。;J.J.Risler。 在半代数集合中构建路线图。 (英语) Zbl 0807.14047号 申请。代数工程通讯。计算。 4,第4期,239-252(1993). 审核人:S.Akbulut(东兰辛) MSC公司:第14页 65年第68季度 2005年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Gournay}和textit{J.Risler},应用。代数工程通讯。计算。4,第4号,239--252(1993;Zbl 0807.14047) 全文: 内政部
亚历山大·博克迈尔 条件收缩模为一组方程。 (英语) Zbl 0776.68068号 申请。代数工程通讯。计算。 第4期,第3期,第147-168页(1993年). 审核人:A.Bockmayr(萨尔布吕肯) MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bockmayr},应用。代数工程通讯。计算。4,编号3,147-168(1993年;兹bl 0776.68068) 全文: 内政部
蒙塔尼亚。;L.M.帕尔多。 算术网络的下限。 (英语) Zbl 0769.68055号 申请。代数工程通讯。计算。 4,第1号,1-24(1993).MSC公司:68瓦30 65年第68季度 2005年12月 12升05 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Montaña}和\textit{L.M.Pardo},应用。代数工程通讯。计算。4,编号1,1--24(1993;Zbl 0769.68055) 全文: 内政部
弗里德里希·奥托 在空字的同余类上完成一个有限的特殊字符串重写系统。 (英语) Zbl 0746.68048号 申请。代数工程通讯。计算。 2,第4期,257-274(1992).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Otto},应用。代数工程通讯。计算。2,第4号,257--274(1992;Zbl 0746.68048) 全文: 内政部
J·坎尼。;格里戈列夫,D.Yu。;新南威尔士州沃罗布埃夫。 求半代数集在次指数时间内的连通分量。 (英语) Zbl 0783.14036号 申请。代数工程通讯。计算。 2,第4期,217-238(1992). 审核人:T.雷西奥(桑坦德) MSC公司:第14页 65年第68季度 第12天15 68瓦30 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Canny}等人,应用。代数工程通讯。计算。2,第4号,217--238(1992;Zbl 0783.14036) 全文: 内政部
乌尔里希·鲍姆;迈克尔·克劳森;本诺·蒂兹 改进了离散傅立叶变换的复杂度上限。 (英语) Zbl 0734.65103号 申请。代数工程通讯。计算。 2,第1期,35-43(1991). 审核人:Y.Kobayashi(托托里) MSC公司:65T50型 65年20月 PDF格式BibTeX公司 XML格式引用 \textit{U.Baum}等人,应用。代数工程通讯。计算。2,编号1,35-43(1991;Zbl 0734.65103) 全文: 内政部
鲁道夫·利德尔 有限域理论中的计算问题。 (英语) Zbl 0745.11056号 申请。代数工程通讯。计算。 2,No.2,81-89(1991). 审核人:I.F.布莱克(滑铁卢/安大略省) MSC公司:2016年11月 68瓦30 2006年11月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lidl},应用。代数工程通讯。计算。2,第2号,81--89(1991;Zbl 0745.11056) 全文: 内政部
乌尔里希·鲍姆;穆罕默德·阿明·肖克罗拉希 \(\mathbb中乘法的一种优化算法{F}(F)_{256}/\mathbb{F}(F)_ 4\). (英语) Zbl 0743.68083号 申请。代数工程通讯。计算。 2,第1期,15-20页(1991年). 审核人:L.M.G.M.Tolhuizen(埃因霍温) MSC公司:68瓦30 2016年11月 PDF格式BibTeX公司 XML格式引用 \textit{U.Baum}和\textit{M.A.Shokrollahi},应用。代数工程通讯。计算。2,编号1,15--20(1991;Zbl 0743.68083) 全文: 内政部
莱安德罗·卡尼格里亚 如何计算单指数时间内非混合多项式理想的Chow形式。 (英语) 兹比尔0732.3012 申请。代数工程通讯。计算。 第1期,第25-41页(1990年). 审核人:P.Philippon(巴黎) MSC公司:第13页99 13层20 65年第68季度 13甲15 PDF格式BibTeX公司 XML格式引用 \textit{L.Caniglia},应用。代数工程通讯。计算。1,第1号,25--41(1990;Zbl 0732.13012) 全文: 内政部
法国贝勒加德;皮埃尔·莱斯坎 竣工终止。 (英语) Zbl 0723.68056号 申请。代数工程通讯。计算。 1,No.2,79-96(1990).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bellegarde}和\textit{P.Lescanne},应用。代数工程通讯。计算。1,第2号,79--96(1990;Zbl 0723.68056) 全文: 内政部
维布·博斯马 分圆域的标准基。 (英语) Zbl 0741.11041号 申请。代数工程通讯。计算。 1,第2期,125-134(1990). 审核人:F.哈尔特科赫(格拉茨) MSC公司:11兰特 11年40 PDF格式BibTeX公司 XML格式引用 \textit{W.Bosma},应用程序。代数工程通讯。计算。1,No.2,125--134(1990;Zbl 0741.11041) 全文: 内政部