×

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

CORO公司

24篇文献引用(1999–2020)
软件作者: 劳雷亚诺·F·埃斯库德罗。;金塔纳,Francisco J。;哈维尔·萨尔梅隆
相关软件: MSLiP;GAMS;MSNLP…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

Agena风险

14篇文献引用(2013–2023)
软件作者: 诺曼·芬顿;尼尔、马丁
相关软件: R;TETRAD公司;Elicitator…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

梅赛格三世

在11份文件中引用(2000–2020)
软件作者: Messner,S.、Strubegger,M。
相关软件: 马卡尔;CPLEX;OSeMOSYS…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);运筹学,数学规划(90-XX)…

N模型

10篇文献引用(2007–2021)
软件作者: 乔纳森·杰基;Veanes、Marqus;科林·坎贝尔(Colin Campbell);舒尔特,Wolfram
相关软件: SpecExplorer;UniTESK;DART…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

顾问

10篇文献引用(2006–2019)
软件作者: T Markel、A Brooker、T Hendricks、V Johnson、K Kelly、B Kramer、M O'Keefe、S Sprik、K Wipke
相关软件: Matlab;fminco;GAToolBox…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);光学、电磁理论(78-XX)…

GUSS公司

9份文件引用(2012–2022)
软件作者: Michael R.Bussieck。;Michael C.Ferris。;蒂莫·洛曼
相关软件: GAMS;AIMMS;AMPL…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

AEtnaNova公司

8份文件引用(2011–2018)
软件作者: Eugenio G.Omodeo、Domenico Cantone、Alberto Policriti、Jacob T.Schwartz
相关软件: 裁判;SETL;Mizar…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);复变量函数(30-XX)…

DisCo公司

7份文件引用(1998–2006)
软件作者: 蒂莫·阿尔顿;米卡·卡塔拉;里斯托·皮卡宁
相关软件: PVS;方面J;Ocsid…
主要字段: 计算机科学(68-XX)

裁判

7份文件引用(2013–2018)
软件作者: Eugenio G.Omodeo;多梅尼科·坎通纳;阿尔贝托·波利克里蒂;雅各布·T·施瓦茨
相关软件: AEtnaNova;SETL;Mizar…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

X速度

6篇文献引用(2017–2022)
软件作者: 雷,Rajarshi;阿米特·古龙
相关软件: SpaceEx;JuliaReach;流量*…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

游泳

6篇文献引用(2019–2024)
软件作者: Silvana M.Pesenti、Alberto Bettini、Pietro Millossovich、Andreas Tsanakas
相关软件: 量化风险管理;copula;葡萄园…
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

淫羊藿

3份文件引用(2010–2020)
软件作者: 弗拉维奥·科埃略
相关软件: 蟒蛇;InterSpread Plus;EpiContactTrace…
主要字段: 常微分方程(34-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

风景

4份文件引用(2021–2023)
软件作者: 丹尼尔·弗里蒙特(Daniel J.Fremont)。;爱德华·金;托马索·德罗西;Ghosh,Shromona;岳向玉;Sangiovanni-Vincentelli,Alberto L。;Sanjit A.Seshia。
相关软件: 阿波罗;验证;卡拉…
主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);数值分析(65-XX)…

蒸汽

4份文件引用(2020–2021)
软件作者: 洛伦佐·博尔托特、伯恩哈德·奥赫曼、伊多娅·科尔特斯·加西亚、亚历杭多·M·费尔南多·纳瓦罗、米夏·马西耶夫斯基、马提亚斯·曼丁克、马可·普里奥利、埃曼纽尔·拉瓦奥利、塞巴斯蒂安·舍普斯、阿尔扬·维韦伊
相关软件: COMSOL公司;香料;Matlab…
主要字段: 总体主题;藏品(00-XX);常微分方程(34-XX);偏微分方程(35-XX)…

利亚普诺夫FunDR

3份文件引用(2018–2022)
软件作者: 吉拉迪,奥哈德;Rüffer,比约恩S。
相关软件: GitHub;SageMath公司
主要字段: 动力系统与遍历理论(37-XX);算子理论(47-XX);数值分析(65-XX)…

中间带

1份文件引用(2018)
软件作者: 亚历克斯·德米特里恩科(Alex Dmitrienko)戈蒂埃·鲍(Gautier Paux)
相关软件: R;ggplot2;压水堆…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);生物学和其他自然科学(92-XX)

丘拉斯科

1份文件引用(2010)
软件作者: 马克·达姆布罗斯(Marco D'Ambros);米歇尔·兰扎
相关软件: FAMIX公司;GitHub;取消按压…
主要字段: 计算机科学(68-XX)

霍克罗夫特.f77

2份文件引用(1999–2006)
软件作者: 霍尔克罗夫特C、斯皮格曼D。
相关软件: IMSL数字库
主要字段: 统计学(62-XX);数值分析(65-XX)

注入

2份文件引用(2002–2003)
软件作者: 奥利弗·杜尼曼;盖斯特,英戈尔夫;罗兰·杰西;Sattler,Kai-Uwe;安德烈亚斯·斯蒂芬妮克
相关软件:
主要字段: 计算机科学(68-XX)

IWAS工具箱

2份文件引用(2012–2015)
软件作者: Kalbacher,T.、Delfs,J.O.、Shao,H.、Wang,W.、Walther,M.、Samaniego,L.、Schneider,C.、Musolff,A.、Centler,F.、Sun,F.,Hildebrandt,A.、Liedl,R.、Borchart,D.、Krebs,P.、Kolditz,O。
相关软件: 开放地理系统;海德鲁;PHREEQE…
主要字段: 流体力学(76-XX);地球物理学(86-XX)

后勤实验室

2份文件引用(2017–2018)
软件作者: 塞巴斯蒂安·勒米厄(Sébastien Lemieux)、索菲·德穆尔斯(Sophie D’Amours)、马修·布查德(Mathieu Bouchard)、马丁·西马德·莱恩·西蒙诺(Martin Simard Line Simoneau)、马克西姆·莫奈乌·佩雷拉(Maxime Morneau-Pereira)、乔纳森·高德
相关软件: 西尔维实验室
主要字段: 运筹学、数学规划(90-XX)

MeVisLab公司

2份文件引用(2012年至2016年)
软件作者: 彼得·科尔曼(Peter Kohlmann)、托比亚斯·博斯坎普(Tobias Boskamp)、亚历山大·科恩(Alexander Köhn)、克里斯蒂安·里德(Christian Rieder)、安德烈·申克(Andrea Schenk)、弗洛里安·林克(Florian Link)、乌维·暹斯(Uwe Siems)、马库斯·巴南(
相关软件: 生物图像XD;VirtualGL;打开Inventor…
主要字段: 总体主题;藏品(00-XX);生物学和其他自然科学(92-XX);信息与通信理论,电路(94-XX)

r资产

在0个文档中引用
软件作者: 乔恩·桑佩德罗;扎拉尔·汗;克里斯·弗农(Chris R.Vernon);史蒂文·史密斯(Steven J.Smith);斯蒂芬妮·沃尔多(Stephanie Waldho);丽塔·范·丁尼恩
相关软件: GCAM;R;QGIS…
主要字段:

苏西TC

2份文件引用(2016年至2017年)
软件作者: 斯特凡·安图什;康斯坦丁·斯卢卡
相关软件: REAP;斯费诺;柔软…
主要字段: 量子理论(81-XX);相对论与引力理论(83-XX);天文学和天体物理学(85-XX)

TASS公司

1份文件引用(2013年)
软件作者: 潘敏雪;卜、雷;李宣东
相关软件: HyDI;数学SAT;NuSMV…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

多巴哥

2份文件引用(2001–2011)
软件作者: S.Sager、H.Diedam;M.恩格尔哈特
相关软件: LiftOpt;SolvIND;NETLIB LP测试集…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

ViSim公司

1份文件引用(2021)
软件作者: N.Saquib、M.S.R.Sakib、A.-S.K.Pathan
相关软件: ns-2型
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

科米克

1份文件引用(2017)
软件作者: 萨维什·尼库姆;彼得·埃伯特(Peter Ebert);尼科·菲费尔
相关软件: 基姆
主要字段: 生物学和其他自然科学(92-XX)

DryGASCON公司

1份文件引用(2022)
软件作者: 梁慧聪;Mesnager,Sihem;王美琴
相关软件: github
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

GARSA公司

1份文件引用(2007)
软件作者: Davila,A.M.、Lorenzini,D.M.、Mendes,P.N.等人
相关软件: EMBOSS;智能;DAMBE…
主要字段: 生物学和其他自然科学(92-XX)

迁移

1份文件引用(2021)
软件作者: 克拉沃,迪奥戈·拉斐尔;莱拉·里贝罗
相关软件: API差异;Verigraph公司
主要字段: 计算机科学(68-XX)

MTSS系统

在0个文档中引用
软件作者: 黄,壳牌盈;徐文静;方惠;宋天成
相关软件:
主要字段: 统计力学,物质结构(82-XX)

多维数据集资源管理器

1份文件引用(2019)
软件作者: V.萨卡里亚、G.巴勒莫、F.卡斯特罗、C.西尔瓦诺、G.马里亚尼
相关软件: 精密路径指示器;兄弟竞争;绿色…
主要字段: 计算机科学(68-XX)

网络安全策略验证

1份文件引用(2016)
软件作者: 迪克曼,C。
相关软件: 罗宾斯猜想;VAMPIRE公司;E定理证明器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

擎天柱

1份文件引用(2016)
软件作者: Sigmetrix公司
相关软件: 视觉UTA;签证;WINPRE…
主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX)

皮亚姆

在0个文档中引用
软件作者: 马修·吉登(Matthew J.Gidden);丹尼尔·哈普曼
相关软件: 朱庇特;大熊猫;蟒蛇
主要字段:

ResLogit公司

在0个文档中引用
软件作者: 梅尔文·黄(Melvin Wong)、比拉尔·法鲁克(Bilal Farooq)
相关软件: 亚当;PyTorch;Python…
主要字段:

在0个文档中引用
软件作者: Hadjimichael,A.,Gold,D.,Hadka,D.,Reed,P。
相关软件: SALib公司;探索性建模工作台;OpenMORDM…
主要字段:

sdtlu公司

1份文件引用(2021)
软件作者: 科恩,A.L。;斯塔恩斯,J.J。;罗特罗,C.M。
相关软件: 斯坦
主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

沙发

1份文件引用(2014)
软件作者: Hélouét L;印度
相关软件:
主要字段: 系统论;控制(93-XX);信息与通信理论,电路(94-XX)

品尝网-MNL

在0个文档中引用
软件作者: 韩亚飞、弗朗西斯科·卡马拉·佩雷拉、莫舍·本·阿基娃、克里斯托弗·泽格拉斯
相关软件: 亚当;ResLogit;PyTorch…
主要字段:

TM5-FASST公司

在0个文档中引用
软件作者: Van Dingenen,R.、Dentener,F.、Crippa,M.、Leitao,J.、Marmer,E.、Rao,S.、Solarzzo,E.、Valentini,L。
相关软件: AirQ+;埃米斯五世;BenMAP-CE…
主要字段:

VarFA公司

1份文件引用(2021)
软件作者: 王子超、顾毅、兰安德鲁、巴拉纽克
相关软件: ML2阀;诺哈姆;泥泞
主要字段: 计算机科学(68-XX)

MESCOS公司

在0个文档中引用
软件作者: C.Molitor、S.Gross、J.Zeitz、A.Monti
相关软件:
主要字段:

西娅

在0个文档中引用
软件作者: Sandoval Orozco,Ana Lucila;罗莎莱斯·科里皮奥(Rosales Corripio),乔斯林(Jocelin);阿雷纳斯·冈萨雷斯(Arenas González),大卫·曼努埃尔(David Manuel);加西亚·维拉尔巴,路易斯·哈维尔;胡里奥·埃尔南德斯·卡斯特罗
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件