艾丽卡·阿尔布拉汉姆;约翰·阿伯特;贝恩德·贝克尔;安娜·比加蒂(Anna M.Bigatti)。;Brain,马丁;布赫伯格,布鲁诺;亚历山德罗·西马蒂;詹姆斯·H·达文波特。;英格兰,马修;帕斯卡·方丹;史蒂芬·福雷斯特;阿尔贝托·格里乔;丹尼尔·克罗宁;Werner M.塞勒。;托马斯·斯特姆 联合国安全理事会\(^2):可满足性检查满足符号计算。(项目文件)。 (英语) 兹比尔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公司
马库斯·罗森克兰兹;布赫伯格,布鲁诺;乔治·雷根斯堡;Tec,Loredana公司 利用Groebner基求解线性边值问题的一种新的符号方法。 (英语) Zbl 1192.68932号 铃木、Masakazu(编辑)等,《2009年ASCM和MACIS联合会议》。第九届亚洲计算机数学研讨会国际会议和第三届计算机和信息科学数学方面国际会议,日本福冈,2009年12月14-17日。精选论文。福冈:九州大学数学系。COE讲座笔记22,1(2009)。MSC公司:68瓦30 13号B10 34个B05 PDF格式BibTeX公司 XML格式引用 \textit{M.Rosenkranz}等人,COE Lect。附注22、1(2009年;Zbl 1192.68932)
布赫伯格,布鲁诺 Gröbner基础与系统理论。 (英语) Zbl 1088.93500号 多维系统。信号处理。 12,编号3-4,223-251(2001).MSC公司:93A05型 68瓦30 93-02 93B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Buchberger},多维系统。信号处理。12、编号3--4、223--251(2001;Zbl 1088.93500) 全文: 内政部
布赫伯格,布鲁诺(编辑);弗兰茨·温克勒(编辑) 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)
布赫伯格,布鲁诺 Groebner基地简介。 (英语) Zbl 2017年8月9日 Schwichtenberg,Helmut(编辑),《计算逻辑》。北约ASI会议记录。德国马尔托贝尔多夫。1995年7月25日至8月6日。柏林:斯普林格。北约ASI系列。,序列号。F、 计算。系统。科学。157, 35-66 (1997). 审核人:A.Logar(的里雅斯特) MSC公司:第13页第10页 68瓦30 13层20 PDF格式BibTeX公司 XML格式引用 \textit{B.Buchberger},北约ASI Ser。,序列号。F、 计算。系统。科学。157、35-66(1997;Zbl 0908.13017)
布赫伯格,布鲁诺(编辑) [伯恩哈德·库兹勒;曼弗雷德·费尔梅尔;马蒂亚斯·克拉茨;乌尔里希库利施;Rump,齐格弗里德] Rechnerorientierte Verfahren公司。 (德语) Zbl 0601.65002号 技术数学方法,Bd.4。斯图加特:B.G.Teubner,281 S.DM 48.00(1986)。 审核人:F.霍夫曼 MSC公司:65-02 00A06号 65华氏度 68瓦30 65N30型 74S05号 65T40型 65克50 2005年5月 68N25号 PDF格式BibTeX公司 XML格式
布赫伯格,布鲁诺(编辑) 85年欧洲。欧洲计算机代数会议,奥地利林茨,1985年4月1日至3日。诉讼程序。第一卷:特邀讲座。 (英语) Zbl 0568.00018号 计算机科学课堂讲稿, 203. 柏林等:Springer-Verlag。五、 233 p.DM 32.00(1985年)。MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式 全文: 内政部
巴赫伯格,B。;卢斯,R。 代数简化。 (英语) Zbl 0494.68045号 计算机代数,符号和代数计算,计算机。补充4,11-43(1982)。MSC公司:68瓦30 13-04 14-04 68瓦99 60年第68季度 PDF格式BibTeX公司 XML格式
巴赫伯格,B。(编辑);柯林斯,G.E。(编辑);卢斯,R。(编辑);R·阿尔布雷希特。(编辑) 计算机代数。符号和代数计算。与R.Albrecht合作。 (英语) 兹标0491.00019 计算补遗, 4. 维也纳-纽约:斯普林格-Verlag。七、 283 p.OeS 850.00;122.00马克;$48.80; 用户OeS 765.00;109.80马克;美元44.00 (1982).MSC公司:00亿Bxx 68-06 PDF格式BibTeX公司 XML格式