×

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

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)

雷波斯特

1份文件引用(2015年)
软件作者: J.Talbot、Z.DeVito、P.Hanrahan
相关软件: 人进;R;pqR…
主要字段: 统计学(62-XX);计算机科学(68-XX)

X卫星

引用于2份文件(2018–2022)
软件作者: ——
相关软件: 数学SAT5;dReal;z3…
主要字段: 代数拓扑(55-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

因果FX

引用于2份文件(2000年至2009年)
软件作者: 里卡多·席尔瓦、罗宾·埃文斯
相关软件: ——
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

PL-银行

引用于2份文件(2019–2020)
软件作者: 张亮、马炳鹏、李国荣、黄清明、祁天
相关软件: InfoGAN;生物2RDF;SimRank…
主要字段: 计算机科学(68-XX)

sdfibm公司

引用于2份文件(2020–2023)
软件作者: 张晨光
相关软件: OpenFOAM;帕拉博斯;双球面物理学…
主要字段: 数值分析(65-XX);流体力学(76-XX);量子理论(81-XX)

ConsReg公司

在0个文档中引用
软件作者: 萨利斯,约塞普·皮格
相关软件: 重击器;检测分离;科尔夫…
主要字段: ——

Fastplace公司

1份文件引用(2015年)
软件作者: Viswanathan,N.、Pan,M.、Chu,C。
相关软件: 卡波;NT上传3;百万PL6
主要字段: 运筹学,数学编程(90-XX)

步态设置

在0个文档中引用
软件作者: 赵汉清、何一伟、张俊平、冯建峰
相关软件: CASIA步态;TransGAN;回收GAN…
主要字段: ——

GMBL公司

1份文件引用(2021)
软件作者: Ryan Krueger;Han、Jesse Michael;丹尼尔·塞尔萨姆
相关软件: TensorFlow;MMP/Geometer;GEOTHER 1.1…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

等参约束

1份文件引用(2023)
软件作者: 肖、董;石左强;李思玉;邓白林;王斌
相关软件: 布伦瑟;DiGS;PCPNet;(P)…
主要字段: 数值分析(65-XX)

MorphDroid公司

1份文件引用(2020)
软件作者: 费拉拉,P.,特里普,O.,皮斯托亚,M。
相关软件: 戴坦;TAJ公司;像素…
主要字段: 计算机科学(68-XX)

筛选结果依据…