×

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

DiffSharp(差异锐化)

216篇文献引用(2016–2024)
软件作者: Baydin,A.G.,Pearlmutter,B.A。
相关软件: 亚当;TensorFlow;DGM…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

Modelica公司

119篇文献引用(2000–2023)
软件作者: 耶布拉,L.J。;贝伦格尔,M。;多尔米多,S。;E.扎扎。
相关软件: Dymola;Matlab;OpenModelica…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

卢斯特

104篇文献引用(1992–2023)
软件作者: 卡斯皮,P。;Pilaud,D。;Halbwachs,N。;普拉斯,J.A。
相关软件: 酯类;信号;Simulink…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

TAF公司

88篇文献引用(1998–2023)
软件作者: 拉尔夫·吉林;托马斯·卡明斯基;FastOpt股份有限公司
相关软件: TAMC;ADIFR;锥体…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

贝博普

71篇文献引用(2000–2022)
软件作者: 托马斯·鲍尔(Thomas Ball,Sriram K.Rajamani)
相关软件: 自旋蛋白;班德拉;SLAM…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

汪汪叫

26篇文献引用(2004–2021)
软件作者: Wil M.P.范德阿尔斯特。
相关软件: 塔维纳;沃夫兰;WSAT…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

FUN3D公司

引用于57份文件(2009–2023)
软件作者: 比德隆,R.T。;卡尔森·J·R。;Derlaga,J.M。;格诺夫,P.A。;哈蒙德,D.P。;琼斯,W.T。;克莱布,B。;Lee Rausch,E.M.公司。;尼尔森,E.J。;Park,文学硕士。;Rumsey,C.L。;托马斯·J.L。;伍德,W.A。
相关软件: Spalart-Allmaras;USM3D;NSU3D…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

状态流

43篇文献引用(1989–2023)
软件作者: MathWorks公司。
相关软件: Simulink;Matlab;托勒密…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

SOLA-VOF公司

44篇文献引用(1984–2022)
软件作者: B.D.Nichols、C.W.Hirt、R.S.Hotchkiss
相关软件: NASA-VOF2D;涟漪;SLIC…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

Cg公司

18篇文献引用(2006–2012)
软件作者: 威廉·R·马克;R.Steven Glanville;库尔特·阿克利(Kurt Akeley);马克·基尔加德
相关软件: CUDA;OpenGL;OpenCL…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

J流量

23篇文献引用(2002–2022)
软件作者: 安德鲁·迈尔斯
相关软件: TaintDroid;哈斯克尔;TALx86…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

拓扑_多重

23篇文献引用(2014–2022)
软件作者: 鲁霍拉·塔瓦科利
相关软件: 顶部.m;Matlab;前88.m…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

Jif公司

引用于19份文件(2006–2021)
软件作者: A.C.Myers、L.Zheng、S.Zdancewic、S.Chong、N.Nystrom
相关软件: FlowFox;CoSMed;CAVA LTL模型检查器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

GENTRAN公司

引用于19份文件(1986年-2000年)
软件作者: GATES,B.L.公司。
相关软件: 减少;手指;马西玛…
主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…

TempoGAN公司

17篇文献引用(2019–2024)
软件作者: 谢优、埃里克·弗朗茨、朱梦雨、尼尔斯·图雷
相关软件: 亚当;像素x像素;CycleGAN…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

CFDShip-Iowa公司

17篇文献引用(1999–2019)
软件作者: 巴勃罗·卡里卡。;哈米德·萨达特·霍塞里尼;弗雷德里克·斯特恩
相关软件: PETSc;Spalart-Allmaras;冲浪…
主要字段: 数值分析(65-XX);流体力学(76-XX);经典热力学,传热(80-XX)…

DynaMIT公司

在16份文件中引用(2000–2019)
软件作者: 莫舍·本·阿基瓦;米歇尔·比尔莱尔;哈里斯·N·库索普洛斯。;拉比·米沙拉尼
相关软件: 去;GAMS;MATSim…
主要字段: 常微分方程(34-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

GPU验证

14篇文献引用(2013–2022)
软件作者: 彼得·科林伯恩(Peter Collingbourne);阿拉斯泰尔·唐纳森。;杰罗·凯特马(Jeroen Ketema);沙兹·卡迪尔
相关软件: GKLEE;CUDA;布吉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

DyC公司

11份文件引用(2000–2010)
软件作者: Grant,B.、Mock,M.、Philipose,M.和Chambers,C.、Eggers,S.J。
相关软件: VCODE;记忆法;BCEL…
主要字段: 计算机科学(68-XX)

混合系统实验室

11份文件引用(2021–2024)
软件作者: 里卡多·桑费利斯(Ricardo G.Sanfelice)。
相关软件: github;HyEQ;YALMIP…
主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);系统论;控制(93-XX)

风险投资

8份文件引用(2016–2018)
软件作者: 维卡什·曼辛加、丹尼尔·塞尔萨姆、尤拉·佩罗夫
相关软件: 教会;斯坦;错误…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);统计学(62-XX)…

gcl公司

10篇文献引用(2010–2023)
软件作者: 贾尼契奇,普雷德拉格
相关软件: GCLC;GEX;GeoGebra…
主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)…

PAGAI公司

10篇文献引用(2014–2022)
软件作者: 朱利安·亨利、大卫·莫尼奥、马蒂厄·莫伊
相关软件: 停机坪;PPL;阿斯匹克…
主要字段: 数学逻辑与基础(03-XX);凸和离散几何(52-XX);计算机科学(68-XX)…

Paragon公司

9份文件引用(2010–2022)
软件作者: 尼古拉斯·布罗伯格(Niklas Broberg);范·德尔夫特,巴特;大卫·桑兹
相关软件: Jif;github;SeLINQ…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

TaintDroid公司

8份文件引用(2013–2023)
软件作者: Enck,W.、Gilbert,P.、Han,S.、Tendulkar,V.、Chun,B.-G.、Cox,L.P.、Jung,J.、McDaniel,P.和Sheth,A.N。
相关软件: FlowDroid;戴坦;JFlow…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

FlowFox公司

8份文件引用(2013-2021)
软件作者: W.D.Groef、D.Devriese、N.Nikiforakis、F.Piessens。
相关软件: Jif;CoSMed;CAVA LTL模型检查器…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

JSAI公司

6篇文献引用(2017–2022)
软件作者: 维尼斯·卡西亚普、凯尔·杜威、伊桑·库夫纳、约翰·瓦格纳、凯文·吉本斯、约翰·萨拉西诺、本·维德曼、本·哈德科夫
相关软件: JavaScript;幻影;诺恩…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

SNESIM公司

8份文件引用(2014–2022)
软件作者: 塞巴斯蒂安·斯特雷贝尔;克洛德·卡维利厄斯
相关软件: SGeMS;GSLIB;霍西姆…
主要字段: 统计学(62-XX);数值分析(65-XX);统计力学,物质结构(82-XX)…

Dytan公司

6篇文献引用(2013–2022)
软件作者: Clause,J.、Li,W.、Orso,A。
相关软件: TAJ公司;TaintDroid;像素…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)…

Eldarica公司

7份文件引用(2016–2023)
软件作者: 侯赛因·霍贾特;菲利普·科内钦;弗洛伦特·加尼尔;Iosif,Radu;维克多·昆卡;菲利普·吕默
相关软件: 公主;FLATA;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

雅克斯塔布

7份文件引用(2011–2023)
软件作者: Johannes Kinder,赫尔穆特·维斯
相关软件: github;卫星抗体;WPDS++…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

多协议标签

7份文件引用(1996–2010)
软件作者: 马斯帕尔
相关软件: DIMACS公司
主要字段: 常微分方程(34-XX);统计学(62-XX);数值分析(65-XX)…

巴黎证券交易所

8份文件引用(1988–2018)
软件作者: D.L.理查森
相关软件: 极小值;罗迪尼亚;线程
主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

张力

5份文件引用(2021–2022)
软件作者: 亚历山大·库内尔(Alexander Kuhnle);Michael Schaarschmidt;凯·弗里克
相关软件: TensorFlow;OpenAI健身房;地平线…
主要字段: 计算机科学(68-XX);流体力学(76-XX);生物学和其他自然科学(92-XX)

CPFLOW公司

6篇文献引用(1994–2015)
软件作者: ——
相关软件: PRMLT;MUMPS;Graphviz…
主要字段: 常微分方程(34-XX);数值分析(65-XX);光学、电磁理论(78-XX)…

CVPP公司

7份文件引用(2004–2015)
软件作者: 赫斯曼(Marieke Huisman);古罗夫,帝力
相关软件: MAVEN公司;班德拉;Uppaal…
主要字段: 数论(11-XX);统计学(62-XX);计算机科学(68-XX)…

混合ILP衬里

7份文件引用(2018–2021)
软件作者: van Zelst,S.J。;van Dongen,B.F。;van der Aalst,W.M.P。;H.M.W.韦贝克。
相关软件: 红矿工;XESame;RapidProM…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

开放UH

3份文件引用(2008–2016)
软件作者: 埃尔南德斯,奥斯卡;金浩强;芭芭拉·查普曼
相关软件: TAU;科扎克;GenIDLEST…
主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)

快速鸡

7份文件引用(2015–2022)
软件作者: Paraskevopoulou,佐伊;Hriţcu,科特林;邓内斯,马克西姆;莱昂尼达斯·兰普罗普洛斯;本杰明·皮尔斯。
相关软件: 快速检查;PVS;Coq…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

寓言

6篇文献引用(2011–2017)
软件作者: Swamy N、Corcoran BJ、Hicks M
相关软件: F*;Jif;AURA…
主要字段: 计算机科学(68-XX)

霍罗斯

6篇文献引用(2000–2022)
软件作者: Konstantinides,K.,Rasure,J.R。
相关软件: 康塔塔;羽毛;ElemStatLearn…
主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)

PRECiSA公司

6篇文献引用(2018–2022)
软件作者: 劳拉·蒂托洛;马可·A·费利乌。;玛丽亚诺·莫斯卡托;穆尼奥斯,塞萨尔·A。
相关软件: RangeLab;z3;ASTREE…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

普鲁斯特/湍流

6篇文献引用(2008–2014)
软件作者: 比约恩·格雷施纳;Frank Thiele;马克·雅各布(Marc C.Jacob)。;达米亚诺·卡萨利诺
相关软件: ANSYS-CFX;ANSYS;奥根
主要字段: 流体力学(76-XX)

QUAL2Kw公司

5份文件引用(2008–2019)
软件作者: GJ Pelletier、SC Chapra、H Tao
相关软件: Matlab;船长;中观CASiMiR…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

反应泡沫-SCI

6篇文献引用(2019–2023)
软件作者: 杨,齐;赵鹏;葛海文
相关软件: OpenFOAM;坎特拉;预混料…
主要字段: 数值分析(65-XX);流体力学(76-XX);经典热力学,传热(80-XX)…

比例6.2

6篇文献引用(2015–2021)
软件作者: 里尔登,B。;列斐伏尔,R。;Lefebvre,J。;克拉诺,K。;威廉姆斯,M。;Petrie,L。;美国Mertyurek。
相关软件: 德诺沃;特里利诺斯;比例…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…

WinGCLC公司

5份文件引用(2006–2011)
软件作者: Predrag Janicic公司;合著者
相关软件: 地质学;GCL校准仪;Eukleides…
主要字段: 几何(51-XX);微分几何(53-XX);计算机科学(68-XX)…

ARMor公司

5份文件引用(2013–2020)
软件作者: Zhao,L.、Li,G.、Sutter,B.D.、Regehr,J。
相关软件: HOL;seL4;MiBench…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

达瓦

4份文件引用(2002–2011)
软件作者: Jerome Miecznikowski;劳丽·亨德伦
相关软件: FlowDroid;ESC/Java;方面J…
主要字段: 计算机科学(68-XX)

j预测器

5份文件引用(2007–2018)
软件作者: Feng Chen、Traian Florin Serbanuta、Grigore Rošu
相关软件: AVIO;QuickLex;快速通道…
主要字段: 计算机科学(68-XX)

渗透

3份文件引用(2011–2017)
软件作者: Bardin,S.、Herrmann,P。
相关软件: CBMC;GATeL;z3…
主要字段: 计算机科学(68-XX)

PolyAML公司

5份文件引用(2005–2012)
软件作者: 丹塔斯,D.S。;Walker,D。;Washburn,G。;魏里奇,S
相关软件: Aspectual凸轮;方面J;MAVEN…
主要字段: 计算机科学(68-XX)

Proclets程序

5份文件引用(2002–2021)
软件作者: Van Der Aalst,W.M.P。;巴塞尔梅斯,P。;埃利斯,C.A。;韦纳,J。
相关软件: 蛋白质;swrl;颗粒…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

STATCOM公司

4份文件引用(2009年至2021年)
软件作者: 辛格,B。;萨哈,R。;钱德拉,A。;Al-Haddad,K。
相关软件: Matlab公司
主要字段: 运筹学、数学规划(90-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)

简洁

5份文件引用(2004年-2010年)
软件作者: 尼尔森,弗莱明;尼尔森、汉内·里斯;孙红燕;米凯尔·巴赫霍尔茨(Mikael Buchholtz);Hansen、Rene Rydhof;亨利克·皮利加德(Henrik Pilegaard);赫尔穆特·塞德尔
相关软件: 琳达;科莱姆;政治公众人物协议…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

阿格利特

3份文件引用(2010–2017)
软件作者: 杰米·莫根斯坦(Jamie Morgenstern);丹尼尔·李卡塔(Daniel R.Licata)。
相关软件: 层流;哈斯克尔;Ynot…
主要字段: 计算机科学(68-XX)

ATISMART公司

4份文件引用(2015–2023)
软件作者: JoséL.Galán-García、Gabriel Aguilera-Venegas、Pedro Rodríguez-Cielos
相关软件: ATISBAT;马克西玛;枫树…
主要字段: 组合数学(05-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

CFDLIB公司

2份文件引用(2000–2016)
软件作者: Baumgardner JR、Cline MC、Johnson NL、Kashiwa BA。;N.T.Padial,R.M.Rauenzahn,W.B.VanderHeyden Los Alamos国家实验室
相关软件: 地毯;马斯特罗;卡斯特罗…
主要字段: 数值分析(65-XX);流体力学(76-XX);经典热力学,传热(80-XX)…

Fastflo公司

4份文件引用(1999–2004)
软件作者: 抱怨
相关软件: 佛罗里达州;PETSc;ADIC…
主要字段: 常微分方程(34-XX);数值分析(65-XX);变形固体力学(74-XX)…

加内特

1份文件引用(2014)
软件作者: N.Agarwal、T.Krishna、L.-S.Peh、N.K.Jha
相关软件: PARSEC;SICOSYS公司;哈西姆…
主要字段: 信息与通信理论,电路(94-XX)

iRankFinder(iRankFinder)

4份文件引用(2022)
软件作者: Doménech,J.J.,Genaim,S。
相关软件: z3;LoAT;GitHub…
主要字段: 计算机科学(68-XX)

层压

4份文件引用(2017–2022)
软件作者: Roy I、Porter DE、Bond MD、McKinley KS、Witchel E
相关软件: JFlow;JRIF;Jif…
主要字段: 计算机科学(68-XX)

ProMoVer公司

4份文件引用(2011–2016)
软件作者: Siavash Soleimanifard;古罗夫,帝力;玛丽克·赫斯曼
相关软件: MAVEN公司;德尔塔CCS;MSTA…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

公共事业部

4份文件引用(2014–2021)
软件作者: 宋,F。;T·图利。
相关软件: 比波普;自旋蛋白
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

玫瑰色

4份文件引用(2003–2010)
软件作者: 丹·昆兰
相关软件: SUIF;GAMS;AMPL…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

萨摩亚2

4份文件引用(2017–2020)
软件作者: 奥利弗·梅斯特(Oliver Meister);卡维·拉内马;迈克尔·巴德
相关软件: GEOCLAW公司;森林爪;皮诺…
主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)

ARTCP公司

2份文件引用(2001–2002)
软件作者: Alekseev,Igor V。;瓦莱里·索科洛夫。
相关软件: ——
主要字段: 计算机科学(68-XX)

CERANS公司-MHD

3份文件引用(2016年至2017年)
软件作者: Balasubramanian R;Anandhanarayanan K公司
相关软件: AUSMPW+;闪光;yt…
主要字段: 数值分析(65-XX);流体力学(76-XX)

DG2VHDL

3份文件引用(2000年至2003年)
软件作者: 安德鲁·斯通(Andrew Stone);埃利亚斯·S·马诺拉科斯。
相关软件: 托勒密
主要字段: 计算机科学(68-XX)

暗黑破坏神

3份文件引用(2016–2019)
软件作者: 根特大学;乔纳斯·梅贝;比约恩·德·萨特
相关软件: CompCertS;COMPCERTSFI公司;岩盐…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

特征CFA

3份文件引用(2011–2012)
软件作者: 塔伦·帕布;Shreyas Ramalingam;马修,可能;霍尔,玛丽
相关软件: PETSc;CUDA;THORS…
主要字段: 计算机科学(68-XX)

HLIO公司

3份文件引用(2015–2019)
软件作者: 巴勃罗,布瑞斯;Vytiniotis,Dimitrios;亚历杭德罗·鲁索
相关软件: 哈斯克尔;流量凸轮;LOLA…
主要字段: 计算机科学(68-XX)

基克

2份文件引用(2008–2022)
软件作者: 罗尔,马蒂亚斯;安德烈·范霍恩;贾斯敏卡·马特夫斯卡;尼尔斯·索默;Lena Stoever;西蒙·吉塞克(Simon Giesecke);威廉·哈塞尔布林
相关软件: SynchroVis;探索者Viz;JMeter…
主要字段: 计算机科学(68-XX)

马赫数2

3份文件引用(2017–2018)
软件作者: 弗雷斯,M.H。
相关软件: HE-E1GODF;HLLE;PETSc…
主要字段: 数值分析(65-XX);流体力学(76-XX)

网络

3份文件引用(1983–2019)
软件作者: 罗伯特·乌兰诺维奇(Robert E.Ulanowicz);詹姆斯·凯伊
相关软件: enaR;生态网;生态路径II…
主要字段: 常微分方程(34-XX);生物学和其他自然科学(92-XX);信息与通信理论,电路(94-XX)

帕尔爪哇

3份文件引用(2007–2009)
软件作者: 副总裁伊万尼科夫。;阿维提斯扬,A.I。;Gaissaryan,S.S。;医学硕士Akopyan。
相关软件: 小教堂;MPJ Express;要塞…
主要字段: 计算机科学(68-XX)

塞林克

3份文件引用(2014–2022)
软件作者: 丹尼尔·斯科佩(Daniel Schoepe);丹尼尔·赫丁(Daniel Hedin);安德烈·萨贝尔菲尔德
相关软件: JSLINQ公司;用户/网络;GitHub…
主要字段: 计算机科学(68-XX)

超级胶水

3份文件引用(2015–2022)
软件作者: 马丁·蒂勒尼乌斯
相关软件: OmpSs;StarPU;Hadoop…
主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)

乌兰斯

3份文件引用(2012–2019)
软件作者: “埃姆雷·奥兹卡亚(Emre Ozkaya);阿尼尔·内米利(Anil Nemili);尼古拉斯·R·高格(Nicolas R.Gauger)。
相关软件: OpenFOAM;锥体;旋转
主要字段: 流体力学(76-XX)

安迪斯

在0个文档中引用
软件作者: 崔汉涛;李方兴;凯文·托姆索维奇
相关软件: MATPOWER公司;SymPy公司;InterPSS…
主要字段: ——

AQUATOX公司

1份文件引用(2021)
软件作者: 理查德·帕克(Richard A.Park);乔纳森·克拉夫(Jonathan S.Clough);马乔里·库姆布斯·威尔曼(Marjorie Coombs Wellman)
相关软件: nlme;R;Matlab…
主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)…

AsTeRICS公司

2份文件引用(2014)
软件作者: 罗兰·奥斯曼;斯特凡·帕克;大卫·泰勒;佩西纳、卡罗尔;阿尔瓦罗州加西亚·索勒;布兰卡·莫拉莱斯;卫·克里斯托夫;克里斯托弗·维格尔;卡库西斯·康斯坦蒂诺斯
相关软件: OpenViBE
主要字段: 系统论;控制(93-XX);信息与通信理论,电路(94-XX)

BACC公司

2份文件引用(2004–2007)
软件作者: 威廉·麦考斯兰。
相关软件: S-PLUS;R;Matlab公司
主要字段: 概率论与随机过程(60-XX);统计学(62-XX)

BCL-3型

2份文件引用(2001–2003)
软件作者: 马杰;何,金;孟丹;李国杰
相关软件: ——
主要字段: 计算机科学(68-XX)

Chombo-Crunch公司

2份文件引用(2018–2021)
软件作者: David Trebotich;LBNL公司
相关软件: PETSc;溶解泡沫;ASCL…
主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)

差异

2份文件引用(2021–2022)
软件作者: 查克拉波蒂,苏普拉蒂克;阿舒托什·古普塔;迪夫耶什·乌纳德卡特
相关软件: z3;CVC4;Dafny…
主要字段: 计算机科学(68-XX)

数据传输协议++

2份文件引用(2012–2019)
软件作者: Kang MG、McCamant S、Poosankam P、Song D
相关软件: 鹌鹑;ANTLR;LeakWatch…
主要字段: 统计学(62-XX);计算机科学(68-XX)

柔韧

2份文件引用(2019)
软件作者: 马丁·卡鲁斯;卢巴沙伊尔卡;米罗斯拉夫·菲卡尔
相关软件: 乌拉武;LMI工具箱;MPT…
主要字段: 可变形固体力学(74-XX);系统论;控制(93-XX)

加里尼

1份文件引用(2024)
软件作者: 弗朗西斯科·塞肯(Francesco Ceccon)、露丝·米塞纳(Ruth Misener)
相关软件: QPLIB;AIMMS;JuMP…
主要字段: 运筹学、数学规划(90-XX)

霍尔巴

2份文件引用(2020–2022)
软件作者: 迪德里克·伦德伯格(Didrik Lundberg);罗伯特·瓜夏莱(Roberto Guanciale);安德烈亚斯·林德纳;达姆,麦兹
相关软件: RGITL;达夫尼;GNAT证明…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

JRIF公司

2份文件引用(2019–2021)
软件作者: Elisavet Kozyri;欧文·雅顿;安德鲁·迈尔斯(Andrew C.Myers)。;弗雷德·施耐德。
相关软件: Jif;FlowFox;存档正式证据…
主要字段: 计算机科学(68-XX)

LATRANT公司

2份文件引用(2004–2016)
软件作者: Aristova,S.N。;A.B.伊斯卡科夫。
相关软件: 罗德斯
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

LPMD公司

2份文件引用(2010–2021)
软件作者: 塞尔吉奥·戴维斯;洛约拉,克劳迪娅;费利佩·冈萨雷斯(Felipe Gonz'alez);佩拉塔,约阿库
相关软件: DL_POLY_3;发霉
主要字段: 量子理论(81-XX);统计力学,物质结构(82-XX)

匹配2C

2份文件引用(2023)
软件作者: 张波(音译)
相关软件: mipmatch;滚边;多斯…
主要字段: 统计学(62-XX)

梅塔内特

2份文件引用(1994–1996)
软件作者: 克劳德·戈麦斯;莫里斯·古尔萨特
相关软件: ——
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

蒙特雷

2份文件引用(2018–2019)
软件作者: 杰里米·斯威齐(Jeremy E.Sweezy)。
相关软件: mlrnd;推力;OpenMC…
主要字段: 数值分析(65-XX);统计力学,物质结构(82-XX)

迈亚

在0个文档中引用
软件作者: 奥利维尔·布鲁鲁;巴特·范梅里恩博尔
相关软件: 蟒蛇;切线;PyCmdStan…
主要字段: ——

NetSpeak公司

2份文件引用(1997–2007)
软件作者: 布鲁斯·拉马尔(Bruce W.Lamar)。;克里斯·华莱士。
相关软件: ——
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

SITS公司

2份文件引用(2007–2016)
软件作者: 菲格雷多,里诺;Tenreiro Machado,J.A。
相关软件: ——
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

蓄意破坏

2份文件引用(2021)
软件作者: Lexi Brent、Anton Jurisevic、Michael Kong、Eric Liu、Francois Gauthier、Vincent Gramoli、Ralph Holz、Bernhard Scholz
相关软件: github;SmartCheck;eThor公司
主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

筛选结果依据…

全部的 前5名

相关软件