×

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

JULIA的算法。使用JULIA语言进行优化、机器学习和微分方程。 (英文) Zbl 1512.90003号

查姆:施普林格(ISBN 978-3-031-16559-7/hbk;978-3-0.31-16562-7/pbk;988-3-031-16560-3/电子书)。xxi,439页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

利用编译器中间表示进行多语言和跨语言验证。 (英文) Zbl 1451.68071号

Beyer,Dirk(编辑)等人,《验证、模型检查和抽象解释》。第21届国际会议,VMCAI 2020,美国洛杉矶新奥尔良,2020年1月16-21日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11990, 90-111 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

SimpleHypergraphs.jl–用于超图建模和分析的新型软件框架。 (英文) 兹伯利07805861

Avrachenkov,Konstantin(编辑)等人,网络图的算法和模型。2019年7月6日至7日,澳大利亚昆士兰州布里斯班WAW 2019第16届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11631, 115-129 (2019).
MSC公司:05-04 05年6月15日
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在Runge-Kutta方法的情况下,对Julia和Fortran语言进行统计意义上的性能比较测试。 (英文) Zbl 07062852号

Nikolov,Geno(编辑)等人,《数值方法和应用》。2018年8月20日至24日,第九届国际会议,NMA 2018,保加利亚博罗韦茨。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。11189, 400-407 (2019).
MSC公司:65-XX岁
PDF格式BibTeX公司 XML格式引用
全文: 内政部

非线性发展方程流的符号处理,以及在分步时间积分器分析中的应用。 (英文) Zbl 1453.65116号

Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2016年9月19-23日在罗马尼亚布加勒斯特举行的2016年中国社会科学院第18届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9890, 43-57 (2016).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

软件