加兰·加西亚,何塞·路易斯;佩德罗·罗德里格斯·西洛斯;加兰·加西亚,玛丽亚·安格尔;摩根·勒戈夫;尤兰达帕迪拉·多明格斯;巴勃罗·罗德里格斯-帕迪利亚;伊万·阿滕西亚;加布里埃尔·阿奎列拉·维内加斯 SODES:逐步求解常微分方程。 (英语) Zbl 07711002号 J.计算。申请。数学。 428,文章ID 115127,16 p.(2023).MSC公司:68瓦xx 68倍 65年xx月 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Galán-García}等人,《计算杂志》。申请。数学。428,文章ID 115127,16 p.(2023;Zbl 07711002) 全文: 内政部
哥尔根,克里斯蒂安;安娜·比加蒂;伊娃·里科马尼奥;吉姆·Q·史密斯。 使用计算机代数发现统计等价类。 (英语) Zbl 1451.62166号 国际J近似推理 95, 167-184 (2018).MSC公司:62卢比 62H22个 68瓦30 62页第10页 62第25页 62-08 PDF格式BibTeX公司 XML格式引用 \textit{C.Görgen}等人,国际期刊近似推理95,167--184(2018;Zbl 1451.62166) 全文: 内政部 arXiv公司
安东尼奥·埃尔南多;罗伯托·马丁内斯音乐大师;尤金尼奥·罗内斯·洛扎诺 用于实现代数专家系统的自然语言。 (英语) Zbl 1524.68368号 数学。计算。模拟。 129, 31-49 (2016).MSC公司:68层35 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Hernando}等人,数学。计算。模拟。129,31-49(2016年;兹比尔1524.68368) 全文: 内政部
艾丽卡·阿尔布拉汉姆;约翰·阿伯特;贝恩德·贝克尔;安娜·比加蒂(Anna M.Bigatti)。;布莱恩,马丁;布赫伯格,布鲁诺;亚历山德罗·西马蒂;詹姆斯·H·达文波特。;英格兰,马修;帕斯卡·方丹;史蒂芬·福雷斯特;阿尔贝托·格里乔;丹尼尔·克罗宁;Werner M.塞勒。;托马斯·斯特姆 联合国安全理事会\(^2):可满足性检查满足符号计算。(项目文件)。 (英语) Zbl 1344.68198号 Michael Kohlhase(编辑)等人,《智能计算机数学》。2016年7月25日至29日,第九届国际会议,CICM 2016,波兰比亚莱斯托克。诉讼程序。查姆:施普林格(ISBN 978-3-319-42546-7/pbk;978-3-316-42547-4/电子书)。计算机科学课程讲稿9791。人工智能课堂讲稿,28-43(2016)。MSC公司:68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人,Lect。注释计算。科学。9791,28-43(2016;Zbl 1344.68198) 全文: 内政部 arXiv公司
博格丹·伊奇姆;安德烈·扎罗亚努 希尔伯特深度简介。 (英语) Zbl 1338.13029号 Choban,Mitrofan(编辑)等人,2014年8月19日至23日,摩尔多瓦共和国奇什因奥乌ASM数学与计算机科学研究所成立50周年,摩尔多瓦共和国数学学会第三届会议。摘要。奇什因欧:摩尔多瓦科学院数学和计算机科学研究所(ISBN 978-9975-68-244-2/pbk)。《IMCS-50会议记录》,86-89(2014)。MSC公司:13日40分 2013年05月 PDF格式BibTeX公司 XML格式引用 \textit{B.Ichim}和\textit{A.Zarojanu},in:摩尔多瓦共和国数学学会第三届会议,纪念数学和计算机科学研究所成立50周年,ASM,奇什因奥卢,摩尔多瓦,共和国,2014年8月19-23日。摘要。奇什因欧:摩尔多瓦科学院数学与计算机科学研究所。86-89(2014年;Zbl 1338.13029)
乌兹乌韦豪斯;雷蒙德·亨梅克;塞巴斯蒂安·波库塔 重建生化簇网络。 (英语) Zbl 1274.92054号 数学杂志。化学。 49,第10号,2441-2456(2011).MSC公司:92E20型 05C90年 92C40型 92E10型 PDF格式BibTeX公司 XML格式引用 \textit{U.-U.Haus}等人,《数学杂志》。化学。49,第10号,2441--2456(2011;Zbl 1274.92054) 全文: 内政部 arXiv公司
加布里埃尔·斯蒂克拉鲁 代数统计学:一些应用。 (英语) Zbl 1415.13017号 斯皮鲁·哈雷特州立大学。材料-通知。 6, 41-53 (2010).MSC公司:13第25页 13页第10页 62K15型 PDF格式BibTeX公司 XML格式引用 \textit{G.Sticlaru},美国州立大学斯皮鲁·哈雷分校。材料-通知。6,41-53(2010年;兹bl 1415.13017)
亚当·纳莫维奇 接口外部CA系统,用于Gröbner在Mizar证明检查中的基础计算。 (英语) 兹比尔1178.68692 国际期刊计算。数学。 87,第1期,第1-11页(2010年).MSC公司:68瓦30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Naumowicz},国际计算机杂志。数学。87,编号1,1--11(2010;Zbl 1178.68692) 全文: 内政部
格特·马丁·格雷尔;格哈德·普菲斯特 [奥拉夫·巴赫曼;克里斯托夫·洛森;汉斯·施奈曼] 交换代数的奇异导论。奥拉夫·巴赫曼(Olaf Bachmann)、克里斯托夫·洛森(Christoph Lossen)和汉斯·舍尼曼(Hans Schönemann)提供了捐款。第二次扩展版。 (英语) Zbl 1133.13001号 柏林:施普林格出版社(ISBN 978-3-540-73541-0/hbk)。xx,689页。(2007年)。 审核人:彼得·申泽尔(哈莉) MSC公司:13-04 第13页 14-04 13页第10页 第14季度 13-01 2002年13月 68瓦30 68-01年 14-01 PDF格式BibTeX公司 XML格式引用 \textit{G.-M.Greuel}和\textit{G.Pfister},交换代数的奇异介绍。奥拉夫·巴赫曼(Olaf Bachmann)、克里斯托夫·洛森(Christoph Lossen)和汉斯·舍尼曼(Hans Schönemann)提供了捐款。第二版扩展版柏林:施普林格出版社(2007;Zbl 1133.13001) 全文: 内政部 反向链接: 卫生官员
Jean-Guillaume杜马(编辑) 2006年符号和代数计算国际研讨会论文集,ISSAC 06,Genova,意大利,2006年7月9日至12日。 (英语) Zbl 1117.68092号 纽约州纽约市:ACM出版社(ISBN 1-59593-276-3)。xii,第361页。(2006年)。MSC公司:68瓦30 68-06 11-06 12-06 13-06 14-06 PDF格式BibTeX公司 XML格式引用 \textit{J.-G.Dumas}(编辑),2006年符号和代数计算国际研讨会论文集,ISSAC 06,意大利热那亚,2006年7月9-12日。纽约州纽约市:ACM出版社(2006;Zbl 1117.68092)
格特·马丁·格雷尔;格哈德·普菲斯特 奇异和应用。 (英语) 兹比尔1112.13029 Jahresber。Dtsch公司。数学-版本。 108,第4期,第167-196页(2006年).MSC公司:13页第10页 1999年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{G.-M.Greuel}和\textit{G.Pfister},Jahresber。Dtsch公司。数学-108版,第4号,167--196(2006;Zbl 1112.13029)
Roanes-Lozano,E。;Roanes-Macías,E。;维拉尔·梅纳,M。 动态几何和计算机代数之间的桥梁。 (英语) Zbl 1073.68899号 数学。计算。建模 37,编号9-10,1005-1028(2003).MSC公司:68瓦30 65天18分 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.Roanes-Lozano}等人,数学。计算。建模37,编号9--10,1005--1028(2003;Zbl 1073.68899) 全文: 内政部
Jean-Guillaume杜马;弗兰克·赫肯巴赫;大卫·桑德斯;沃尔克马尔·韦尔克 基于高效Smith范式算法计算单纯形同调。 (英语) Zbl 1026.55010号 Joswig,Michael(编辑)等人,《代数、几何和软件系统》。柏林:斯普林格。177-206 (2003). 审核人:科琳娜·莫霍里亚努(伊阿什伊) MSC公司:55N99型 55-04 PDF格式BibTeX公司 XML格式引用 \textit{J.-G.Dumas}等人,in:代数、几何和软件系统。柏林:斯普林格。177--206(2003;Zbl 1026.55010)
王明生;Kwong,C.P.公司。 使用syzygy算法计算GCLF。 (英语) Zbl 1014.65032号 Cohen,Arjeh M.(编辑)等人,《数学软件》。第一届国际会议记录,中国北京,2002年8月17日至19日。新加坡:世界科学。93-103 (2002).MSC公司:65楼30 15A54号 2002年第13天 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.Wang}和\textit{C.P.Kwong},in:数学软件。第一届国际会议记录,中国北京,2002年8月17日至19日。新加坡:世界科学。93-103(2002年;兹bl 1014.65032)
张胜贵;蒋兆林;刘三阳 Gröbner基在计算块循环矩阵的极小多项式和逆中的应用。 (英语) Zbl 1005.65040号 线性代数应用。 347,编号1-3,101-114(2002). 审核人:艾莉森·里维斯(鲍伊) MSC公司:65楼30 65平方英尺 68瓦30 15A21号机组 13页第10页 15B33型 PDF格式BibTeX公司 XML格式引用 \textit{S.Zhang}等人,线性代数应用。347,编号1--3,101-114(2002;Zbl 1005.65040) 全文: 内政部
格特·马丁·格雷尔;格哈德·普菲斯特 [奥拉夫·巴赫曼;克里斯托夫·洛森;汉斯·施奈曼] 交换代数的奇异导论。奥拉夫·巴赫曼(Olaf Bachmann)、克里斯托夫·洛森(Christoph Lossen)和汉斯·舍尼曼(Hans Schönemann)提供了捐款。 (英语) Zbl 1023.13001号 柏林:斯普林格。xvii,588 p.39.95欧元/净;法语。68.50; £28.00; $ 44.95 (2002). 审核人:彼得·申泽尔(哈莉) MSC公司:13-04 第13页 14-04 13页第10页 第14季度 13-01 2002年13月 68瓦30 68-01年 14-01 PDF格式BibTeX公司 XML格式引用 \textit{G.-M.Greuel}和\textit{G.Pfister},交换代数的奇异介绍。奥拉夫·巴赫曼(Olaf Bachmann)、克里斯托夫·洛森(Christoph Lossen)和汉斯·舍尼曼(Hans Schönemann)提供了捐款。柏林:施普林格出版社(2002;Zbl 1023.13001)
盖特曼,卡琳 等变动力系统的计算机代数方法。 (英语) 兹比尔0944.65131 数学课堂笔记. 1728. 柏林:斯普林格。xv,153页(2000年)。 审核人:Boris V.Loginov(乌里扬诺夫斯克) MSC公司:65页30 65-02 68瓦30 13页第10页 37米20 PDF格式BibTeX公司 XML格式引用 \textit{K.Gatermann},等变动力系统的计算机代数方法。柏林:施普林格出版社(2000;Zbl 0944.65131) 全文: 内政部 反向链接: 卫生官员
乔瓦尼·皮斯通;亨利·韦恩(Henry P.Wynn)。 有限生成的累积量。 (英语) 兹比尔0958.62018 统计正弦。 第9期,第4期,1029-1052页(1999年).MSC公司:62E99型 65C60个 PDF格式BibTeX公司 XML格式引用 \textit{G.皮斯通}和\textit{H.P.韦恩},Stat.Sin。9,第4号,1029--1052(1999;Zbl 0958.62018)
尤金尼奥·罗内斯·洛扎诺;路易斯·莱塔。;罗内斯·马西亚斯,尤金尼奥 多值逻辑的多项式模型,具有代数几何和计算机代数的触觉。 (英语) Zbl 1017.03509号 数学。计算。模拟。 45,编号1-2,83-99(1998).MSC公司:03B50号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.Roanes-Lozano}等人,数学。计算。模拟。45,编号1--2,83-99(1998;Zbl 1017.03509) 全文: 内政部
洛伦佐·罗比亚诺;玛丽亚·皮拉·罗根亭 全析因设计和分心分数。 (英语) Zbl 0897.62085号 Buchberger,Bruno(编辑)等人,《Gröbner基础和应用》。基于1998年1月为年轻研究人员开设的课程,以及1998年2月2日至4日在奥地利林茨举行的“Gröbner基地33年”会议。剑桥:剑桥大学出版社。伦敦。数学。Soc.Lect(社会学)。注释序列号。251, 473-482 (1998).MSC公司:62K15型 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{L.Robbiano}和\textit{M.P.Rogantin},伦敦。数学。Soc.Lect(社会学)。注释序列号。251473--482(1998年;Zbl 0897.62085)
布赫伯格,布鲁诺(编辑);弗兰茨·温克勒(编辑) Gröbner基础和应用。基于1998年1月为年轻研究人员开设的课程,以及1998年2月2日至4日在奥地利林茨举行的“Gröbner基地33年”会议。 (英语) Zbl 0883.00014号 伦敦数学学会讲座笔记系列. 251. 剑桥:剑桥大学出版社。viii,552页(1998年)。MSC公司:00B25型 13-06 68-06 16-06 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{B.Buchberger}(编辑)和\textit{F.Winkler}(主编),Gröbner bases and applications。根据1998年1月为年轻研究人员开设的课程和1998年2月2日至4日在奥地利林茨举行的“Gröbner基地33年”会议。剑桥:剑桥大学出版社(1998;Zbl 0883.00014)
格雷厄尔,G.-M。;普菲斯特,G。 标准基和合成理论的进展和改进。 (英语) Zbl 0854.13015号 架构(architecture)。数学。 66,第2期,163-176(1996). 审核人:G.Pfister(凯泽斯劳滕) MSC公司:13页第10页 14B05型 1999年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Greuel}和\textit{G.Pfister},Arch。数学。66,No.2,163--176(1996;Zbl 0854.13015) 全文: 内政部
A.卡帕尼。;G.尼西。;罗比亚诺。 (CoCoA 3)的一些特征。 (英语) Zbl 0920.68060号 计算。科学。J.模具。 4,第3号(12),296-314(1996).MSC公司:68瓦30 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{A.Capani}等人,《计算》。科学。J.模具。4,第3号(12),296--314(1996;Zbl 0920.68060)
阿方索·米奥拉(编辑) 符号计算系统的设计与实现。1990年4月10日至12日,意大利卡普里,DISCO’90国际研讨会。诉讼程序。 (英语) Zbl 0757.68013号 计算机科学课堂讲稿. 429. 柏林等:Springer-Verlag。十二、 第284页(1990年)。 审核人:弗朗西斯·约翰·赖特(伦敦) MSC公司:68-06 68甲15 68瓦30 68吨15 68单位05 68N17号 2012年第68季度 68层35 PDF格式BibTeX公司 XML格式引用 \textit{A.Miola}(编辑),符号计算系统的设计与实现。DISCO’90国际研讨会,意大利卡普里,1990年4月10日至12日。诉讼程序。柏林等:施普林格出版社(1990年;Zbl 0757.68013)
洛伦佐·罗比亚诺 计算机和交换代数。 (英语) Zbl 0699.68053号 应用代数,代数算法和纠错码,Proc。第六届国际会议,AAECC-6,罗马/意大利,1988年,Lect。注释计算。科学。357, 31-44 (1989). 审核人:H.沃纳 MSC公司:68瓦30 PDF格式BibTeX公司 XML格式