数学软件 6558篇文献引用(1986年至2024年) 软件作者: 沃尔夫勒姆研究公司 相关软件: 枫树;Matlab;SageMath… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
ABAQUS公司 1722年文献引用(1985–2024) 软件作者: Simulia(达索系统);ABAQUS公司 相关软件: ABAQUS/标准;UMAT;Matlab… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
Stata公司 755份文件引用(1993年-2023年) 软件作者: StataCorp有限公司 相关软件: R;SAS;SPSS… 主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…
开放式泡沫 662份文件引用(2007–2024) 软件作者: OpenCFD有限公司(ESI集团) 相关软件: FLUENT公司;Matlab;PETSc… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
凯利 664份文件引用(1995–2024) 软件作者: C.T.凯利。 相关软件: minpack;L-BFGS;Matlab… 主要字段: 偏微分方程(35-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…
切割机 648份文件引用(1994–2024) 软件作者: 尼古拉斯·I.M.古尔德。;多米尼克·奥尔班;马桶,Philippe L 相关软件: 可爱;12月6日;L-BFGS… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
糠 559份文件引用(2001–2023) 软件作者: Moskewicz,M.、Madigan,C.、Zhao,Y.、Zhang,L.和Malik,S 相关软件: MiniSat;伯克敏;SATO… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
麦克利埃塞 355篇文献引用(1981–2024) 软件作者: 斯特凡·海斯;阿米尔·莫拉迪;克里斯托夫·帕尔 相关软件: 自行车;岩浆;NTRU… 主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…
顶部。米 309份文件引用(2005–2023) 软件作者: 俄亥俄州西格蒙德 相关软件: 前88米;Matlab;ESOFRAME… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…
帕迪索 300篇文献引用(1999–2024) 软件作者: Olaf Schenk、Klaus Gärtner、George Karypis、Robert Luce、Peter Carbonetto 相关软件: MUMPS;稀疏矩阵;LAPACK… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
HYPLAS公司 236篇文献引用(1996年-2023年) 软件作者: De Souza Neto EA、PerićD、Owen DRJ 相关软件: ABAQUS;FEAPpv;Matlab… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
机器人学 189份文件引用(2000–2024) 软件作者: 彼得·科克 相关软件: YALMIP;塞杜米;莫塞克… 主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
KEEL公司 113篇文献引用(2009–2024) 软件作者: 阿尔卡拉-费德兹,J。;桑切斯,L。;南卡罗来纳州加西亚。;德尔·耶稣,M.J。;文图拉,S。;加雷尔,J.M。;Otero,J。;罗梅罗,C。;百加得,J。;里瓦斯,V.M。;费尔南德斯,J.C。;F.埃雷拉。 相关软件: JStatCom;UCI-ml;C4.5… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
ETPS公司 162篇文献引用(1986–2022) 软件作者: Peter Andrews、Matthew Bishop、Chad E.Brown、Sunil Issar、Dan Nesmith、Frank Pfenning、Xi Hongwei 相关软件: TPS;Isabelle/HOL;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…
PYTHIA8公司 154份文件引用(2006–2023) 软件作者: T.Sjöstrand、S.Mrenna、P.Z.Skands 相关软件: MadGraph;赫维格++;FastJet… 主要字段: 数值分析(65-XX);量子理论(81-XX);统计力学,物质结构(82-XX)…
米兰达 155份文件引用(1985–2023) 软件作者: D.A.特纳。 相关软件: 哈斯克尔;毫升;清洁… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…
Why3号机组 144篇文献引用(2004–2023) 软件作者: 弗朗索瓦·博博特;Jean-Christophe Filliátre;克劳德·马奇;纪尧姆·梅尔金德;安德烈·帕斯科维奇 相关软件: Coq;卡拉卡拉;z3… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…
抓握 143篇文献引用(1996–2024) 软件作者: Paola Festa;莫里西奥·雷森德(Mauricio G.C.Resende)。;帕诺斯·帕达洛斯(Panos M.Pardalos)。;李勇 相关软件: 禁忌搜索;PERL;TTTPLOTS… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
单兵携带防空系统 129篇文献引用(1991年-2023年) 软件作者: Benno Fuchssteiner;瓦尔德马尔·维温卡;克劳斯·哥特希尔;安德烈亚斯·坎佩尔;奥利弗·克鲁格(Oliver Kluge);卡斯滕·莫里斯;霍尔格,瑙多夫;Oevel,Gudrun;托尔斯滕·舒尔茨 相关软件: 枫树;数学;MuPAD-组合… 主要字段: 组合数学(05-XX);数论(11-XX);交换代数(13-XX)…
图形库 140篇文献引用(1993年-2023年) 软件作者: 唐纳德·科努特(Donald E.Knuth)。 相关软件: LOLIB;LEDA;Pajek数据集… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
FEASPUMP公司 139篇文献引用(1979–2024) 软件作者: 菲舍蒂(Matteo Fischetti);多梅尼科·萨尔瓦金 相关软件: MIPLIB公司;CPLEX;MIPLIB2003… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
LSODE公司 140篇文献引用(1983–2022) 软件作者: 阿兰·希德马什 相关软件: 投票;DASSL;ODEPACK… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
前88.m 134篇文献引用(2011–2024) 软件作者: 埃里克·安德烈森;克劳森,安德斯;Schevenels,Mattias;博扬·S·拉扎罗夫。;奥勒·西格蒙德 相关软件: 顶部.m;Matlab;亚当… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…
坎迪斯 128篇文献引用(2005–2024) 软件作者: 罗尔夫·苏兰克·阿尔弗雷德·格雷 相关软件: 数学;SciPy;Python… 主要字段: 偏微分方程(35-XX);微分几何(53-XX);整体分析,流形分析(58-XX)…
SETHEO公司 118篇文献引用(1990–2022) 软件作者: Letz,R。;舒曼,J。;拜耳,S。;比贝尔,W。 相关软件: TPTP;水獭;SPASS… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
视觉UTA 118篇文献引用(2008–2023) 软件作者: S.Greco、V.Mousseau、R.Słowiáski 相关软件: UTA Plus;M-MACBETH;电气… 主要字段: 测量和集成(28-XX);统计学(62-XX);计算机科学(68-XX)…
M-MACBETH公司 119篇文献引用(1994–2024) 软件作者: 卡洛斯·巴纳·科斯塔;Jean-Marie De Corte;Jean-Claude Vansnick女士 相关软件: UTA Plus;视觉UTA;电气… 主要字段: 测量和集成(28-XX);统计学(62-XX);计算机科学(68-XX)…
插补 99篇文献引用(2002–2023) 软件作者: 俄勒冈州特罗扬斯卡娅。;康托,M。;Sherlock,G。;布朗,P。;哈斯蒂,T。;Tibshirani,R。;博茨坦,D。;奥特曼,R。 相关软件: R;softImpute;会展… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
应用程序 108篇文献引用(2002–2023) 软件作者: 罗伯托·巴格纳拉;利玛窦(Elisa Ricci);埃纳州扎法内拉;帕特里夏·M·希尔。 相关软件: 高科技;停机坪;ASTREE… 主要字段: 数学逻辑与基础(03-XX);凸和离散几何(52-XX);计算机科学(68-XX)…
皮奥莫 102份文件引用(2012–2024) 软件作者: 威廉·哈特(William E.Hart)。;卡尔·莱尔德;Jean-Paul Watson;大卫·L·伍德拉夫。 相关软件: 古罗比;Ipopt;CPLEX… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
参数 96篇文献引用(2009–2024) 软件作者: Hutter,F。;胡斯,H.H。;莱顿-布朗,K。;T·斯图茨勒。 相关软件: SMAC;irace;SATZILA… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
seL4级 92份文件引用(2009–2023) 软件作者: Klein,G.、Elphinstone,K.、Heiser,G.,Andronick,J.、Cock,D.、Derrin,P.、Elkaduwe,D.、Engelhardt,K.,Kolanski,R.、Norrish,M.、Sewell,T.、Tuch,H.、Winwood,S。 相关软件: Isabelle/HOL;Coq;伊莎贝尔… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX)…
弹丸 71篇文献引用(2006–2023) 软件作者: Sirin,E.,Parsia,B.,Grau,B.C.,Kalyanpur,A.,Katz,Y。;Clark&Parsia有限责任公司 相关软件: FaCT++;赛车手;赫密特… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
Gecode公司 85篇文献引用(2007–2023) 软件作者: 克里斯蒂安·舒尔特(Christian Schulte),KTH皇家理工学院 相关软件: 微量锌;CPLEX;Choco… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
前缀跨度 引用于40篇文献(2004–2023) 软件作者: Pei J、Han J、Mortazavi Asl B、Pinto H、Chen Q、Dayal U、Hsu M C 相关软件: 铲刀;CloSpan;BIDE… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
双球面物理学 89份文件引用(2015–2024) 软件作者: 克雷斯波,A.J.C。;Domínguez,J.M。;Rogers,文学博士。;戈梅斯·盖斯特拉,M。;Longshaw,S。;坎内拉斯,R。;瓦康迪奥,R。;巴雷罗,A。;俄亥俄州加西亚·菲尔。 相关软件: CUDA;球面物理学;GADGET… 主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);变形固体力学(74-XX)…
仙人掌 70篇文献引用(2000–2023) 软件作者: 汤姆·古代尔;加布里埃尔·艾伦;Gerd Lanfermann;Joan Masso;托马斯·雷德克;爱德华·塞德尔(Edward Seidel);约翰·沙尔夫 相关软件: 地毯;爱因斯坦工具包;乔博… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…
谎言 82篇文献引用(1993–2022) 软件作者: A.K.海德。 相关软件: DIMSYM公司;SYMMGRP;减少… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);整体分析,流形分析(58-XX)…
莲花1-2-3 21篇文献引用(1989–2019) 软件作者: Lotus软件 相关软件: dBase;擅长;Quattro Pro… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
LMaFit公司 78篇文献引用(2012–2023) 软件作者: Zaiwen Wen、Wotao Yin、Yin Zhang、Yuan Shen 相关软件: RTRMC;PROPACK公司;ADMiRA… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
HLLC公司 78篇文献引用(2010–2023) 软件作者: 托卡列娃股份有限公司。;E.F.托罗。 相关软件: HLLE;HE-E1GODF;澳大利亚… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
剪辑 64篇文献引用(1992–2020) 软件作者: 加里·莱利;吉亚兰托 相关软件: 杰斯;蛋白质;马格特… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
SYMMGRP公司。马克斯 73篇文献引用(1991年-2023年) 软件作者: 香槟,B。;Hereman,W。;温特尼茨,P。 相关软件: SYMMGRP;diffgrob2;谎言… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
TAMC公司 72份文件引用(1998年至2021年) 软件作者: Giering,Ralf;托马斯·卡明斯基 相关软件: TAF;ADIFOR公司;ADOL-C… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
图表之家 69篇文献引用(2012–2024) 软件作者: 冈纳·布林克曼;克里斯·库萨特(Kris Coolsaet);Goedgebeur,Jan;梅洛特,哈德里安 相关软件: 鹦鹉螺;踪迹;snarkhunter… 主要字段: 组合数学(05-XX);凸和离散几何(52-XX);计算机科学(68-XX)…
iProver(iProver) 66份文件引用(2008–2023) 软件作者: 康斯坦丁·科洛文 相关软件: TPTP;VAMPIRE公司;SPASS… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
KPCA加LDA 57篇文献引用(2006–2021) 软件作者: 杨,J。;Frangi,A.F。;杨,J。;张,D。;Z.Jin。 相关软件: 费雷特;UCI-ml;CMU PIE… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);概率论与随机过程(60-XX);统计学(62-XX)…
ALF公司 68篇文献引用(1993–2018) 软件作者: 莉娜·马格努森 相关软件: Coq;自动化;数字(amp;N)… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);几何(51-XX)…
利比奥普 23篇文献引用(2019–2022) 软件作者: Nicholas P.沃德。 相关软件: 利格罗;斯巴达人;马林… 主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…
GENREG公司 67篇文献引用(1999–2023) 软件作者: 马库斯·梅林格 相关软件: 鹦鹉螺;踪迹;图形之家… 主要字段: 组合数学(05-XX);几何(51-XX);计算机科学(68-XX)…
萨塔拉克 67篇文献引用(2010–2023) 软件作者: 乍得·E·布朗;安德烈亚斯·提克(Andreas Teucke);杰夫·萨克利夫(Geoff Sutcliffe);弗兰克·泰伊;格特·斯莫尔卡;朱利安·巴克斯;克里斯·本兹米勒 相关软件: TPTP;Isabelle/HOL;LEO-II… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
嘉年华 60篇文献引用(2009–2023) 软件作者: 斯米尔诺夫公司。;斯米尔诺夫,V.A。;M.Tentyukov。 相关软件: 火灾;LiteRed;12月第二天… 主要字段: 代数几何(14-XX);特殊功能(33-XX);数值分析(65-XX)…
WebGraph(网络图表) 53篇文献引用(2006–2022) 软件作者: Boldi,P。;南维吉尼亚。 相关软件: UbiCrawler;SNAP;稀疏矩阵… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
DIFFALG公司 62篇文献引用(2000–2020) 软件作者: F.布利埃、E休伯特 相关软件: 美国国际开发署;枫树;差异托马斯… 主要字段: 场论与多项式(12-XX);交换代数(13-XX);代数几何(14-XX)…
迪莫拉 53篇文献引用(1998–2022) 软件作者: 达索系统 相关软件: Modelica;OpenModelica;Matlab… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
扩展平滑 58篇文献引用(2008–2024) 软件作者: Hyndman,R.J。;安妮·科勒(Anne B.Koehler)。;Ord,J.Keith;拉尔夫·斯奈德。 相关软件: 预测;预测;R、 … 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
MPTP 0.2 55份文件引用(2006–2021) 软件作者: 约瑟夫·乌尔班 相关软件: 米扎尔;VAMPIRE公司;E定理证明器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
F3DAM公司 56篇文献引用(2021–2024) 软件作者: 莫扎法尔,M。;博斯塔纳巴德,R。;Chen,W。;Ehmann,K。;曹,J。;医学硕士贝萨。 相关软件: 亚当;PyTorch;TensorFlow… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
电影 53篇文献引用(2008–2022) 软件作者: 库马尔·阿比舍克;斯文·莱弗尔(Sven Leyffer);杰夫·林德拉斯 相关软件: 邦明;Ipopt;SCIP… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…
SHERPA公司 50篇文献引用(2010–2024) 软件作者: T.格莱斯伯格;S.Hoche;F.克劳斯;M.Schonherr;S.舒曼;F Siegert;J.冬季 相关软件: MadGraph;PYTHIA8;Herwig++… 主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);量子理论(81-XX)…
字符串 53篇文献引用(2012–2023) 软件作者: 弗朗西斯科尼,A。;Szklarczyk博士。;Frankild,S。;库恩,M。;西蒙诺维奇,M。;Roth,A。;林,J。;明格兹,P。;博克,P。;冯·梅林,C。;詹森,L.J。 相关软件: KEGG;细胞景观;R、 … 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
X减少 53篇文献引用(2003–2020) 软件作者: Haruo Hosoya,Benjamin C.Pierce(本杰明·皮尔斯) 相关软件: CDuce;XPath;PiDuce… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)
香车叶草 50篇文献引用(1999–2022) 软件作者: 托马斯·希伦布兰德;伯恩德·洛什内尔 相关软件: VAMPIRE公司;TPTP;E定理证明器… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);有序,格,有序代数结构(06-XX)…
d真实 50篇文献引用(2013年-2023年) 软件作者: 高思春;孔顺浩;埃德蒙·克拉克(Edmund M.Clarke)。 相关软件: z3;Coq;HOL灯光… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
高阶逻辑 引用于47份文件(1993–2021) 软件作者: 陈卫东;迈克尔·基弗;大卫·S·沃伦 相关软件: Hiord;swrl;XSB… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
亚马逊EC2 29篇文献引用(2010–2022) 软件作者: 亚马逊 相关软件: 开放星云;桉树;Azure… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
ACRITH-XSC公司 在48份文件中引用(1985–2019) 软件作者: 沃尔夫冈·沃尔特。 相关软件: C-XSC;C-XSC 2.0;PASCAL-XSC… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
Sweave公司 31份文件引用(2002–2022) 软件作者: 弗里德里希·利什 相关软件: R;knitr;生物导体… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…
TALx86 44篇文献引用(1998–2022) 软件作者: 格雷格·莫里塞特、卡尔·克莱里、尼尔·格鲁、丹·格罗斯曼、理查德·萨缪尔、弗雷德里克·史密斯、大卫·沃克、斯蒂芬妮·威里奇、史蒂夫·兹丹塞维奇 相关软件: Coq;毫升;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
地形 引用于47份文件(2000–2024) 软件作者: Jose F.Oliveira。;A.Miguel Gomes;费雷拉,J.Soeiro 相关软件: 古罗比;JNFP;速度测试… 主要字段: 组合数学(05-XX);凸和离散几何(52-XX);计算机科学(68-XX)…
MadGraph5_aMC@NLO 42篇文献引用(2014–2024) 软件作者: J.Alwall、R.Frederix、S.Frixione、V.Hirschi、F.Maltoni、O.Mattelaer、H.-S.Shao、T.Stelzer、P.Torrielli、M.Zaro 相关软件: 费恩规则;PYTHIA8;德尔菲斯… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);粒子力学与系统(70-XX)…
奥斯卡 44篇文献引用(1992–2023) 软件作者: 约翰·波洛克。 相关软件: AFRA;Velev SAT基准;ClaiMaker… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
ell-adic-galois-images公司 46篇文献引用(2015–2024) 软件作者: 杰里米·劳斯(Jeremy Rouse);安德鲁·V·萨瑟兰。;Zureick Brown,大卫 相关软件: 岩浆;LMFDB;SageMath… 主要字段: 总体主题;藏品(00-XX);数论(11-XX);场论与多项式(12-XX)…
精益TAP 44篇文献引用(1994–2022) 软件作者: 贝恩哈德·贝克特;约阿希姆·波塞加 相关软件: SETHEO公司;TPTP;萨奇莫… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
向外旋转 引用于45份文件(1999–2021) 软件作者: 美国兹威克。 相关软件: 环形切口;塞杜米;SDPT3… 主要字段: 组合数学(05-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…
博客 引用于40篇文献(2006–2023) 软件作者: 米尔奇,B。;Marthi,B。;罗素,S。;桑塔格,D。;Ong,D.L。;Kolobov,A。 相关软件: 教会;ProbLog;IBAL… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);统计学(62-XX)…
Calabi-Yau数据库 42篇文献引用(2015–2023) 软件作者: 奥特曼,罗斯;詹姆斯·格雷(James Gray);何阳辉;毗湿奴耶贾拉;布伦特·D·纳尔逊。 相关软件: cohomCalg;PALP;SageMath… 主要字段: 代数几何(14-XX);几个复变量与解析空间(32-XX);微分几何(53-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)…
椰子 引用于40篇文献(2003–2023) 软件作者: Hermann Schichl、COCONUT项目、Arnold Neumaier、Oleg Shcherbina、Eric Monfroy、Brice Pajot 相关软件: BARON公司;全球溶胶;AMPL… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…
UCPOP公司 引用于40篇文献(1993–2022) 软件作者: 彭伯蒂,J.S。;焊接,D。 相关软件: 图形平面图;神童;PDDL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
BILUTM公司 引用于40篇文献(1999–2021) 软件作者: 优素福·萨阿德;张军 相关软件: BILUM公司;ILUM;手臂… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
CIL公司 引用于33份文件(2002–2022) 软件作者: Necula,G.C.,McPeak,S.,Rahul,S.P.,Weimer,W。 相关软件: 爆炸;CBMC;SLAM… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
CoLoR公司 引用于40篇文献(2006–2022) 软件作者: F.Blanqui、W.Delobel、S.Coupet-Grimal、S.Hinderer、A.Koprowski 相关软件: Coq;Isabelle/HOL;CeTA… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX)…
GreatSPN 1.7 38篇文献引用(1995–2012) 软件作者: Chiola,G。;弗朗西斯科尼斯,G。;盖塔,R。;里巴多,M。 相关软件: GreatSPN;SPNP;CADP… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
消音器 29篇文献引用(2003–2022) 软件作者: S.Kurtz、A.Phillippy、A.L.Delcher、M.Smoot、M.Shumway、C.Antonescu、S.L.Salzberg 相关软件: 拉根;PatternHunter;BLASTZ… 主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);计算机科学(68-XX)…
HAS-质量保证计划 37篇文献引用(1999–2022) 软件作者: 甘巴德拉,L.M。;Taillard,E.D.公司。;M.多里戈。 相关软件: MACS-VRPTW;QAPLIB;禁忌搜索… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
多晶硅 引用于40篇文献(2015–2024) 软件作者: F.D.威瑟登。;文森特,体育。 相关软件: Gmsh;PyFR;NGSolve… 主要字段: 偏微分方程(35-XX);近似和展开(41-XX);数值分析(65-XX)…
Mixmod公司 37篇文献引用(2006–2022) 软件作者: 克里斯托夫·比尔纳基;塞勒克斯(Celeux),吉尔(Gilles);戈瓦尔特、杰拉德;佛罗伦萨,兰格罗涅特 相关软件: 麦克卢斯特;R;PGMM… 主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)…
产品开发B2PQR 37篇文献引用(2006–2023) 软件作者: T.Dolinsky、J.Nielsen、A.McCammon、N.Baker 相关软件: APBS;MIBPB;TABI… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);光学、电磁理论(78-XX)…
S+小波 37篇文献引用(1997–2022) 软件作者: 安德鲁·布鲁斯(Andrew G.Bruce);红叶高 相关软件: glmnet;PDCO;稀疏… 主要字段: 欧氏空间(42-XX)的调和分析;统计学(62-XX);数值分析(65-XX)…
萨里 38篇文献引用(1994年-2023年) 软件作者: 玛丽亚·多洛雷斯·埃斯特班·莱弗勒、多明戈·莫拉莱斯·冈萨雷斯、阿古斯汀·佩雷斯-马丁 相关软件: R;rsae;博阿… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…
统计学 35篇文献引用(1994–2020) 软件作者: StatSoft公司。 相关软件: R;SPSS软件;单元格位置… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
验证 35篇文献引用(2011–2023) 软件作者: 托马斯·鲍顿(Thomas Bouton)、迭戈·卡米尼亚·B·德·奥利维拉(Diego Caminha B.de Oliveira)、大卫·德哈贝(David Déharbe)、帕斯卡尔·方丹(Pascal Fontaine 相关软件: z3;CVC4;SMT-LIB… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);实函数(26-XX)…
非洲渔业协会 37篇文献引用(2009–2023) 软件作者: 彼得罗·巴罗尼;费德里科·塞鲁蒂(Federico Cerutti);马西米利亚诺·贾科明;吉奥瓦尼·吉达 相关软件: 皮格拉夫;ConArg2;奥斯卡… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
算法731 37篇文献引用(1994–2019) 软件作者: J.G.布隆;P.A.Zegeling先生 相关软件: CWRESX公司;CWRESU;DASSL… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…