×

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

AUTO(自动)

1016份文件引用(1981–2024)
软件作者: 多德尔、尤西比乌斯、阿兰·查普内斯、法比奥·德科尔、托马斯·费尔格雷夫、尤里·库兹涅佐夫、巴特·奥尔德曼、兰迪·帕芬罗斯、比约恩·桑德斯、王宪军和张成海
相关软件: AUTO-07P;HomCont;自动-86…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

WinBUGS公司

760份文件引用(1999年-2023年)
软件作者: David Spiegelhalter;安德鲁·托马斯;Nicky Best;戴夫·伦恩
相关软件: R;贝叶斯DA;错误…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

z3型

753份文件引用(2001–2024)
软件作者: 微软研究院;莱昂纳多·德·莫拉;尼古拉·比约纳
相关软件: CVC4;SMT-LIB;Yices…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

SPSS软件

533份文献中引用(1974–2023)
软件作者: IBM公司;诺曼·H·聂;C.哈德莱船体
相关软件: SAS;R;状态…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

伊斯兰教

718份文件引用(1971–2023)
软件作者: 符号学
相关软件: 枫树;Mathematica;减少…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

FEAPpv公司

619文件引用(2005–2024)
软件作者: O.C.Zienkiewicz;R.L.泰勒
相关软件: 阿巴夸斯;Matlab;HYPLAS…
主要字段:

漏洞

371份文件引用(1992–2023)
软件作者: D.Spiegelhalter、A.Thomas、W.Gilks
相关软件: R;WinBUGS;卡爪…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

Mplus公司

197篇文献引用(1998–2023)
软件作者: Mplus开发团队
相关软件: R;LISREL公司;EQS…
主要字段: 统计学(62-XX);数值分析(65-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

锯齿

282篇文献引用(2005–2023)
软件作者: 马丁·普卢默
相关软件: R;斯坦;WinBUGS…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

顶部。

309份文件引用(2005–2023)
软件作者: 俄亥俄州西格蒙德
相关软件: 前88米;Matlab;ESOFRAME…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…

数据日志

282篇文献引用(1978–2022)
软件作者: Ceri,S.、Gottlob,G.、Tanca,L
相关软件: 亚萨特;格林戈;Clingo…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

其mr

255篇文献引用(1996年-2023年)
软件作者: 乔治·威格特
相关软件: ITSM2000;R;astsa…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

HYPLAS公司

引用于236份文件(1996年-2023年)
软件作者: De Souza Neto EA、PerićD、Owen DRJ
相关软件: 阿巴夸斯;FEAPpv;Matlab…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

有限元分析

213篇文献引用(1993–2024)
软件作者: 泰勒;加州大学伯克利分校
相关软件: 阿巴夸斯;PETSc;FEAPpv…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

固定点算法

164篇文献引用(2001–2022)
软件作者: J Hurri、H Gävert、J Särelä、A Hyvärinen
相关软件: ICALAB;R;ElemStatLearn…
主要字段:

联合

183份文件引用(1988–2021)
软件作者: K.Mani Chandy;贾亚德夫·米斯拉
相关软件: NQTHM;PVS;HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

帕杰克

153篇文献引用(2001–2023)
软件作者: 弗拉基米尔·巴塔格尔;安德烈·穆瓦尔
相关软件: Pajek数据集;稀疏矩阵;R、 …
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

UTA Plus公司

159份文件引用(1982–2023)
软件作者: Jacquet Lagrèze E.,西斯科斯J。
相关软件: 视觉UTA;M-MACBETH;电气…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

塞尔维亚广播公司

157篇文献引用(1980年-2023年)
软件作者: 法国巴黎。;E·阿拉肯。
相关软件: 豆类;正规化工具;NAG…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

电子稳定控制系统/Java

120篇文献引用(2001–2022)
软件作者: 格雷格·纳尔逊
相关软件: 规范#;简化;JML…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

班德拉

105篇文献引用(2000–2023)
软件作者: 约翰·哈特克利夫;马修·德怀尔
相关软件: 自旋蛋白;Java PathFinder;veriSoft…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

CMPGRD公司

128篇文献引用(1990–2024)
软件作者: Chesshire,G。;W.D.亨肖。
相关软件: 奥根;溢流;PETSc…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

SYMMGRP公司

120篇文献引用(1993–2022)
软件作者: 威利·赫里曼;B.香槟;P.温特尼茨
相关软件: 枫树;SYMMGRP公司。最大值;谎言…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

STABLE(稳定)

119篇文献引用(1997–2023)
软件作者: 约翰·P·诺兰。
相关软件: R;SYMSTB;Matlab…
主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);统计学(62-XX)…

宝石

106篇文献引用(1990–2023)
软件作者: 亚历克谢·契维亚科夫
相关软件: 枫树;裂纹;LIEPDE…
主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);变形固体力学(74-XX)…

潜在黄金

86篇文献引用(2002–2023)
软件作者: 弗蒙特,J.K。;Magidson,J;统计创新公司。,
相关软件: R;Mplus;mclust…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

蟒蛇

89份文件引用(2000–2024)
软件作者: 布莱恩·史密斯
相关软件: R;WinBUGS;CODA…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

供应商管理部

77份文件引用(1999–2024)
软件作者: 安德鲁·达尔克、威廉·汉弗莱、克劳斯·舒尔滕
相关软件: 格罗姆克斯;NAMD;CHARMM…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

卡斯珀

83份文件引用(1999年至2018年)
软件作者: Gavin Lowe/牛津大学计算实验室
相关软件: AVISPA;水龙头;OFMC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

fastDNAml(快速DNAml)

88篇文献引用(1987–2022)
软件作者: Olsen,G.J.、Matsuda,H.、Hagstrom,R.、Overbeek,R;费尔森施泰因
相关软件: PHYLIP;贝叶斯先生;Seq-Gen…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

奥的斯

89份文件引用(1987–2023)
软件作者: 巴黎,西南部。;Hargraves,C.R;NASA格伦研究中心
相关软件: 社会保险;SNOPT;NPSOL…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);粒子力学与系统(70-XX)…

NAMD公司

70篇文献引用(1999年-2023年)
软件作者: 詹姆士菲利普斯
相关软件: 格罗姆克斯;查姆;VMD…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

谎言

82份文件引用(1993–2022)
软件作者: 主管,A.K。
相关软件: DIMSYM公司;SYMMGRP;减少…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);整体分析,流形分析(58-XX)…

投掷

59篇文献引用(2005–2022)
软件作者: 帕特丽斯·戈德弗里德;尼尔斯·克拉伦德;库什克森
相关软件: 可爱的;z3;KLEE…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

豆类

78篇文献引用(2004–2023)
软件作者: 阿洛克·萨特拉达尔;Paulino,Glaucio H。;莱昂纳德·格雷。
相关软件: SERBA;XFEM;ABAQUS…
主要字段: (65N38-XX);(65-02-XX);(74S15-XX)…

利姆代普

69篇文献引用(1984–2020)
软件作者: 经济计量软件公司
相关软件: Stata公司;R;Excel…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

水银

75篇文献引用(1994年至2022年)
软件作者: mercurylang.org网站
相关软件: 哈斯克尔;幼儿保育和教育;咖喱…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);统计学(62-XX)…

科帕西

61篇文献引用(2008–2022)
软件作者: S.Hoops、S.Sahle、R.Gauges、C.Lee、J.Pahle、N.Simus、M.Singhal、L.Xu、P.Mendes、U.Kummer
相关软件: 生物模型;R;BioNetGen…
主要字段:

XFOIL公司

70篇文献引用(1997–2023)
软件作者: 马克·德雷拉(Mark Drela);哈罗德·杨格伦
相关软件: Spalart-Allmaras;EGO;GAToolBox…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

野兽

64篇文献引用(2009–2023)
软件作者: Bouckaert,R.、Heled,J.、Kühnert,D.、Vaughan,T.、Wu,C-H.、Xie,D.、Suchard,MA、Rambaut,A.、Drummond,A.J。
相关软件: 贝叶斯先生;BEAUti公司;RAxML…
主要字段:

发现者

66份文件引用(1999年-2023年)
软件作者: 夏B
相关软件: QEPCAD;枫树;重新记录…
主要字段: 代数几何(14-XX);常微分方程(34-XX);数值分析(65-XX)…

毛虫SSA

61篇文献引用(2001–2022)
软件作者: 北卡罗来纳州Golyandina。;V.V.内克鲁特金。;Zhigljavsky,A.A.公司。
相关软件: 预测;预测;R、 …
主要字段:

LOCBIF公司

65篇文献引用(1992–2019)
软件作者: 亚历山大一世(Alexander I.Khibnik)。;尤里·库兹涅佐夫(Yuri A.Kuznetsov)。;维克多·V·莱维汀。;尤金·尼古拉耶夫。
相关软件: 自动;DS工具;自动-86…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

BILOG公司

51篇文献引用(1986–2023)
软件作者: Zimowski,M.F.,Muraki,E.,Mislevy,R.J.,Bock,R.D
相关软件: R;帕斯卡尔;Mplus…
主要字段:

CPA检查器

45篇文献引用(2011–2023)
软件作者: 德克·拜尔、斯特凡·洛韦、菲利普·温德勒
相关软件: 爆炸;CBMC;SLAM…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

GreatSPN公司

53篇文献引用(1988–2022)
软件作者: 朱奈德·巴巴尔;马可·贝库蒂;苏珊娜·多纳泰利(Susanna Donatelli);安德鲁·米纳
相关软件: GreatSPN 1.7;TimeNET;CADP…
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…

利比亚中央银行

60篇文献引用(2009–2023)
软件作者: 查查特,B
相关软件: 安提戈内;BARON公司;MC++…
主要字段:

PAUP公司*

52篇文献引用(1987–2024)
软件作者: 大卫·斯沃福德
相关软件: PHYLIP;RAxML;Bayes先生…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

梁189

58篇文献引用(2003–2023)
软件作者: 王长国;谭慧峰;杜兴文
相关软件: 阿巴夸斯;ANSYS;Meschach…
主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);变形固体力学(74-XX)…

RAxML公司

36篇文献引用(2004–2023)
软件作者: 亚历山德罗斯斯塔马塔基斯;托马斯·路德维希;哈拉尔德·迈耶
相关软件: 贝叶斯先生;野兽;PAUP*…
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…

CeTA公司

49篇文献引用(2009–2023)
软件作者: 雷内·蒂曼;克里斯蒂安·斯特纳格尔
相关软件: Isabelle/HOL;伊莎贝尔;存档正式证据…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);交换代数(13-XX)…

CiaoPP公司

51篇文献引用(1999–2022)
软件作者: Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。
相关软件: Ciao;SICStus公司;水星…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Daikon公司

41篇文献引用(2005–2022)
软件作者: 迈克尔·D·恩斯特。;Jeff H.Perkins。;菲利普·郭(Philip J.Guo)。;斯蒂芬·麦卡曼特;卡洛斯·帕切科;马修·桑茨(Matthew S.Tschantz)。;肖,陈
相关软件: JML;胡迪尼;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

acrit-XSC公司

48篇文献引用(1985–2019)
软件作者: 沃尔夫冈·沃尔特。
相关软件: C-XSC;C-XSC 2.0;PASCAL-XSC…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

奥维托

44篇文献引用(2012–2023)
软件作者: 亚历山大·斯图科夫斯基
相关软件: 车灯;查姆;Gromacs…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

香蒜酱

49篇文献引用(2016–2023)
软件作者: 阿德里安·B·泰勒。;朱利安·亨德里克斯。;F.格利纳。
相关软件: YALMIP;塞杜米;取消锁定BoX…
主要字段: 算子理论(47-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

廷巴克

49篇文献引用(2001–2023)
软件作者: 托马斯·杰奈特;Yohan Boichut;贝诺·博伊尔;Valérie Viet Triem Tong。。
相关软件: 莫德;AVISPA;ELAN…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)…

污水处理厂

42篇文献引用(2007–2022)
软件作者: 维杰·加内什(Vijay Ganesh);特雷弗·汉森;马特·索斯;Dan Liew;Ryan Govostes;安德鲁·琼斯;等。
相关软件: z3;投掷;可爱…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…

K校准仪

46篇文献引用(2007–2022)
软件作者: 罗什、格里戈尔等人
相关软件: 莫德;K工具;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

HLM公司

22篇文献引用(2002–2016)
软件作者: SSI,科学软件国际有限公司。,
相关软件: MLwiN;R;SPSS…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

潮汐

44篇文献引用(2009–2023)
软件作者: A.Abad、R Barrio、F.Blesa、M.Rodriguez
相关软件: 泰勒;ATOMFT;杆…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

船长

39篇文献引用(2006–2023)
软件作者: 师彼得·扬
相关软件: Matlab;CONTSID;系统标识工具箱…
主要字段: 统计学(62-XX);数值分析(65-XX);粒子力学与系统(70-XX)…

奇梅拉

34份文件引用(2006–2023)
软件作者: Pettersen EF、Goddard TD、Huang CC、Couch GS、Greenblatt DM、Meng EC、Ferrin TE
相关软件: 爆炸;PSI-爆炸;关系…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

CIL公司

33篇文献引用(2002–2022)
软件作者: Necula,G.C.,McPeak,S.,Rahul,S.P.,Weimer,W。
相关软件: 爆炸;CBMC;SLAM…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

勒图尔

40篇文献引用(1988–2022)
软件作者: 米努克斯,M。
相关软件: HgMUS;数据日志;JBool…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…

非MEM

引用于37份文件(1996–2022)
软件作者: 比尔,S.L。;谢纳,L.B。
相关软件: R;S-PLUS;SAS…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

Mixmod公司

引用于37份文件(2006–2022)
软件作者: 克里斯托夫·比尔纳基;赛乐士、吉列;戈沃特,热拉尔;佛罗伦萨,兰格罗涅特
相关软件: 麦克卢斯特;R;PGMM…
主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)…

模块

39篇文献引用(1985–2018)
软件作者: 伯纳杜,M。;哈西姆,A。;Laug,P.等人。;转向,D。;维德拉斯库,M。;E.萨尔特尔。
相关软件: mpi4py;UFL;宠物…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

多混合

36篇文献引用(1999–2022)
软件作者: 勒奈特·亨特;莫里·乔根森
相关软件: R;UCI毫升;mclust…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

短讯服务

38篇文献引用(1997–2023)
软件作者: 乔·科勒克
相关软件: Mathematica;AceFEM;AceGen…
主要字段: (91B99-XX);(90-02-XX);(65C20-XX)…

XGobi公司

在28份文件中引用(1995–2020)
软件作者: Swayne DF、Cook D、Buja A
相关软件: R;GGobi;ggplot2…
主要字段: 凸和离散几何(52-XX);统计学(62-XX);计算机科学(68-XX)…

FIDAP公司

引用于37份文件(1982–2009)
软件作者: 迈克尔·恩格曼。
相关软件: SPARSKIT;伊索尔;ILUS…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

派克斯

23篇文献引用(2009–2018)
软件作者: 尼古拉·蒂尔曼(Nikolai Tillmann)、乔纳森·德哈勒克斯(Jonathan de Halleux)
相关软件: 投掷;可爱的;z3…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…

阿凡达

34份文件引用(2014–2023)
软件作者: 沃伦科夫,A。
相关软件: VAMPIRE公司;TPTP;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

日本运通银行

25篇文献引用(2002–2022)
软件作者: 克劳斯·哈弗伦德;格里高·罗什乌
相关软件: Java PathFinder;莫德;班德拉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

多线性引擎

33篇文献引用(2002–2022)
软件作者: 彭蒂·帕特罗
相关软件: Tensor工具箱;Matlab;PARAFAC…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

熊猫

32篇文献引用(1983–2010)
软件作者: 戴维·布什内尔
相关软件: BOSOR5;VICONOPT公司;CONMIN…
主要字段: (74S30-XX);(74P99-XX);(65K10-XX)…

拆分树

在30份文件中引用(1996年-2023年)
软件作者: 胡森,D.H。
相关软件: PHYLIP;ClustalW;fastDNAml…
主要字段: 组合数学(05-XX);凸和离散几何(52-XX);通用拓扑(54-XX)…

爪哇风扇

在30份文件中引用(2004–2018)
软件作者: 阿扎德·法尔赞;陈冯;何塞·梅塞盖尔;格里高·罗什乌
相关软件: 莫德;K校准仪;MMT…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

Phylon网络

27篇文献引用(2010–2024)
软件作者: 加布里埃尔·卡多纳(Gabriel Cardona)、弗朗西斯科·罗塞洛(Francesc Rosselló)、加布里埃尔·瓦连特(Gabriel-Valiente)
相关软件: PADRE;github;生物钟…
主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…

TC-HAT公司

32篇文献引用(2008–2023)
软件作者: Thota,P.,Dankowicz,H。
相关软件: SlideCont;自动;COCO…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

REVEAL公司

24篇文献引用(2003–2022)
软件作者: Liang,S.、Fuhrman,S.和Somogyi,R
相关软件: KEGG;R;BoolNet…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

SAP2000公司

26篇文献引用(2003–2023)
软件作者: 计算机与结构公司。
相关软件: Matlab;OpenSees;Python…
主要字段:

想要90

26篇文献引用(2008–2024)
软件作者: Arash A.Mostofi、Jonathan R.Yates、Young-Su Lee、Ivo Souza、David Vanderbilt、Nicola Marzari
相关软件: 量子浓缩咖啡;WIEN2k;ABINIT…
主要字段: (81-04-XX);(65C05-XX)

LOGOS标志

29篇文献引用(2014–2023)
软件作者: 于德柳金。编号。;朱奇科夫,R.N。;Zelenskiy,D.K。;科泽尔科夫,A.S。;萨拉佐夫,A.S。;库迪莫夫,N.F。;Yu Lipnickiy。医学硕士。;Panasenko,A.V.公司。;A.V.萨夫罗诺夫。
相关软件: 澳大利亚统计局;磁粉检测;LSODE…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

敖德萨语

29篇文献引用(1988–2021)
软件作者: J.R.Leis和M.A.Kramer
相关软件: AUTO-86;CVODES;LSODE…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

美国金融服务贸易协会

18篇文献引用(1992–2022)
软件作者: 威廉·皮尔逊
相关软件: 爆炸;PSI-爆炸;ClustalW…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

FLagSHyP公司

27篇文献引用(2016–2023)
软件作者: 哈维尔·博内;安东尼奥·吉尔。;理查德·伍德。
相关软件: Gmsh;阿巴夸斯;HYPLAS…
主要字段: 微分几何(53-XX);数值分析(65-XX);变形固体力学(74-XX)…

作记号

23篇文献引用(2002–2022)
软件作者: 怀特GC,伯纳姆KP
相关软件: 程序标记;R;R标记…
主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);统计学(62-XX)…

搅拌机

23篇文献引用(2000–2021)
软件作者: 唐纳德·赫德克;罗伯特·吉布斯
相关软件: Stata公司;MLwiN;SAS/STAT…
主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)…

RELION公司

27篇文献引用(2015年-2023年)
软件作者: S.H.W.Scheres公司
相关软件: 冷冻SPARC;EMan;法语…
主要字段: 统计学(62-XX);数值分析(65-XX);光学、电磁理论(78-XX)…

希格斯信号

25篇文献引用(2014–2023)
软件作者: P.Bechtle、S.Heinemeyer、O.Stål、T.Stefaniak、G.Weiglein
相关软件: 希格斯束缚;萨拉;斯费诺…
主要字段: 概率论与随机过程(60-XX);粒子和系统力学(70-XX);量子理论(81-XX)…

森金

23篇文献引用(1997–2022)
软件作者: A.E.卢茨。;R.J.Kee。;J.A.米勒。
相关软件: CHEMKIN公司;运输;GRI-科技3.0…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);流体力学(76-XX)…

COSTA公司

22篇文献引用(1992–2020)
软件作者: 埃尔维拉·阿尔伯特(Elvira Albert)、普里·阿雷纳斯(Puri Arenas)、萨米尔·吉纳伊姆(Samir Genaim)、杰尔曼·普埃布拉(Germanán Puebla)、达米亚诺·扎纳尔迪尼(Damiano Zanardini)
相关软件: 速度;AProVE;参考…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);偏微分方程(35-XX)…

汉普

20篇文献引用(2012–2023)
软件作者: Ganesh,V.、Kieżun,A.、Artzi,S.、Guo,P.J.、Hooimeijer,P.、Ernst,M
相关软件: 陌生人;z3;S3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

打开AD/F

23篇文献引用(2007–2022)
软件作者: 吉恩·乌特克;乌韦·诺曼;Mike Fagan;内森·塔伦特;米歇尔·米尔斯(Michelle Mills),斯特劳特(Strout);帕特里克·亨巴赫(Patrick Heimbach);克里斯·希尔(Chris Hill);卡尔·温施
相关软件: 锥体;ADIFR;ADOL-C…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

SLAyer公司

21篇文献引用(2012–2023)
软件作者: 乔什·伯丁(Josh Berdine);拜伦·库克;萨明·伊斯蒂亚克
相关软件: 小脚;VeriFast;HIP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

元工具

22篇文献引用(2007–2019)
软件作者: 冯·坎普A、舒斯特S
相关软件: efmtool;KEGG;亚纳…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

MOPS公司

15篇文献引用(2003–2019)
软件作者: Chen,H.、Wagner,D。
相关软件: SLAM;爆炸;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

RegEM公司

19份文件引用(2010–2023)
软件作者: 塔皮奥·施耐德
相关软件: 插补;玻璃;UCI-ml…
主要字段: 统计学(62-XX);计算机科学(68-XX);地球物理学(86-XX)…

筛选结果依据…

全部的 前5名

相关软件