MineLib公司 24篇文献引用(2013–2024) 软件作者: 丹尼尔·埃斯皮诺扎(Daniel Espinoza);马科斯·戈库利亚;爱德华多·莫雷诺;亚历山大·纽曼 相关软件: CPLEX;AMPL;古罗比… 主要字段: 变分法与最优控制;优化(49-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
StrSolve解决方案 6篇文献引用(2014年-2023年) 软件作者: Hooimeijer,P.,Weimer,W。 相关软件: 通过;Z3str3;诺恩… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
PATOMA公司 3份文件引用(2008–2021) 软件作者: 聪;M.罗梅西斯;J.R.Shinnerl先生 相关软件: 不明飞行物;LBFGS-B;DeFer… 主要字段: 凸和离散几何(52-XX);运筹学,数学编程(90-XX)
仪式 4份文件引用(1992–2005) 软件作者: 阿文德·斯里尼瓦桑;卡马尔·乔杜里;欧内斯特·库赫(Ernest S.Kuh)。 相关软件: TILOS;FaSa公司 主要字段: 组合数学(05-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
亚纳 4份文件引用(2007–2012) 软件作者: 罗兰·施瓦兹(Roland Schwarz)、帕特里克·马斯奇(Patrick Musch)、阿克塞尔·冯·坎普(Axel von Kamp)、伯恩德·恩格斯(Bernd Engels 相关软件: 元工具;通量分析仪;efmtool… 主要字段: 组合数学(05-XX);生物学和其他自然科学(92-XX)
bpbounds(bpbound) 3份文件引用(2012–2022) 软件作者: T.M.Palmer、R.R.Ramsahai、V.Didelez、N.A.Sheehan 相关软件: TETRAD公司;Stata公司;clrbound公司 主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)
X卫星 引用于2份文件(2018–2022) 软件作者: —— 相关软件: 数学SAT5;dReal;z3… 主要字段: 代数拓扑(55-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
sdfibm公司 引用于2份文件(2020–2023) 软件作者: 张晨光 相关软件: OpenFOAM;帕拉博斯;双球面物理学… 主要字段: 数值分析(65-XX);流体力学(76-XX);量子理论(81-XX)
Fastplace公司 1份文件引用(2015年) 软件作者: Viswanathan,N.、Pan,M.、Chu,C。 相关软件: 卡波;NT上传3;百万PL6 主要字段: 运筹学,数学编程(90-XX)
GMBL公司 1份文件引用(2021) 软件作者: Ryan Krueger;Han、Jesse Michael;丹尼尔·塞尔萨姆 相关软件: TensorFlow;MMP/Geometer;GEOTHER 1.1… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)