自由Fem++ 1694年文献引用(2000–2024) 软件作者: 奥利维尔·皮罗内奥(Olivier Pironenau)、弗雷德里克·赫赫特(Frédéric Hecht)、安托万·勒海利奇(Antoine Le Hyaric)、雅克·莫里斯(Jacques Morice) 相关软件: PETSc;FEniCS;UMFPACK… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
基因科普 971文献引用(1992–2023) 软件作者: Z.Michalewicz;G.纳希亚斯 相关软件: 禁忌搜索;UCI-ml;C4.5… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
交易.ii 729份文件引用(1999–2024) 软件作者: Bangerth W、Hartman R、Kanschat G 相关软件: 特里利诺斯;PETSc;测试… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
减少 738份文件引用(1970–2023) 软件作者: Anthony C.Hearn;格哈德·雷纳(Gerhard Rayna);Rainer Schöpf公司;托马斯·斯特姆 相关软件: 枫树;Mathematica;马西玛… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
SPSS软件 547份文件引用(1974–2024) 软件作者: IBM;诺曼·H·聂;C.哈德莱船体 相关软件: SAS;R;状态… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
鹦鹉螺 691份文献引用(1988年至2024年) 软件作者: 布伦丹·麦凯;阿道夫·皮佩诺 相关软件: 踪迹;间隙;OEIS… 主要字段: 组合数学(05-XX);群论与推广(20-XX);计算机科学(68-XX)…
FEAPpv公司 619文件引用(2005–2024) 软件作者: O.C.Zienkiewicz;R.L.泰勒 相关软件: ABAQUS;Matlab;HYPLAS… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
线性代数库 429份文件引用(1995–2024) 软件作者: L.S.布莱克福德。;Choi,J。;克利里,A。;D’Azevedo,E。;德梅尔,J。;迪隆,I。;Dongarra,J。;Hammarling,S。;亨利,G。;佩蒂特,A。;斯坦利,K。;Walker,D。;R.C.惠利。 相关软件: LAPACK;BLAS;PLAPACK… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
QEPCAD公司 295篇文献引用(1991年至2024年) 软件作者: Hoon Hong;克里斯托弗·布朗(Christopher W.Brown)。 相关软件: REDLOG;枫树;发现者… 主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);数值分析(65-XX)…
TetGen公司 212篇文献引用(2006–2024) 软件作者: 汉斯 相关软件: 三角形;Gmsh;CGAL… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
DiffSharp(差异锐化) 215篇文献引用(2016–2024) 软件作者: Baydin,A.G.和Pearlmutter,B.A。 相关软件: 亚当;TensorFlow;DGM… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
FEATFLOW公司 211文件引用(1998–2023) 软件作者: S Turek、C Becker 相关软件: OpenFOAM;ANSYS-CFX;月亮… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
GLPK公司 196篇文献引用(2004–2023) 软件作者: 安德鲁·马科林 相关软件: CPLEX;古罗比;AMPL… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
广场广场 201份文件引用(2000–2023) 软件作者: J.F.Bonnans、J.Ch.Gilbert、C.Lemaréchal、C.A.Sagastizábal 相关软件: PLCP;Ipopt;L-BFGS… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…
力学 186篇文献引用(1994–2022) 软件作者: 海伦娜·E·努斯。;詹姆斯·约克(James A.Yorke)。 相关软件: 自动;HomCont;数学… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);粒子力学与系统(70-XX)…
亚萨特 172份文件引用(2003–2023) 软件作者: 赵玉亭 相关软件: C模型;平滑;扣… 主要字段: 一般性和全局性主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
酯类 137篇文献引用(1985–2023) 软件作者: 杰拉德·贝瑞 相关软件: 卢斯特;信号;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
PYTHIA8公司 154份文件引用(2006–2023) 软件作者: T.Sjöstrand、S.Mrenna、P.Z.Skands 相关软件: MadGraph;赫维格++;FastJet… 主要字段: 数值分析(65-XX);量子理论(81-XX);统计力学,物质结构(82-XX)…
Why3号机组 144篇文献引用(2004–2023) 软件作者: 弗朗索瓦·博博特;Jean-Christophe Filliátre;克劳德·马奇;纪尧姆·梅尔金德;安德烈·帕斯科维奇 相关软件: Coq;卡拉卡拉;z3… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…
费恩规则 145篇文献引用(2010–2024) 软件作者: A.Alloul、N.D.Christensen、C.Degrade、C.Duhr、B.Fuks 相关软件: FeynArts;MadGraph;PYTHIA8… 主要字段: 概率论与随机过程(60-XX);粒子和系统力学(70-XX);量子理论(81-XX)…
OBJ3型 140篇文献引用(1989–2023) 软件作者: J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud;(基尼里) 相关软件: 莫德;OBJ咖啡馆;CASL… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…
雷杜泽 136篇文献引用(2010–2024) 软件作者: 安德烈亚斯·冯·曼特乌费尔(Andreas von Manteuffel);塞德里克·斯图德鲁斯 相关软件: 火灾;LiteRed;表格… 主要字段: 代数几何(14-XX);数值分析(65-XX);计算机科学(68-XX)…
LSODE(LSODE) 140篇文献引用(1983–2022) 软件作者: 阿兰·希德马什 相关软件: 投票;DASSL;ODEPACK… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
布吉 引用于127份文件(2007–2023) 软件作者: K.鲁斯坦·莱诺 相关软件: z3;Why3;规范#… 主要字段: 一般性和全局性主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
爆炸 111篇文献引用(2003–2022) 软件作者: 托马斯·亨辛格(Thomas A.Henzinger)。;Jhala,Ranjit;Rupak Majumdar;格雷戈伊尔·萨特雷 相关软件: SLAM;CPA检查员;CBMC… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
cdd(光盘) 130篇文献引用(1996–2023) 软件作者: 福田康美 相关软件: 多品牌;格凡;cddplus… 主要字段: 代数几何(14-XX);凸和离散几何(52-XX);计算机科学(68-XX)…
nlmdl公司 124篇文献引用(1987年至2024年) 软件作者: A.Ronald Gallant 相关软件: Stata公司;半标准杆;R、 … 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
ASTREE公司 112份文件引用(2002–2023) 软件作者: Patrick Cousot、Radhia Cousot、Jerôme Feret、Laurent Mauborgne、Antoine Miné、David Monniaux、Xavier Rival 相关软件: 停机坪;z3;PPL… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);数值分析(65-XX)…
落叶松 105篇文献引用(1989–2023) 软件作者: John V.Guttag。;詹姆斯·霍宁。 相关软件: JML;埃菲尔;PVS… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);群论与推广(20-XX)…
CBMC公司 88篇文献引用(2004–2023) 软件作者: Clarke E、Kroening D、Lerda F 相关软件: 爆炸;z3;MiniSat… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
查找 90篇文献引用(1972–2023) 软件作者: C.A.R.霍尔 相关软件: 快速分拣;算法347;任天堂中位数… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…
卡拉卡拉 79份文件引用(2004–2022) 软件作者: 马奇,C。;Paulin-Mohring,C。;X·乌尔班。 相关软件: Why3;Caduceus;JML… 主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…
奥的斯 89份文件引用(1987–2023) 软件作者: 巴黎,西南部。;Hargraves,C.R;NASA格伦研究中心 相关软件: SOCS;SNOPT;NPSOL… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);粒子力学与系统(70-XX)…
沃罗诺伊 81篇文献引用(1995–2023) 软件作者: 史蒂文·福琼 相关软件: 三角形;Qhull;CGAL… 主要字段: 组合数学(05-XX);凸和离散几何(52-XX);数值分析(65-XX)…
图像J 59篇文献引用(2006–2023) 软件作者: Schneider,C.A.,Rasband,W.S.,Eliceiri,K.W。;医学博士Abramoff、P.J.Magalhaes、S.J.Ram 相关软件: R;斐济;Python… 主要字段: 统计学(62-XX);计算机科学(68-XX);变形固体力学(74-XX)…
利普索 86篇文献引用(1997–2022) 软件作者: 张茵;格雷格·斯威里杜克 相关软件: PCx;Matlab;Mosek… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…
柔软 81篇文献引用(2001–2022) 软件作者: 不列颠哥伦比亚省阿拉纳赫 相关软件: 斯费诺;SuSpect;micrOMEGAs… 主要字段: 统计学(62-XX);粒子和系统力学(70-XX);量子理论(81-XX)…
肌肉 54篇文献引用(2005年-2023年) 软件作者: R.C.埃德加 相关软件: ClustalW;MAFFT;T-咖啡… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
投掷 59篇文献引用(2005–2022) 软件作者: 帕特里斯·戈德弗罗德;尼尔斯·克拉伦德;库什克森 相关软件: 可爱的;z3;KLEE… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
黑帽 80篇文献引用(2009–2024) 软件作者: C.F.Berger、Z.Bern、L.J.Dixon、F.Febres Cordero、D.Forde、H.Ita、D.A.Kosower、D.Maêtre 相关软件: CutTools;SAMURAI;Golem95… 主要字段: 代数几何(14-XX);数值分析(65-XX);粒子力学与系统(70-XX)…
船体 78篇文献引用(1992–2023) 软件作者: K.L.克拉克森 相关软件: LEDA;Qhull;CGAL… 主要字段: 数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX);凸和离散几何(52-XX)…
TRLan公司 78篇文献引用(1999–2024) 软件作者: 吴克胜;霍斯特·西蒙 相关软件: JDQZ;IRAM;JDQR… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…
VCC(沃尔沃汽车公司) 61篇文献引用(2010–2023) 软件作者: Ernie Cohen、Markus Dahlweid、Mark Hillebrand、Dirk Leinenbach、MichałMoskal、Thomas Santen、Wolfram Schulte、Stephan Tobies 相关软件: z3;布吉;Dafny… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-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… 主要字段: 常微分方程(34-XX);统计学(62-XX);计算机科学(68-XX)…
CVODE公司 67篇文献引用(1997–2023) 软件作者: 科恩,S.D.,辛德马什,A.C。 相关软件: 日晷;罗德斯;坎特拉… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
TTTPLOTS公司 70篇文献引用(2007–2024) 软件作者: Aiex,Renata M。;莫里西奥·雷森德(Mauricio G.C.Resende)。;塞尔索·C·里贝罗。 相关软件: PERL;GRASP;irace… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
阿比尼特 65篇文献引用(2004–2024) 软件作者: 泽维尔·贡泽;伯纳德·阿马登;加布里埃尔·安东尼厄斯;弗雷德里克·阿纳迪;卢卡斯·巴格特;Jean-Michel,Beuken;约旦比德;弗朗索瓦·博廷;Johann Bouchet;埃里克·博斯克(Eric Bousquet);尼尔斯·布劳沃(Nils Brouwer);布鲁内瓦尔(Bruneval)、法比恩(Fabien);纪尧姆·布鲁宁;卡维尼亚克,塞奥;Jean-Baptiste Charraud;陈伟;米歇尔·科特;斯特凡·科特涅尔;朱尔斯·丹尼尔(Jules Denier);盖内斯特,格里戈里;菲利普·戈塞兹(Philippe Ghosez);吉安托马斯,马特奥;Gillet,Yannick;Gingras,Olivier;唐纳德·哈曼(Donald R.Hamann)。;杰弗里·豪蒂埃;何旭;尼科尔·赫尔比格;娜塔莉·霍尔兹沃斯;贾永超;弗朗索瓦·乔利特;威廉·拉法尔盖·迪特·哈雷特(William Lafargue-Dit-Hauret);库尔特·勒贾盖尔(Kurt Lejaeghere);米盖尔·马奎斯。;亚历山大·马丁;西里尔·马丁斯;Miranda,Henrique P.C。;弗朗西斯科·纳卡拉托;克里斯汀·佩尔松;彼得雷托,圭多;飞机,瓦伦丁;扬·波隆;谢尔盖,普罗霍伦科;法比奥·里奇;里格纳内斯,吉安·马尔科;阿尔多·罗梅罗(Aldo H.Romero)。;迈克尔·马库斯·施密特;马克·托伦特(Marc Torrent);Michiel J.van Setten。;Van Troeye,Benoit;Verstraete,Matthieu J。;泽拉,吉尔;Josef W.茨万齐格。 相关软件: Quantum浓缩咖啡;CASTEP公司;WIEN2k… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
扬子乙酰氯 61篇文献引用(1978–2022) 软件作者: 斯蒂芬·约翰逊 相关软件: 抗逆转录病毒;Coq;野牛… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
可爱的 50篇文献引用(2003–2022) 软件作者: Koushik Sen;达科·马里诺夫;古尔·阿加 相关软件: 投掷;z3;KLEE… 主要字段: 数学逻辑与基础(03-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
GALib公司 56篇文献引用(1999–2021) 软件作者: 马修·沃尔 相关软件: 基因警察;VRP;CPLEX… 主要字段: 数值分析(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。 相关软件: 贝叶斯先生;比尤蒂;RAxML… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…
消防5 61篇文献引用(2015–2024) 软件作者: A.V.斯米尔诺夫。 相关软件: 火灾;LiteRed;Reduze… 主要字段: 全局分析,流形分析(58-XX);数值分析(65-XX);粒子力学与系统(70-XX)…
CompCert公司 58篇文献引用(2009–2023) 软件作者: X·勒罗伊。 相关软件: Coq;Isabelle/HOL;z3… 主要字段: 一般性和全局性主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
GENSMAC公司 61篇文献引用(1994–2020) 软件作者: 汤米,M.F。;菲略,A.C。;库米纳托,J.A。;Mangiavacchi,N。;麦基,S。 相关软件: GENSMAC3D;自由流动;流量-3D… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
GreatSPN公司 引用于53份文件(1988–2022) 软件作者: 朱奈德·巴巴尔;马可·贝库蒂;苏珊娜·多纳泰利(Susanna Donatelli);安德鲁·米纳 相关软件: GreatSPN 1.7;TimeNET;CADP… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
C的SNARK 59篇文献引用(2013–2024) 软件作者: Eli Ben-Sasson;亚历山德罗·基耶萨;Daniel Genkin;特罗姆,埃兰;夫人维尔扎 相关软件: 皮诺奇;格佩托;利盖罗… 主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…
小脚 55份文件引用(2004–2023) 软件作者: J.伯丁、C.加尔卡尼奥、P.W.奥赫恩。 相关软件: VeriFast;jStar;HIP… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)
污水处理厂 引用于46份文件(2007–2023) 软件作者: 维杰·加内什(Vijay Ganesh);特雷弗·汉森;马特·索斯;Dan Liew;Ryan Govostes;安德鲁·琼斯;等。 相关软件: z3;投掷;可爱… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…
Daikon公司 41篇文献引用(2005–2022) 软件作者: 迈克尔·D·恩斯特。;Jeff H.Perkins。;菲利普·郭(Philip J.Guo)。;斯蒂芬·麦卡曼特;卡洛斯·帕切科;马修·桑茨(Matthew S.Tschantz)。;肖,陈 相关软件: JML;胡迪尼;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
SPRNG公司 45篇文献引用(1990–2022) 软件作者: M.Mascagni,A.斯里尼瓦萨 相关软件: 测试U01;MersenneTwister公司;死亡… 主要字段: 数论(11-XX);统计学(62-XX);数值分析(65-XX)…
普雷格尔 41篇文献引用(2010–2023) 软件作者: Malewicz,G.、Austern,M.H.、Bik,A.J.、Dehnert,J.C.、Horn,I.、Leiser,N.、Czajkowski,G。 相关软件: 图形实验室;MapReduce;Hadoop… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
SOLA-VOF公司 44篇文献引用(1984–2022) 软件作者: B.D.Nichols、C.W.Hirt、R.S.Hotchkiss 相关软件: NASA-VOF2D;涟漪;SLIC… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
WhyML公司 44篇文献引用(2013年-2023年) 软件作者: Jean-Christophe Filliátre;安德烈·帕斯科维奇 相关软件: Why3;z3;Coq… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
潮汐 44篇文献引用(2009–2023) 软件作者: A.Abad、R Barrio、F.Blesa、M.Rodriguez 相关软件: 泰勒;ATOMFT;杆… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
BSP接口 41篇文献引用(1997–2020) 软件作者: 贾维斯,S.A。;希尔,J.M.D。;Siniolakis,C.J。;瓦西列夫。 相关软件: BSP备份;PVM;多核BSP… 主要字段: 组合数学(05-XX);凸和离散几何(52-XX);数值分析(65-XX)…
CIL公司 33篇文献引用(2002–2022) 软件作者: Necula,G.C.,McPeak,S.,Rahul,S.P.,Weimer,W。 相关软件: 爆炸;CBMC;SLAM… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
伊德里斯 40篇文献引用(2011–2023) 软件作者: 埃德温·布雷迪 相关软件: Coq;阿格达;Irdis… 主要字段: 一般性和全局性主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-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)…
OpenACC(开放ACC) 28篇文献引用(2014–2023) 软件作者: 桑德拉·维恩克;保罗·斯普林格;克里斯蒂安·特博文(Christian Terboven);迪特尔·安·梅 相关软件: CUDA;OpenCL;CUBLAS… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…
火焰 39篇文献引用(1997–2022) 软件作者: 保罗·比伦特斯;金塔娜·奥尔蒂,恩里克·S。;范德盖恩(Robert A van de Geijn) 相关软件: LAPACK;BLAS;ATLAS… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
xPerm(xPerm) 引用于37份文件(2008–2023) 软件作者: 何塞·马丁·加西亚 相关软件: x法案;xTras;因瓦… 主要字段: 代数几何(14-XX);微分几何(53-XX);整体分析,流形分析(58-XX)…
Mixmod公司 引用于37份文件(2006–2022) 软件作者: 克里斯托夫·比尔纳基;塞勒克斯(Celeux),吉尔(Gilles);戈瓦尔特、杰拉德;佛罗伦萨,兰格罗涅特 相关软件: 麦克卢斯特;R;PGMM… 主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)…
新加坡 39篇文献引用(2001–2024) 软件作者: M.J.霍尔斯特。 相关软件: FreeFem++;APBS;CHARMM… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
AFEM@matlab 38篇文献引用(2008–2023) 软件作者: L Chen和C.S.Zhang 相关软件: iFEM;Matlab;阿尔伯塔… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
短讯服务 38篇文献引用(1997–2023) 软件作者: 乔·科勒克 相关软件: Mathematica;AceFEM;AceGen… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
Blitz++库 32篇文献引用(2000–2021) 软件作者: 托德·维尔德胡岑 相关软件: 闪电战++;助推;BLAS… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
LUPS公司 引用于37份文件(1999–2019) 软件作者: 何塞·朱利奥·阿尔弗雷斯;佩雷拉,路易斯·莫尼兹;哈利娜·普尔兹穆森斯卡(Halina Przymusinska);Przymusinski,Teodor C。 相关软件: XSB;平滑;EVOLP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
pySecDec公司 33篇文献引用(2017–2023) 软件作者: S.Borowka、G.Heinrich、S.Jahn、S.P.Jones、M.Kerner、J.Schlenk、T.Zirke 相关软件: LiteRed;嘉年华;Reduze… 主要字段: 数论(11-XX);特殊功能(33-XX);数值分析(65-XX)…
盖根 35篇文献引用(2004–2022) 软件作者: Daniel Fontijne;利奥·多尔斯特;蒂姆·鲍马 相关软件: 加洛普;CLUCalc;克利福德… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
MPM3D(MPM3D) 36篇文献引用(2011–2023) 软件作者: 清华大学 相关软件: MPM3DMP;卡拉梅洛;LS-DYNA… 主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);变形固体力学(74-XX)…
美国国家航空航天局VOF2D 36篇文献引用(1993–2020) 软件作者: M.D.Torrey、L.D.Cloutman、R.C.Mjolsness、C.W.Hirt 相关软件: SOLA-VOF;SLIC;Gerris… 主要字段: 数值分析(65-XX);流体力学(76-XX);光学、电磁理论(78-XX)…
克莱尔 32篇文献引用(1998–2019) 软件作者: 伊夫·卡索;弗朗索瓦·沙维尔(François-Xavier),约塞特(Josset);弗朗索瓦·拉伯特 相关软件: 奥兹;乔科;SALSA… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
NSPCG公司 35篇文献引用(1988–2022) 软件作者: 托马斯·奥佩(Thomas C.Oppe)。;Wayne D.Joubert。;大卫·R·金凯。 相关软件: ELLPACK;CGS;LAPACK… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
火焰大师 在30份文件中引用(2005年-2023年) 软件作者: H.Pitsch公司 相关软件: GRI机械3.0;坎特拉;炒作… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
净CDF 18篇文献引用(2004–2023) 软件作者: 格伦·戴维斯(Glenn Davis)、拉斯·雷夫(Russ Rew)、埃德·哈特内特(Ed Hartnett)、约翰·卡隆(John Caron)、史蒂夫·埃默森(Steve Emmerson)、哈维·戴维斯 相关软件: Python;特里利诺斯;xarray… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…
ZKBoo公司 34份文件引用(2016年-2023年) 软件作者: 贾科梅利,I.,马德森,J.,奥兰迪,C。 相关软件: 利格罗;力比奥;天秤座… 主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…
空气 33篇文献引用(2010–2021) 软件作者: C.阿纳斯塔西乌,A.拉佐普洛斯 相关软件: 雷杜泽;火灾;LiteRed… 主要字段: 代数几何(14-XX);代数拓扑(55-XX);整体分析,流形分析(58-XX)…
千兆赫 33篇文献引用(1996–2024) 软件作者: 德莱克·荷尔特 相关软件: 间隙;岩浆;自动化… 主要字段: 组合数学(05-XX);群论与推广(20-XX);流形和细胞复合体(57-XX)…
OpenLB(打开LB) 在30份文件中引用(2007–2023) 软件作者: 乔纳斯·拉特;马蒂亚斯·J·克劳斯 相关软件: 帕拉博斯;瓦尔贝拉;LB3D… 主要字段: 数值分析(65-XX);流体力学(76-XX);经典热力学,传热(80-XX)…
Seq-Gen公司 26篇文献引用(2002–2022) 软件作者: 安德鲁·兰伯特(Andrew Rambaut);尼克·C·格拉斯利 相关软件: fastDNAml;PHYLIP;生物技术研究所… 主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…
嵌套金额 31份文件引用(2002–2023) 软件作者: 斯特凡·温泽尔 相关软件: X夏季;Hypexp公司;HYPERDIRE… 主要字段: 数论(11-XX);复变量函数(30-XX);特殊功能(33-XX)…
PHREEQC公司 31份文件引用(2004–2023) 软件作者: 帕克赫斯特,D.L.,阿佩洛,C.J 相关软件: PhreeqcRM;水文地球化学;MoMaS… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
REVEAL公司 24篇文献引用(2003–2022) 软件作者: Liang,S.、Fuhrman,S.和Somogyi,R 相关软件: KEGG;R;BoolNet… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
SCHUR公司 31份文件引用(1994–2023) 软件作者: 布莱恩·怀伯恩 相关软件: Mathematica;数学张量;ALPS… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);群论与推广(20-XX)…
BioProspector公司 21篇文献引用(2002–2013) 软件作者: Liu,X.、Brutlag,D.、Liu,J。 相关软件: 变压器;JASPAR;WebLogo… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
杰斯特纳 引用于29份文件(2002–2023) 软件作者: 大卫·沃姆;帕维尔·温特;马丁·扎卡里亚森 相关软件: 斯坦利布;CPLEX;DIMACS… 主要字段: 组合数学(05-XX);变分法与最优控制;优化(49-XX);几何(51-XX)…
国际图书馆 28篇文献引用(1992–2018) 软件作者: Kearfott,R.B。;达旺德,M。;胡,C。 相关软件: 剖面/偏差;国际实验室;C-XSC… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);经典热力学,传热(80-XX)…
mwrank公司 引用于29份文件(2000–2019) 软件作者: J.E.克雷莫纳 相关软件: ecdata;PARI/GP;岩浆… 主要字段: 数论(11-XX);代数几何(14-XX);凸和离散几何(52-XX)…