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)…
漏洞 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… 主要字段: –
毛虫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)…
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)…
日本运通银行 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)…
想要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)…