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)