卢宾,迈尔斯;奥斯卡·道森;加西亚,若阿金·迪亚斯;乔伊·休切特;贝诺·莱加特;胡安·巴勃罗·维尔玛 JuMP 1.0:对数学优化建模语言的最新改进。 (英文) Zbl 07735741号 数学。程序。计算。 第3期第15页,581-589页(2023年). 审核人:Ambros Gleixner(柏林) MSC公司:90-04 90-01 90-10 PDF格式BibTeX公司 XML格式引用 \textit{M.Lubin}等人,数学。程序。计算。15,编号3,581--589(2023;Zbl 07735741) 全文: 内政部 arXiv公司
克莱门斯·海辛格 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). 审核人:赛义德·伊纳亚图拉(卡拉奇) MSC公司:90-04 68-01 34-01 35-01 34-04 35-04 PDF格式BibTeX公司 XML格式引用 \textit{C.Heitzinger},JULIA算法。使用JULIA语言进行优化、机器学习和微分方程。查姆:施普林格(2022;Zbl 1512.90003) 全文: 内政部
马丁·贝尔;米凯尔·约翰逊 Julia中的高效随机规划。 (英文) Zbl 07587547号 信息J.计算。 34,第4期,1885-1902(2022).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.贝尔}和\textit{M.Johansson},《信息与计算》。34,第4号,1885-1902(2022;Zbl 07587547) 全文: 内政部 arXiv公司
尼古拉·莫斯科;洛伦佐·麦科内 量子零差层析成像的高维方法。 (英文) Zbl 1510.81022号 物理学。莱特。,A类 449,文章ID 128339,8 p.(2022).MSC公司:第81页,共18页 93E10型 35立方厘米36 65二氧化碳 78M31型 PDF格式BibTeX公司 XML格式引用 \textit{N.Mosco}和\textit{L.Maccone},Phys。莱特。,A 449,文章ID 128339,8 p.(2022;Zbl 1510.81022) 全文: 内政部 arXiv公司
贝诺·莱加特;奥斯卡·道森;加西亚,若阿金·迪亚斯;卢宾,迈尔斯 MathOptInterface:用于数学优化问题的数据结构。 (英文) 兹伯利07551204 信息J.计算。 34,第2号,672-689(2022).MSC公司:90倍X PDF格式BibTeX公司 XML格式引用 \textit{B.Legat}等人,《信息与计算》。34,第2号,672--689(2022;Zbl 07551204) 全文: 内政部 arXiv公司
乔苏埃·穆拉托雷;捷克施耐德 Atiyah-Bott公式的有效计算。 (英文) Zbl 1487.14115号 J.塞姆。计算。 112, 164-181 (2022). 审核人:Vehbi Emrah Paksoy(劳德代尔堡) MSC公司:14N10号 2014年第25季度 14号35 14二氧化碳 14-04 第53页第12页 PDF格式BibTeX公司 XML格式引用 \textit{G.Muratore}和\textit{C.Schneider},J.Symb。计算。112164-181(2022年;Zbl 1487.14115) 全文: 内政部 arXiv公司
廖明杰;王浩雷;张磊 Julia语言在材料模拟中的应用。 (中文。英文摘要) Zbl 1488.68017号 J.数字。方法计算。申请。 42,编号1,71-79(2021).MSC公司:68甲15 65日元 65Z05个 82立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Liao}等人,J.Numer。方法计算。申请。42,编号1,71--79(2021;Zbl 1488.68017) 全文: 内政部
霍,泽南;梅,刚;徐能雄 JuSFEM:基于Julia的弹性问题并行光滑有限元(S-FEM)开源软件包。 (英文) 兹比尔1524.74422 计算。数学。申请。 81459-477(2021).MSC公司:74S05号 65N30型 74K20型 74B05型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Huo}等人,计算。数学。申请。81、459--477(2021年;Zbl 1524.74422) 全文: 内政部 arXiv公司
Jean-Pierre杜绍尔 无约束优化中信任区域类型算法的统一高效实现。 (英文) Zbl 1509.90195号 信息:信息系统。操作。物件。 58,第2期,290-309(2020年).MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Dussault},信息:信息系统。操作。第58号决议,第2号,290--309(2020;Zbl 1509.90195) 全文: 内政部
高、开封;梅,刚;弗朗西斯科·皮夏利;萨尔瓦多科莫;屠敬之;霍,泽南 机器学习中的Julia语言:算法、应用程序和开放问题。 (英文) Zbl 1478.68285号 计算。科学。版次。 37,文章ID 100254,12 p.(2020).MSC公司:68T05型 68甲15 68T07型 68-02 PDF格式BibTeX公司 XML格式引用 \textit{K.Gao}等人,计算。科学。第37版,文章ID 100254,12页(2020;Zbl 1478.68285) 全文: 内政部 arXiv公司
杰克·J·加泽拉。;马雷克·巴拉诺夫斯基;何绍波;茨沃尼米尔·拉卡马里奇 利用编译器中间表示进行多语言和跨语言验证。 (英文) Zbl 1451.68071号 Beyer,Dirk(编辑)等人,《验证、模型检查和抽象解释》。第21届国际会议,VMCAI 2020,美国洛杉矶新奥尔良,2020年1月16-21日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11990, 90-111 (2020).MSC公司:68N20型 68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Garzella}等人,Lect。注释计算。科学。11990,90-111(2020;Zbl 1451.68071) 全文: 内政部
阿莱西亚·安特尔米;Gennaro Cordasco公司;博古米卡米恩斯基;Pra at,Pawe;维托里奥·斯卡拉诺;卡明·斯帕格诺洛;Szufel,普热米斯劳 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格式引用 \textit{A.Antelmi}等人,Lect。注释计算。科学。11631、115-129(2019;Zbl 07805861) 全文: 内政部
Migran N.Gevorkyan。;Anna V.Korolkova。;德米特里·库利亚波夫。;康斯坦丁·洛夫茨基。 在Runge-Kutta方法的情况下,对Julia和Fortran语言进行统计意义上的性能比较测试。 (英文) Zbl 07062852号 Nikolov,Geno(编辑)等人,《数值方法和应用》。2018年8月20日至24日,第九届国际会议,NMA 2018,保加利亚博罗韦茨。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。11189, 400-407 (2019).MSC公司:65-XX岁 PDF格式BibTeX公司 XML格式引用 \textit{M.N.Gevorkyan}等人,Lect。注释计算。科学。11189400-407(2019年;Zbl 07062852) 全文: 内政部
贝萨尼·尼克尔森;约翰·D·西罗拉。;Jean-Paul Watson先生;维克多·扎瓦拉(Victor M.Zavala)。;Lorenz T.比格勒。 pyomo.dae型:用于微分方程和代数方程优化的建模和自动离散化框架。 (英文) Zbl 1402.49029号 数学。程序。计算。 10,第2期,187-223(2018).MSC公司:49立方米 68甲15 90-04 93A30型 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{B.Nicholson}等人,数学。程序。计算。10,第2号,187--223(2018;Zbl 1402.49029) 全文: 内政部
佩特拉,C.G。;Qiang,F。;M.鲁宾。;J·休歇特。 关于使用Julia中的边推进算法进行高效Hessian计算。 (英文) Zbl 1407.90310号 最佳方案。方法软件。 33,第4-6号,1010-1029(2018).MSC公司:90立方 65D25个 90C05(二氧化碳) 90C06型 PDF格式BibTeX公司 XML格式引用 \textit{C.G.Petra}等人,Optim。方法软件。33,编号4--61010--1029(2018;Zbl 1407.90310) 全文: 内政部 链接
奥辛格、温弗里德;哈拉尔德·霍夫斯塔特;科赫,奥思玛 非线性发展方程流的符号处理,以及在分步时间积分器分析中的应用。 (英文) Zbl 1453.65116号 Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2016年9月19-23日在罗马尼亚布加勒斯特举行的2016年中国社会科学院第18届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9890, 43-57 (2016).MSC公司:65J08型 35K90型 35兰特 65岁99岁 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Auzinger}等人,Lect。注释计算。科学。9890,43-57(2016;Zbl 1453.65116) 全文: 内政部 arXiv公司 链接