×

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

杜拉克级数系数的近似计算。 (英语。俄文原件) Zbl 1504.34026号

俄罗斯数学。 65,编号10,31-43(2021); Izv的翻译。维什。乌切布。扎韦德。,材料2021,编号10,37-50(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多尺度图文法可以生成群和幺半群的Cayley图。 (英语) Zbl 1502.68155号

Gadducci,Fabio(编辑)等人,《图形变换》。2020年6月25日至26日在挪威卑尔根举行的第13届国际会议,ICGT 2020,作为STAF 2020的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12150, 307-315 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一个灵活且易于使用的库,用于Java图形工具的快速开发。 (英语) Zbl 1502.68014号

Gadducci,Fabio(编辑)等人,图变换。2020年6月25日至26日在挪威卑尔根举行的第13届国际会议,ICGT 2020,作为STAF 2020的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12150, 297-306 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Morembs–弹性多体系统及其他系统的模型降阶软件包。 (英语) Zbl 1433.74004号

Keiper,Winfried(编辑)等人,模拟和优化的降阶建模(ROM)。强大的算法是科学计算的关键促成因素。查姆:斯普林格。141-166 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多尺度热动力学。GENERIC简介。 (英语) Zbl 1419.80001号

柏林:De Gruyter(ISBN 978-3-11-035094-4/hbk;978-3-11-10-35095-1/电子书)。xiii,第279页。(2018).
MSC公司:80-02 80-04
PDF格式BibTeX公司 XML格式引用
全文: 内政部

偏微分方程可积结构的符号计算。 (英语) Zbl 1407.68015号

符号计算中的文本和专题查姆:施普林格(ISBN 978-3-319-71654-1/hbk;978-3-3169-71655-8/电子书)。xv,263页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于“Book Stack”变换的一些统计性质。 (英语。俄文原件) Zbl 1387.62058号

维斯特。圣彼得堡大学数学。 49,第4号,305-312(2016); 维斯特翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。2016年,第4期,533-543(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

CHR全面执行——再次审查。 (英语) Zbl 1407.68074号

De Vos,Marina(ed.)等人,第31届逻辑编程国际会议的技术交流,ICLP 2015,爱尔兰科克,2015年8月31日至9月4日。亚琛:亚琛公路。CEUR研讨会程序。1433,13 p.(2015)。
MSC公司:68甲15 68号30
PDF格式BibTeX公司 XML格式引用
全文: 链接

结合正向传播和反向传播。 (英语) Zbl 1471.68044号

Lutz,Carsten(编辑)等人,《联合系统的前沿》。第十届国际研讨会,FroCoS 2015,Wrocław,波兰,2015年9月21日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9322, 307-322 (2015).
MSC公司:68甲15 68分20秒
PDF格式BibTeX公司 XML格式引用
全文: 内政部

CHR正在运行。 (英语) Zbl 1473.68187号

Falaschi,Moreno(编辑),基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修改选定的论文。查姆:斯普林格。莱克特。注释计算。科学。9527, 365-383 (2015).
MSC公司:68分20秒 68N17号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过源到源转换全面执行CHR。 (英语) Zbl 1457.68040号

Proietti,Maurizio(编辑)等,基于逻辑的程序合成和转换。2014年9月9日至11日在英国坎特伯雷举行的2014年LOPSTR第24届国际研讨会。修改选定的论文。查姆:斯普林格。莱克特。注释计算。科学。8981, 59-73 (2015).
MSC公司:68N17号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于模糊信念网络模型的复杂系统状态分析软件。 (英语。俄文原件) Zbl 1298.93008号

赛博。系统。分析。 50,第1期,124-133(2014); 翻译自Kibern。修女。分析。2014年,第138-150号(2014年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

格罗布纳大地测量学和地理信息学基础。 (英语) 兹比尔1437.86008

Hong,Hoon(编辑)等人,《数学软件——ICMS 2014》。第四届国际会议,韩国首尔,2014年8月5日至9日。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。8592, 367-373 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

SgpDec:有限变换半群和置换群的级联(de)合成。 (英语) Zbl 1403.20002号

Hong,Hoon(编辑)等人,《数学软件——ICMS 2014》。第四届国际会议,韩国首尔,2014年8月5日至9日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-44198-5/pbk)。计算机科学课堂讲稿8592,75-82(2014)。
MSC公司:20-04 68瓦30 20比40 20平方米 20E22型
PDF格式BibTeX公司 XML格式引用

广义双曲正割分布。与财务应用程序。 (英语) Zbl 1341.62009年

Springer统计简报海德堡:施普林格(ISBN 978-3-642-45137-9/pbk;978-3-442-45138-6/电子书)。viii,第72页。(2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过源到源转换可视化CHR。 (英语) Zbl 1281.68059号

Dovier,Agostino(编辑)等人,第28届逻辑编程国际会议的技术交流(ICLP 2012),2012年9月4日至8日,匈牙利布达佩斯。论文基于会议上的陈述。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-43-9)。LIPIcs–莱布尼茨国际信息学会议录17,109-118,仅电子版(2012年)。
MSC公司:68N17号 68兰特
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于多项式系数线性微分系统解的奇异点。 (英语。俄文原件) Zbl 1258.34027号

数学杂志。科学。,纽约 185,第3期,347-359(2012); 翻译自Fundam。普里克尔。材料17,第1号,3-21(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

CasADi:用于自动区分和优化控制的符号包。 (英语) Zbl 1251.65020号

Forth,Shaun(编辑)等人,算法微分的最新进展。根据2012年7月23日至27日在美国科罗拉多州科林斯堡举行的第六届自动差分国际会议(AD2012)上的演讲选择的论文。柏林:施普林格出版社(ISBN 978-3-642-30022-6/hbk;978-3-442-30023-3/电子书)。计算科学与工程课堂讲稿87,297-307(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用虚拟运算符重载的Java自动区分工具。 (英语) Zbl 1251.65033号

Forth,Shaun(编辑)等人,算法微分的最新进展。根据2012年7月23日至27日在美国科罗拉多州柯林斯堡举行的第六届自动分化国际会议(AD2012)上的演示文稿选出的论文。柏林:施普林格出版社(ISBN 978-3-642-30022-6/hbk;978-3-642-30023-3/电子书)。计算科学与工程课堂讲稿87,241-250(2012)。
MSC公司:65D25个 68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在多个DAG上存储与重新计算。 (英语) Zbl 1251.65025号

Forth,Shaun(编辑)等人,算法微分的最新进展。根据2012年7月23日至27日在美国科罗拉多州柯林斯堡举行的第六届自动分化国际会议(AD2012)上的演示文稿选出的论文。柏林:施普林格出版社(ISBN 978-3-642-30022-6/hbk;978-3-442-30023-3/电子书)。计算科学与工程课堂讲稿87,197-207(2012)。
MSC公司:65D25个
PDF格式BibTeX公司 XML格式引用
全文: 内政部

拉普拉斯变换在核工程ODE特殊系统求解中的应用。 (英语) Zbl 1207.34013号

De Bernardis,Enrico(编辑)等人,《意大利的应用和工业数学III》。2008年9月15日至19日,意大利罗马,第九届SIMAI会议的部分贡献。新泽西州哈肯萨克:世界科学(ISBN 978-981-4280-29-7/hbk)。应用科学数学进展系列82,25-38(2010)。
MSC公司:34A25型 34C60个
PDF格式BibTeX公司 XML格式引用

一类通用白盒实现的密码分析。 (英语) Zbl 1256.94058号

Avanzi,Roberto Maria(编辑)等人,《密码学的选定领域》。2008年8月14日至15日在加拿大新不伦瑞克省萨克维尔举行的SAC第15届国际研讨会。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-04158-7/pbk)。计算机科学课堂讲稿5381,414-428(2009)。
MSC公司:94A60型 94-04
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有自洽源的Nizhnik-Veselov-Novikov方程。 (英语。俄文原件) Zbl 1155.35445号

西奥。数学。物理学。 157,第1期,1474-1483(2008); 来自Teor的翻译。材料Fiz。157,编号1130-140(2008)。
MSC公司:第35季度53 82D10号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于稀缺性的实际利用。 (英语) Zbl 1152.65418号

Bischof,Christian H.(编辑)等人,《自动微分的进展》。根据2008年8月11日至15日在德国波恩举行的第五届自动差分国际会议上的演示文稿选出的论文。柏林:施普林格出版社(ISBN 978-3-540-68935-5/pbk)。计算科学与工程课堂讲稿64,103-114(2008)。
MSC公司:65D25个 05元50分
PDF格式BibTeX公司 XML格式引用

通过Moser约化计算线性微分方程组的超可约形式:一种新方法。 (英语) Zbl 1189.68178号

Brown,C.W.(编辑),ISSAC 2007。第32届符号和代数计算国际研讨会论文集(ISSAC 2007),加拿大安大略省滑铁卢市,2007年7月29日至8月1日。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-59593-743-8)。1-8 (2007).
PDF格式BibTeX公司 XML格式引用

旋转阶段的有效灵敏度。 (英语) 兹比尔1270.86004

Bücker,Martin(编辑)等人,《自动微分:应用、理论和实现》。论文选自2004年7月20日至23日在美国伊利诺伊州芝加哥举行的第四届自动识别国际会议(AD)上的演讲。柏林:施普林格出版社(ISBN 3-540-28403-6/pbk)。《计算科学与工程讲义》50285-293(2006)。
MSC公司:86A05型 65D25个 86-08
PDF格式BibTeX公司 XML格式引用

密度泛函理论(DFT)和从头算量子化学(AIQC)。艰难合作的故事。 (英语) Zbl 1129.81389号

Maroulis,George(编辑)等人,《现代计算科学的趋势与展望》。2006年10月27日至11月1日在希腊克里特岛Chania举行的2006年科学与工程计算方法国际会议(ICCMSE 2006)上的演讲。莱顿:Brill学术出版社(ISBN 90-04-15541-4/pbk)。计算机和计算科学系列讲座6,22-62(2006)。
MSC公司:81V55型 81-04 49S05号
PDF格式BibTeX公司 XML格式引用

曲线和曲面的现代微分几何与Mathematica。第3版。 (英语) Zbl 1123.53001号

高等数学研究。佛罗里达州博卡拉顿:查普曼和霍尔/CRC(ISBN 1-5848-448-7/hbk)。第984页。(2006).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件