×

找到13个软件包(结果1-13)

PySP公司

28篇文献引用(2012–2023)
软件作者: Jean-Paul Watson;伍德拉夫,大卫·L·。;威廉·哈特(William E.Hart)。
相关软件: 皮奥莫;CPLEX;古罗比…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

qpDUNES公司

16篇文献引用(2015–2022)
软件作者: Janick Frasch;汉斯·约阿希姆·费罗(Hans Joachim Ferreau);莫里茨·迪尔;米兰·武科夫
相关软件: qpOASES;ACADO;CVXGEN…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

MSPPy公司

12份文件引用(2020–2023)
软件作者: 丁L、艾哈迈德S、夏皮罗A
相关软件: SDDP;JuMP;古罗比…
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);系统论;控制(93-XX)

MetaOCaml公司

9份文件引用(2006–2018)
软件作者: 瓦利德·塔哈;克里斯蒂亚诺·卡尔卡尼奥;泽维尔·勒罗伊(Xavier Leroy);Ed Pizzi;埃米尔·帕萨利克;杰森·李·埃克哈特(Jason Lee Eckhardt);鲁门·凯亚巴切夫;奥列格·基斯廖
相关软件: OCaml;阿格达;Coq…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

灯笼

引用于2份文件(2021–2022)
软件作者: 王菲、Daniel Zheng、James Decker、Xilen Wu、Grégory M.Essertel、Tiark Rompf
相关软件: TensorFlow;PyTorch;效率(amp;E)…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);范畴理论;同调代数(18-XX)…

MetaKlaim公司

5份文件引用(2003–2020)
软件作者: Gianluigi法拉利;尤金尼奥·莫吉;罗萨里奥·普格利泽
相关软件: 科莱姆;克拉瓦;杰森…
主要字段: 计算机科学(68-XX)

POWDer公司

3份文件引用(2019–2022)
软件作者: 奥斯卡·道森;安迪·菲尔波特;安德鲁·梅森(Andrew Mason);向下,安东尼
相关软件: Lattice Builder;TBSIM;SDDP…
主要字段: 地球物理学(86-XX);运筹学,数学编程(90-XX)

链球菌属

3份文件引用(2017–2022)
软件作者: 奥列格·基塞利约夫(Oleg Kiselyov);阿格洛斯·比布迪斯;Nick Palladinos;亚尼斯·斯马拉格达基斯
相关软件: OCaml;茉莉花;HACL*…
主要字段: 计算机科学(68-XX)

Terra公司

引用于2份文件(2015–2022)
软件作者: Zachary DeVito、James Hegarty、Alex Aiken、Pat Hanrahan、Jan Vitek
相关软件: 链子;DyNet;宏复制…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

隐喻

引用于2份文件(2006–2011)
软件作者: 格雷戈里·内弗罗夫(Gregory Neverov)、保罗·罗(Paul Roe)
相关软件: OCaml;方面J;Cayenne…
主要字段: 计算机科学(68-XX)

动态编程

在0个文档中引用
软件作者: 费德里科·米雷蒂、丹妮拉·米苏尔、埃齐奥·斯佩萨
相关软件: Matlab公司
主要字段:

MSEA.jl公司

1份文件引用(2020)
软件作者: 帕尔,A。;查尔赫加德,H。
相关软件: JuMP;CPLEX;SCIP…
主要字段: 运筹学,数学编程(90-XX)

判定元件

在0个文档中引用
软件作者: 玛莎·洛伊
相关软件:
主要字段:

筛选结果依据…