×

找到176个文档(结果1-100)

在Lean中形式化几何代数。 (英语) Zbl 1494.68307号

PDF格式BibTeX公司 XML格式引用

超椭圆域中周期连分式展开式为(sqrt{f})的多项式的分类问题。 (英语。俄文原件) Zbl 1483.11123号

伊兹夫。数学。 85,第5期,972-1007(2021); Izv的翻译。罗斯。阿卡德。Nauk,爵士。材料85,编号5,152-189(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

离散数学指南。对历史、理论、逻辑和应用的简单介绍。第二版。 (英语) Zbl 1484.68006号

计算机科学课文查姆:施普林格(ISBN 978-3-030-81587-5/hbk;978-3-0.30-81588-2/电子书)。第二十二章,第452页。(2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用代数曲面进行计算。 (英语) Zbl 1506.14049号

Bigatti、Anna Maria(编辑)等人,《数学软件——ICMS 2020》。第七届国际会议,德国布伦瑞克,2020年7月13日至16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。1209787-93(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种求解满足Runge条件的四次丢番图方程的算法。 (英语) Zbl 1456.11237号

英格兰,马修(编辑)等人,《科学计算中的计算机代数》。2019年8月26日至30日在俄罗斯莫斯科举行的中国社会科学院第21届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11661, 377-392 (2019).
MSC公司:11年50 11天25分
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

计算机科学家的数学。以实践为导向的教科书。第7次修订和扩充版。(Mathematik für Informatiker出版社,Lehrbuch出版社。) (德语) Zbl 1447.68002号

威斯巴登:Springer Vieweg(ISBN 978-3-658-26523-6/pbk;978-3-558-26524-3/ebook)。xii,第642页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Möbius-Lie几何及其推广。 (英语) Zbl 1415.51003号

Mladenov,Ivaílo M.(编辑)等人,《第20届几何、可积性和量化国际会议论文集》,Sts。2018年6月2-7日,保加利亚,君士坦丁和埃琳娜(靠近瓦尔纳)。索非亚:Avangard Prima;索非亚:保加利亚科学院,生物物理和生物医学工程研究所。地质学。《可积性量化》20,13-61(2019)。
PDF格式BibTeX公司 XML格式引用

使用动态几何和自动推理工具在正多边形中寻找和证明新的几何定理。 (英语) Zbl 1417.68188号

弗洛里安·拉贝(编辑)等人,《智能计算机数学》。2018年8月13日至17日,第11届国际会议,CICM 2018,奥地利哈根堡。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11006, 164-177 (2018).
MSC公司:68吨15 11二氧化碳 68单位05 68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

代码、密码学和计算机代数曲线。 (英语) Zbl 1416.94003号

剑桥:剑桥大学出版社(ISBN 978-0-521-81710-0/hbk;978-0-52 1-52036-2/pbk;978-1-108-54782-6/电子书)。xii,597页。(2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

尼莫/赫克。Julia编程语言的计算机代数和数论包。 (英语) Zbl 1457.68325号

Burr,Michael(编辑),第42届符号和代数计算国际研讨会论文集,ISSAC 2017,德国凯泽斯劳滕,2017年7月25-28日。纽约州纽约市:计算机协会(ACM)。157-164 (2017).
MSC公司:68瓦30 11-04
PDF格式BibTeX公司 XML格式引用

\(11\mid p(11n+6)\)的新见证人身份。 (英语) Zbl 1416.11155号

Andrews,George E.(编辑)等,解析数论,模形式和超几何级数。2016年3月17日至21日,美国佛罗里达州盖恩斯维尔佛罗里达大学,为庆祝克利须那·阿拉迪60岁生日。查姆:斯普林格。Springer程序。数学。《统计》第221、625-639页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Clifford代数和张量代数在极大值上的稀疏表示。 (英语) Zbl 1367.15040号

PDF格式BibTeX公司 XML格式引用

分区分析、模函数和计算机代数。 (英语) Zbl 1354.05010号

Beveridge,Andrew(编辑)等人,《组合学的最新趋势》。查姆:施普林格(ISBN 978-3-319-24296-5/hbk;978-3-3169-24298-9/电子书)。IMA数学及其应用卷159,511-543(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机科学家的数学。基础和应用。第二次修订和扩大版。(Mathematik für Informatiker,Grundlagen und Anwendungen.) (德语) Zbl 1390.68005号

威斯巴登:Springer Vieweg(ISBN 978-3-662-49869-9/pbk;978-3-862-49870-5/电子书)。xi,第551页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

离散数学指南。对历史、理论、逻辑和应用的简单介绍。 (英语) Zbl 1358.68004号

计算机科学课文查姆:施普林格(ISBN 978-3-319-44560-1/hbk;978-3-316-44561-8/电子书)。第22页,第368页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

代数和算法课程。RSA和离散对数密码学的应用。第二版。(Cours d’algèbre et d’algorithmique.RSA和对数离散密码的应用。) (法语) Zbl 1326.94001号

Pierre Meunier系列——数学。图卢兹:Cépaduès-Editions(ISBN 978-2-36493-097-1/pbk)。360页。(2014).
PDF格式BibTeX公司 XML格式引用

可逆无垃圾乘数的强度。 (英语) Zbl 1407.65335号

Dueck,Gerhard W.(编辑)等人,《可逆计算》。2013年7月4日至5日,加拿大不列颠哥伦比亚省维多利亚市,第五届国际会议,RC 2013。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。7948, 46-57 (2013).
MSC公司:6504年 2016年11月 94立方厘米10
PDF格式BibTeX公司 XML格式引用
全文: 内政部

简明的计算机数学。理论和问题教程。 (英语) Zbl 1298.68003号

Springer计算机科学简介查姆:施普林格(ISBN 978-3-319-01750-1/pbk;978-3-3169-01751-8/电子书)。xii,109页。(2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

现代计算机代数。第3版。 (英语) Zbl 1277.68002号

剑桥:剑桥大学出版社(ISBN 978-1-107-03903-2/hbk;978-1-139-85606-5/电子书)。xiv,796页。(2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

离散代数方法。算术、密码学、自动机和组。(Diskrete algebraische Methoden.算术,Kryptographie,Automaten und Gruppen) (德语) Zbl 1283.11001号

德格鲁伊特工作室柏林:de Gruyter(ISBN 978-3-11-031260-7/pbk;978-3-11-1031261-4/电子书)。xi,第318页。(2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用转置树排序排列的上界。 (英语) Zbl 1266.05064号

离散数学。算法应用。 第5期,第1期,135003页,第23页(2013年); 勘误表同上,第5号,第3条,第1392001条,第1页(2013年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

代数和算法课程。RSA和离散对数密码学的应用。(Cours d’algèbre et d’algorithmique.RSA和对数离散密码的应用。) (法语) 兹比尔1308.94002

图卢兹:Cépaduès-Editions(ISBN 978-2-36493-014-8/pbk)。第336页。(2012年)。
PDF格式BibTeX公司 XML格式引用

现代数学计算导论。使用Mathematica。 (英语) Zbl 1252.65001号

施普林格大学数学与技术专业本科生课文纽约州纽约市:施普林格出版社(ISBN 978-1-4614-4252-3/hbk;978-1-461/4253-0/电子书)。十六、224页。(2012年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

符号计算代数。Daniele A.Gewurz从意大利语翻译而来。 (英语) Zbl 1238.12001年

Unitext(Unitext)61.La Matematica per il 3+2(马特马提卡)。米兰:施普林格出版社(ISBN 978-88-470-2396-3/pbk;978-88-670-2397-0/电子书)。viii,174页。(2012年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有序泛随机图和有限自动机上的一元结构。 (英语。俄文原件) Zbl 1237.05188号

伊兹夫。数学。 75,第5期,915-932(2011); Izv的翻译。罗斯。阿卡德。Nauk,爵士。Mat.75,No.5,47-64(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

现代数学计算导论。和枫叶一起。 (英语) Zbl 1228.65001号

施普林格大学数学与技术专业本科生课文纽约州纽约市:施普林格出版社(ISBN 978-1-4614-0121-6/hbk;978-1-461/0122-3/电子书)。十六、216页。(2011).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

初学者离散数学。应用于工艺和计算机科学。第4版更新。(Diskrete Mathematik für Einsteiger,Mit Anwendungen,《技术与信息》) (德语) Zbl 1213.00003号

工作室。威斯巴登:Vieweg+Teubner(ISBN 978-3-8348-1248-3/pbk)。viii,第254页。(2011).
PDF格式BibTeX公司 XML格式引用

岩浆——数论的工具。 (英语) Zbl 1294.68153号

Fukuda,Komei(编辑)等人,《数学软件——ICMS 2010》。第三届数学软件国际大会,日本神户,2010年9月13日至17日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15581-9/pbk)。计算机科学课堂讲稿6327253-255(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

2009年符号和代数计算国际研讨会论文集,ISSAC 2009,首尔,2009年7月28日至31日。 (英语) Zbl 1236.00041号

纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-609-0)。xii,389页(2009年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

计算机科学家的数学。基础和应用。(Mathematik für Informatiker,Grundlagen und Anwendungen.) (德语) Zbl 1119.68001号

海德堡:Elsevier/Spektrum Akademischer Verlag(ISBN 978-3-8274-1631-5/pbk)。xi,第451页。(2007).
PDF格式BibTeX公司 XML格式引用

卡什:最近的事态发展。 (英语) Zbl 1229.11160号

Iglesias、Andrés(编辑)等人,《数学软件——ICMS 2006》。第二届数学软件国际会议,卡斯特罗·乌迪亚莱斯,西班牙,2006年9月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-38084-9/pbk)。计算机科学讲义4151170-181(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

2006年符号和代数计算国际研讨会论文集,ISSAC 06,Genova,意大利,2006年7月9日至12日。 (英语) Zbl 1117.68092号

纽约州纽约市:ACM出版社(ISBN 1-59593-276-3)。xii,第361页。(2006).
PDF格式BibTeX公司 XML格式引用

计算机代数食谱。科学数学模型入门指南。带CD-ROM。 (英语) Zbl 1106.68001号

纽约州纽约市:施普林格出版社(ISBN 0-387-25767-5/pbk)。x、 430页。(2006).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于求解集合{0,1}上线性丢番图约束系统的算法。 (英语。俄文原件) Zbl 1097.65061号

赛博。系统。分析。 39,第5期,676-685(2003); 翻译自Kibern。修女。分析。2003年,第5期,58-69(2003)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

微调Zeilberger算法。自动过滤和创造性替换的方法。 (英语) 兹伯利1037.33018

Garvan,Frank G.(编辑)等人,《符号计算、数论、特殊函数、物理学和组合学》。会议记录,美国佛罗里达州盖恩斯维尔,1999年11月11日至13日。多德雷赫特:Kluwer学术出版社(ISBN 1-4020-101-0/hbk)。发展数学。4, 243-254 (2001).
MSC公司:33层10 11个B65
PDF格式BibTeX公司 XML格式引用

使用\(text{GF}(2^m)\)中的模乘数/平方进行面积有效指数运算。 (英语) Zbl 1005.94543号

王杰(编辑),《计算与组合学》。第七届国际年会,COCOON 2001,中国桂林,2001年8月20日至23日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2108, 262-267 (2001).
MSC公司:94立方厘米10 11吨71 2016年11月 2007年7月68日
PDF格式BibTeX公司 XML格式引用
全文: 链接

2001年符号和代数计算国际研讨会论文集,ISSAC’01,加拿大安大略省伦敦,2001年。 (英语) Zbl 0992.68240号

纽约州纽约市:ACM出版社。47篇文章,352页(电子版)(2001年)。
PDF格式BibTeX公司 XML格式引用

通信网络和希尔伯特模块形式。 (英语) Zbl 1015.94025号

Ciliberto,Ciro(编辑)等人,《代数几何在编码理论、物理和计算中的应用》。2001年2月25日至3月1日,以色列埃拉特,北约高级研究研讨会会议记录。多德雷赫特:Kluwer学术出版社。北约科学。序列号。二、 数学。物理。化学。36, 255-270 (2001).
PDF格式BibTeX公司 XML格式引用

Schur环在代数组合学中的应用:图、部分差集和分圆方案。 (英语) Zbl 0978.05077号

奥尔登堡:奥尔登堡大学数学系,189页(2001年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件