×

找到39个文档(结果1-39)

计算机代数与Maxima。应用和编程基础。第二次更新版本。(计算机代数mit Maxima.Grundlagen der Anwendung und Programmierung) (德语) Zbl 1423.68004号

莱比锡:莱比锡国际书展(Fachbuchverlag Leipzig im Carl Hanser Verlag)(ISBN 978-3-446-44868-1/pbk;978-3-466-46095-9/电子书)。320页。(2019).
PDF格式BibTeX公司 XML格式引用

KeTCindy与计算机代数系统的合作。 (英语) 兹比尔1434.68609

Greuel,Gert-Martin(编辑)等人,《数学软件——ICMS 2016》。第五届国际会议,德国柏林,2016年7月11-14日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9725, 351-358 (2016).
MSC公司:68单位05 68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从汉谟拉比到哥德尔的算法。示例来自计算机代数系统Mathematica和Maxima。第4次修订和扩展版。(Hammurapi bis Gödel.Mit Beispilen aus den Computeralgebrasystemen Mathematica und Maxima算法) (德语) Zbl 1329.68004号

海德堡:施普林格演讲(ISBN 978-3-658-12362-8/pbk;978-3-558-12363-5/电子书)。xii,第376页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

极大值随机微分方程的同伦分析方法。 (英语) Zbl 1434.60141号

Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2015年9月14日至18日在德国亚琛举行的第17届CASC国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9301, 233-244 (2015).
MSC公司:60 H10型 68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Sage中自由、有限呈现和编织群的框架。 (英语) Zbl 1360.20029号

López de Silanes,M.C.(编辑)等人,第十二届萨拉戈萨-保罗数学国际会议。会议记录,2012年9月17日至19日,西班牙雅卡。萨拉戈萨:萨拉戈萨大学(ISBN 978-84-16028-35-1/pbk)。Monografías Matemáticas“García de Galdeano”39、167-176(2014)。
MSC公司:36楼20层 20-04 68瓦30
PDF格式BibTeX公司 XML格式引用

Mathemagix类型系统概述。 (英语) Zbl 1352.68306号

冯汝勇(编辑)等,《计算机数学》。2009年12月14日至17日在日本福冈举行的第九届亚洲研讨会,2012年10月26日至28日在中国北京举行的2012年亚洲研讨会。发表论文并邀请演讲。柏林:施普林格出版社(ISBN 978-3-662-43798-8/hbk;978-3-762-43799-5/电子书)。397-425 (2014).
MSC公司:68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

POLY:Maple 17的一种新的多项式数据结构。 (英语) Zbl 1352.68300号

冯汝勇(编辑)等,《计算机数学》。第九届亚洲研讨会,ASCM 2009,日本福冈,2009年12月14日至17日,第十届亚洲研讨会,ASCM 2012,中国北京,2012年10月26日至28日。发表论文并邀请演讲。柏林:施普林格出版社(ISBN 978-3-662-43798-8/hbk;978-3-762-43799-5/电子书)。325-348 (2014).
MSC公司:68瓦30 68第05页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过计算机代数系统在耦合逻辑映射格中的相干和大规模模式形成。 (英语) 兹比尔1420.37110

Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2014年9月8日至12日在波兰华沙举行的中国社会科学院2014年第16届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8660, 230-241 (2014).
MSC公司:37升60 68瓦30 82B10型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机代数与Maxima。应用和编程基础。(计算机代数mit Maxima.Grundlagen der Anwendung und Programmierung) (德语) Zbl 1304.68001号

莱比锡:Fachbuchverlag Leipzig im Carl Hanser Verlag(ISBN 978-3-446-44203-0/hbk;978-3-4446-43730-2/电子书)。第317页。(2014年)。
PDF格式BibTeX公司 XML格式引用

具有分形轨迹的动态博弈算法。 (英语) Zbl 1321.91009号

卡夫?,大卫(编辑)等人,《纯数学和应用数学中的分形几何和动力学系统II:应用数学的分形》。根据2010年10月贝诺·曼德尔布罗特去世后的三次会议选出的论文。2011年第1届PISRS国际分析、分形几何、动力系统和经济学会议,2011年11月8日至12日,意大利墨西拿,AMS纯数学和应用数学分形几何特别会议,纪念贝诺·曼德尔布罗特,美国马萨诸塞州波士顿,2012年1月,AMS分形空间几何和分析特别会议,美国夏威夷州火奴鲁鲁,2012年3月。普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-0-8218-9148-3/pbk;978-1-4704-1083-4/电子书)。《当代数学》601,95-112(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机代数系统中的张量计算。 (英语。俄文原件) Zbl 1301.68280号

程序。计算。柔和。 39,第3期,135-142(2013); 译自Programmirovanie 39,No.3(2013)。
MSC公司:68瓦30 65层99
PDF格式BibTeX公司 XML格式引用

学生将三角函数的答案与计算机代数系统的答案进行比较。 (英语) Zbl 1390.97003号

Carette,Jacques(编辑)等人,《智能计算机数学》。MKM、Calculemus、DML以及2013年系统和项目,作为2013年CICM的一部分,于2013年7月8日至12日在英国巴斯举行。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39319-8/pbk)。计算机科学讲座笔记7961。《人工智能课堂讲稿》,216-229(2013)。
MSC公司:97天60 68瓦30
PDF格式BibTeX公司 XML格式引用

用幂几何算法计算N.Kowalewski修正ODE系统的功率展开解。 (英语。俄文原件) Zbl 1257.65037号

程序。计算。柔和。 37,第2期,87-98(2011); 译自Programmirovanie 37,No.2(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

更精确但广泛适用的成本分析。 (英语) Zbl 1317.68027号

Jhala,Ranjit(编辑)等人,《验证、模型检查和抽象解释》。2011年1月23日至25日,第12届国际会议,VMCAI 2011,美国德克萨斯州奥斯汀。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-18274-7/pbk)。计算机科学课堂讲稿6538,38-53(2011)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Sage项目:统一自由数学软件,创建Magma、Maple、Mathematica和Matlab的可行替代方案。 (英语) Zbl 1295.68225号

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

算法。从汉谟拉比到哥德尔。第三次修订版。(《Algorithmen》,冯·汉谟拉比·哥德尔出版社) (英语) Zbl 1198.68295号

美因河畔法兰克福:Harri Deutsch(ISBN 978-3-8171-1864-9/pbk)。第349页。(2010).
MSC公司:68周01 68-01年 68-03
PDF格式BibTeX公司 XML格式引用

使用计算机代数的量子力学。在中包含示例程序C++、SymbolicC++、Maxima、Maple,以及数学软件.第2版。 (英语) Zbl 1204.81003号

新泽西州哈肯萨克:世界科学(ISBN 978-981-4307-16-1/hbk)。x、 第234页。(2010).
MSC公司:81-08 68瓦30
PDF格式BibTeX公司 XML格式引用

Maxima计算机代数系统中的有效有限域。 (英语) Zbl 1202.12001年

von zur Gathern,Joachim(编辑)等人,《有限域的算术》。2008年7月6日至9日在意大利锡耶纳举行的第二届WAIFI国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69498-4/pbk)。计算机科学课堂讲稿5130,62-76(2008)。
MSC公司:12-04 11T71型 2005年12月 68瓦30 94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

SARAG库:实代数几何中的一些算法。 (英语) Zbl 1230.14002号

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

关于在科学计算中使用通用Lisp。 (英语) Zbl 1105.68320号

Bänsch,Eberhard(编辑),科学计算的挑战–CISC 2002。2002年10月2日至5日,德国柏林,“科学计算的挑战”会议记录。柏林:施普林格出版社(ISBN 3-540-40887-8/hbk)。莱克特。注释计算。科学。工程35,237-245(2003)。
MSC公司:68甲15
PDF格式BibTeX公司 XML格式引用

计算机代数系统和符号计算。 (英语。俄文原件) 兹比尔1067.68181

数学杂志。科学。,纽约 120,第4期,1613-1617(2004); Zap的翻译。诺什。塞明。POMI 281227-236(2001)。
MSC公司:68瓦30 13页第10页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

二元函数的递归链及其在曲面绘制中的应用。 (英语) Zbl 0909.68191号

Kajler,Norbert(编辑),符号计算中的计算机-人类交互。带有D.S.Scott的前言。维恩:施普林格。符号计算中的文本和专著。141-161 (1998).
MSC公司:68单位05
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

软件