XFEM公司 407篇文献引用(2002–2024) 软件作者: 博尔达斯,《Stéphane作者简介》;阮富荣;西里尔州杜南;阿莫尔·吉杜姆;洪阮当 相关软件: Matlab;Gmsh;ABAQUS… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
喀拉拉邦 261篇文献引用(2017–2024) 软件作者: F.胆汁 相关软件: TensorFlow;亚当;Scikit… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
Why3号机组 144篇文献引用(2004–2023) 软件作者: 弗朗索瓦·博博特;Jean-Christophe Filliátre;克劳德·马奇;纪尧姆·梅尔金德;安德烈·帕斯科维奇 相关软件: Coq;卡拉卡拉;z3… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…
鲁万将军 115篇文献引用(2010–2024) 软件作者: I.S.Jutla、L.G.S.Jeub、P.J.Mucha 相关软件: github;多层GM;Muxviz… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
卡费 61篇文献引用(2015年-2023年) 软件作者: Y.Jia、E.Shelhamer、J.Donahue、S.Karayev、J.Long、R.Girschick、S.Guadarrama、T.Darrell 相关软件: TensorFlow;ImageNet;AlexNet… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
摩卡 85篇文献引用(1999年-2023年) 软件作者: Alur,R.,Henzinger,T.A.,Mang,F.Y.C.,Qadeer,S.,Rajamani,S.K.,Tasiran,S。 相关软件: MCMAS;棱镜;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
贝博普 71篇文献引用(2000–2022) 软件作者: 托马斯·鲍尔(Thomas Ball,Sriram K.Rajamani) 相关软件: 自旋蛋白;班德拉;SLAM… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
水银 75篇文献引用(1994年至2022年) 软件作者: mercurylang.org网站 相关软件: 哈斯克尔;幼儿保育和教育;咖喱… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);统计学(62-XX)…
利迪亚 51篇文献引用(1995–2021) 软件作者: 英格丽德·贝尔;约翰·布赫曼(Johannes Buchmann);托马斯·帕帕尼科劳 相关软件: NTL;PARI/GP;MAPC… 主要字段: 数论(11-XX);代数几何(14-XX);数值分析(65-XX)…
基瓦-4 27篇文献引用(2006–2020) 软件作者: Song-Charng Kong博士、Xiuling Wang博士、Darrell W.Pepper博士、Juan Heinrich博士 相关软件: 基瓦-2;CHEMKIN公司;OpenFOAM… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
苏普雷米卡 26篇文献引用(2009–2023) 软件作者: 克努特·阿克森;马丁·费边(Martin Fabian);雨果·弗洛达尔;罗比·马利克 相关软件: UMDES;TCT;NuSMV… 主要字段: 系统论;控制(93-XX)
EXACUS考试 21篇文献引用(2001–2011) 软件作者: 埃里克·柏柏里奇;阿诺·艾根威利(Arno Eigenwillig);Michael Hemmer;苏珊·赫特(Susan Hert);Kettner,Lutz;库尔特·梅尔霍恩(Kurt Mehlhorn);约阿希姆·赖切尔;苏珊·施密特;Sch“omer,Elmar;Wolpert,尼古拉 相关软件: CGAL;LEDA;隔离… 主要字段: 总体主题;藏品(00-XX);代数几何(14-XX);凸和离散几何(52-XX)…
打开AD/F 23篇文献引用(2007–2022) 软件作者: 吉恩·乌特克;乌韦·诺曼;Mike Fagan;内森·塔伦特;米歇尔·米尔斯(Michelle Mills),斯特劳特(Strout);帕特里克·亨巴赫(Patrick Heimbach);克里斯·希尔(Chris Hill);卡尔·温施 相关软件: 锥体;ADIFR;ADOL-C… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
RegEM公司 19份文件引用(2010–2023) 软件作者: 塔皮奥·施耐德 相关软件: 插补;玻璃;UCI-ml… 主要字段: 统计学(62-XX);计算机科学(68-XX);地球物理学(86-XX)…
伦敦商学院 16篇文献引用(2010–2022) 软件作者: 迈克尔·佩德森(Michael Pedersen);戈登·普洛金(Gordon D.Plotkin)。 相关软件: 生物-PEPA;BioNetGen;生物活性炭… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
太阳能 16篇文献引用(1997–2019) 软件作者: S.托莱多,F.G.古斯塔夫森 相关软件: POOCLAPACK系列;包装;ScaLAPACK… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
voFoam公司 17篇文献引用(2014–2021) 软件作者: Tomislav Maric、Holger Marschall、Dieter Bothe 相关软件: VOF工具;格里斯;PROST… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)
MA42型 16篇文献引用(1994–2004) 软件作者: 达夫,I。;J·斯科特。 相关软件: BLAS;HSL;MA32… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
毫米 13份文件引用(2007–2019) 软件作者: Fabricio Chalub;克里斯蒂亚诺·布拉加 相关软件: 莫德;K校准仪;JavaFAN… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
灵活SUSY 11份文件引用(2015–2022) 软件作者: P.Athron,J.-H.Park,D.Stöckinger,A.Voigt 相关软件: 萨拉;斯费诺;柔软… 主要字段: 数论(11-XX);特殊功能(33-XX);代数拓扑(55-XX)…
巴里萨德 12份文件引用(2019–2023) 软件作者: Polyakov,Y.、Rohloff,K.、Ryan,G.W。 相关软件: HElib;FHEW;GitHub… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
帕代利布 12份文件引用(1999–2019) 软件作者: Jürgen Fuhrmann博士、Hartmut Langmach博士、Timo Streckenbach博士和Manfred Uhle博士 相关软件: 帕迪索;三角形;ddfermi… 主要字段: (MSC-XX);(2010:-XX);(37D10-XX)…
MLton公司 11份文件引用(2002–2020) 软件作者: 斯蒂芬·T·威克斯 相关软件: HOL;Isabelle/HOL;OCaml… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);凸和离散几何(52-XX)…
PaInleSS公司 10篇文献引用(2018–2023) 软件作者: 勒弗里克斯,卢多维奇;苏海卜·巴里尔;朱利安·索佩纳;Fabrice Kordon公司 相关软件: ManySAT;弯曲;Treengeling… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
推动 2份文件引用(2002–2004) 软件作者: Lee Spector;艾伦·罗宾逊 相关软件: PushGP;CUDA;TerpreT… 主要字段: 计算机科学(68-XX);量子理论(81-XX);运筹学、数学规划(90-XX)
图灵 6篇文献引用(2022) 软件作者: 洪戈、凯旭、邹斌·加拉马尼 相关软件: 朱莉娅;斯坦;转发差异(&F)… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
液化石油气+ 10篇文献引用(2013–2024) 软件作者: 丹尼尔·阿洛伊斯(Daniel Aloise);卡波罗西,吉尔;皮埃尔·汉森(Pierre Hansen);利贝蒂(Leo Liberti);Sylvain Perron;曼纽尔·鲁伊斯 相关软件: 越南盾;DIMACS;Pajek数据集… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
MAVEN公司 9份文件引用(2007–2013) 软件作者: Max Goldman;埃米利亚·卡茨(Emilia Katz);Shmuel Katz 相关软件: ProMoVer;CVPP;Aspectual凸轮… 主要字段: 计算机科学(68-XX)
RKWard公司 2份文件引用(2010–2012) 软件作者: Stefan Rödiger、Thomas Friedrichsmeier、Prasenjit Kapat、Meik Michalke 相关软件: R;Rcmdr;除尘器… 主要字段: 统计学(62-XX);计算机科学(68-XX)
越南国家数据系统 10篇文献引用(2013–2024) 软件作者: 丹尼尔·阿洛伊斯(Daniel Aloise);Caporossi,Gilles公司;皮埃尔·汉森(Pierre Hansen);利贝蒂(Leo Liberti);Sylvain Perron;曼纽尔·鲁伊斯 相关软件: LPAm+;DIMACS;Pajek数据集… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
XMIPP公司 9份文件引用(2006–2023) 软件作者: Sorzano,C.O.S。;马拉比尼,R。;Velazquez-Muriel,J。;Bilbao-Castro,J.R。;谢尔斯,S.H.W。;Carazo,J.M。;Pascual-Montano,A。 相关软件: 冷冻SPARC;EMan;法语… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
学院 6篇文献引用(2018–2023) 软件作者: 罗宾·弗舒伦(Robin Verschueren)、吉安卢卡·弗里森(Gianluca Frison)、迪米特里斯·库佐普斯(Dimitris Kouzoupis)、尼尔斯·范·杜伊克伦(Niels van Duijkeren)、安德烈亚·扎内利(Andrea Zanelli)、布兰尼米尔·诺沃塞尔尼克(Branimir Novoselnik)、乔纳森· 相关软件: HPIPM;ACADO;CasADi… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…
气泡探查器 7份文件引用(2019–2022) 软件作者: Peter Athron、Csaba Balázs、Michael Bardsley、Andrew Fowlie、Dylan Harries、Graham White 相关软件: 宇宙转换;查找反弹;SimpleBuzz… 主要字段: 统计学(62-XX);光学、电磁理论(78-XX);量子理论(81-XX)…
堆芯2 8份文件引用(2010–2022) 软件作者: 俞继洪;耶,琪;杜子林;皮恩,西尔万;埃尔维·布伦尼曼 相关软件: CGAL;LEDA;MPFR… 主要字段: 代数几何(14-XX);数值分析(65-XX);计算机科学(68-XX)
QMCPACK(质量管理确认) 8份文件引用(2008–2022) 软件作者: J.Kim等人。 相关软件: 西北化工;S3D军团;KKRnano… 主要字段: 总体主题;藏品(00-XX);常微分方程(34-XX);数值分析(65-XX)…
SParC-LES公司 7份文件引用(2013年-2023年) 软件作者: 安德烈亚·阿波维托拉;Pasqua D'Ambra;菲利波·德纳罗(Filippo M.Denaro);丹妮拉·迪·塞拉菲诺;Salvatore Filippone公司 相关软件: MLD2P4;PSBLAS;2LEV-D2P4… 主要字段: –
澳大利亚商业银行副本 4份文件引用(2018–2022) 软件作者: Dutta,R.、Schoengens,M.、Ummadisingu,A.、Widmer,N.、Onnela,J.-P.和Mira,A。 相关软件: PyTorch公司;EasyABC;pyABC… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
科马纳 7份文件引用(2016–2023) 软件作者: 马塞尔·科尼格;拉德特克(Lars Radtke);亚历山大·杜斯特 相关软件: 剪切有限元法;FEniCS;安德森… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
CVPP公司 7份文件引用(2004–2015) 软件作者: 赫斯曼(Marieke Huisman);古罗夫,帝力 相关软件: MAVEN公司;班德拉;Uppaal… 主要字段: 数论(11-XX);统计学(62-XX);计算机科学(68-XX)…
LBHydra公司 6篇文献引用(2013–2018) 软件作者: 斯图尔特·沃尔什。;Martin O·萨尔。 相关软件: CUDA;TheLMA;推力… 主要字段: 数值分析(65-XX);流体力学(76-XX);光学、电磁理论(78-XX)…
OpenViBE 引用于3份文件(2014–2021) 软件作者: Y.Renard、F.Lotte、G.Gibert等人。 相关软件: BCI2000;EEGLAB;Python… 主要字段: 生物学和其他自然科学(92-XX);系统论;控制(93-XX)
宇宙SIS 5份文件引用(2017年至2022年) 软件作者: Joe Zuntz、Marc Paterno、Elise Jennings、Douglas Rudd、Alessandro Manzotti、Scott Dodelson、Sarah Bridle、Saba Sehrish、James Kowalkowski 相关软件: 类别;主持人;卤素… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
ITE公司 6篇文献引用(2014年至2020年) 软件作者: 佐尔坦,萨博奥 相关软件: 维斯塔实验室;颜色实验室;PerceptNet… 主要字段: 统计学(62-XX);量子理论(81-XX);相对论与引力理论(83-XX)…
MontiCore公司 引用于3份文件(2016年至2021年) 软件作者: 霍尔格·克拉恩(Krahn,Holger);伦佩,伯恩哈德;史蒂文·沃尔克尔 相关软件: 梦幻岛;ANTLR;Spoofax… 主要字段: 计算机科学(68-XX)
OpenKE公司 2份文件引用(2021) 软件作者: 徐翰、曹树林、吕欣、林彦凯、刘志远、孙茂松、李娟子 相关软件: Pykg2vec;AmpliGraph;Python… 主要字段: 计算机科学(68-XX)
P旋流器 5份文件引用(2021–2024) 软件作者: S.V.Adams、R.W.Ford、M.Hambley、J.M.Hobson、I.Kavcic、C.M.Maynard、T.Melvin、E.H Mueller、S.Mullerworth、A.R.Porter、M.Rezny、B.J.Shipway、R.Wong 相关软件: 萤火虫;冠军;COSMO… 主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)
小狗 引用于3份文件(2013–2021) 软件作者: Maes R、Van Herrewee A、Verbauwhede I。 相关软件: – 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
PushGP(推送GP) 2份文件引用(2002–2020) 软件作者: Crawford-Marks R、Spector L。 相关软件: 推动;TerpreT;Scikit… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
修补器电池 2份文件引用(2014–2015) 软件作者: Deepak Chandran、Frank T.Bergmann、Herbert M.Sauro 相关软件: SynBioSS;塔巴斯科;lpSolve… 主要字段: 常微分方程(34-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
BiMAT公司 2份文件引用(2019–2023) 软件作者: 塞萨尔·弗洛雷斯(Cesar O.Flores)、蒂莫斯·波索特(Timothée Poisot)、塞尔吉·瓦尔维德(Sergi Valverde)、约书亚·魏茨(Joshua S.Weitz) 相关软件: 切达干酪;二分;迁徙… 主要字段: 组合数学(05-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);生物学和其他自然科学(92-XX)
DisCoPy公司 引用于3份文件(2021–2023) 软件作者: 乔瓦尼·德·费利塞;亚历克西斯·图米;鲍勃·科克 相关软件: pytket;数字Py;JAX… 主要字段: (18-04-XX);(18M05-XX);(18M30-XX)…
DLTK公司 在0个文档中引用 软件作者: Nick Pawlowski、Sofia Ira Ktena、Matthew C.H.Lee、Bernhard Kainz、Daniel Rueckert、Ben Glocker、Martin Rajchl 相关软件: TensorFlow;NiftyNet;PyTorch… 主要字段: –
GGL公司 引用于3份文件(2016–2018) 软件作者: Mann,M.,Ekker,H.,Flamm,C。 相关软件: RuleMerger;VMQL;gSpan… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
毫秒 引用于3份文件(2008–2013) 软件作者: Perez,T.、Smogeli,N.、Fossen,T.I.、Sorensen,A.J。 相关软件: Simulink;Matlab公司 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
多层提取 4份文件引用(2017年-2023年) 软件作者: 詹姆斯·威尔逊(James D.Wilson)。;约翰·帕洛威奇(John Palowitch);Shankar巴米迪;诺贝尔,安德鲁B。 相关软件: 卢万;斯巴克尔;PMA… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);运筹学、数学规划(90-XX)
开放式转弯 2份文件引用(2012) 软件作者: 米夏·鲍丁;安妮·杜特福(Anne Dutfoy);贝特朗·洛斯;安妮·劳蕾·波佩林 相关软件: Scikit;蟒蛇;蝙蝠侠… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)
多应力 4份文件引用(2022–2023) 软件作者: Giraldo-Londoño,o。;GH保利诺 相关软件: PolyMat;PolyTop;阿尔根卡… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);运筹学、数学规划(90-XX)
ProMoVer公司 4份文件引用(2011–2016) 软件作者: Siavash Soleimanifard;古罗夫,帝力;马里克,Huisman 相关软件: MAVEN公司;DeltaCCS;MSTA… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
StAMPL公司 引用于3份文件(2009–2012) 软件作者: 罗伯特·福勒;利奥·洛佩斯 相关软件: AIMMS;AMPL;XPRESS… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
蒸汽 4份文件引用(2020–2021) 软件作者: 洛伦佐·博尔托特、伯恩哈德·奥赫曼、伊多娅·科尔特斯·加西亚、亚历杭多·M·费尔南多·纳瓦罗、米夏·马西耶夫斯基、马提亚斯·曼丁克、马可·普里奥利、埃曼纽尔·拉瓦奥利、塞巴斯蒂安·舍普斯、阿尔扬·维韦伊 相关软件: COMSOL公司;香料;Matlab… 主要字段: 总体主题;藏品(00-XX);常微分方程(34-XX);偏微分方程(35-XX)…
三四动力代码 4份文件引用(2021–2023) 软件作者: 乔伊·范·兰根(Joey M.van Langen)。 相关软件: 岩浆;github;SageMath公司 主要字段: 数论(11-XX)
古巴比多 引用于3份文件(2019–2022) 软件作者: 托马斯博士。;Cerquaglia,M。;博曼,R。;Economon,T。;阿隆索,J。;迪米特里亚迪斯,G。;特拉邦,V。 相关软件: 预CICE;JiTCSDE公司;JiTCODE… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)
蘑菇RL 1份文件引用(2021) 软件作者: 卡洛·德埃拉莫(Carlo D’Eramo)、戴维德·塔特奥(Davide Tateo)、安德烈亚·博纳里尼(Andrea Bonarini)、马塞洛·莱斯特利(Marcello Restelli)、扬·彼得斯(Jan Peters) 相关软件: OpenAI健身房;TensorFlow;MuJoCo… 主要字段: 计算机科学(68-XX)
开放IFEM 引用于3份文件(2019–2022) 软件作者: Jie Cheng、Feimi Yu、Lucy T.Zhang 相关软件: github;森林爪;测试… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)
OpenRec公司 在0个文档中引用 软件作者: 杨龙奇、尤金·巴格达萨利安、约书亚·格伦斯坦、谢成康、黛博拉·埃斯特林 相关软件: LibRec;蟒蛇;MyMediaLite… 主要字段: 计算机科学(68-XX)
PolyFARM公司 引用于3份文件(2002–2012) 软件作者: 阿曼达·克莱尔;罗斯·D·金。 相关软件: GOLEM公司;阿列夫;TopLog… 主要字段: (68U99-XX);(68N18-XX);(68P15-XX)…
SOL公司 引用于3份文件(2019–2022) 软件作者: 马科托·哈马纳 相关软件: 哈斯克尔;OBJ咖啡馆;GHC… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
TSAT公司++ 引用于3份文件(2005–2008) 软件作者: 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科·金奇利亚(Enrico Giunchiglia);马西莫·伊迪尼;马可·马拉提亚 相关软件: CVC;SMT-LIB;箔条… 主要字段: 计算机科学(68-XX)
安迪 1份文件引用(2018) 软件作者: Franck Delaplace、Cinzia Di Giusto、Jean-Louis Giavitto、Hanna Klaudel 相关软件: 查理;清爽;蛇 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
ASP-G蛋白 2份文件引用(2018–2019) 软件作者: Mushthofa,M。;托雷斯,G。;Van de Peer,Y。;Marchal,K。;德科克,M。 相关软件: Potassco公司 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
清单2d 1份文件引用(2016) 软件作者: Solanpää,J。;卢科,P.J.J。;Räsänen,E。 相关软件: 朱莉娅;动态百万美元.jl 主要字段: (37-04-XX);(70-04-XX);(37D50-XX)
加拿大 1份文件引用(2020) 软件作者: 里昂·布拉蒂格·科雷亚(Rion Brattig Correia);亚历山大·盖茨(Alexander J.Gates);王宣;路易斯·罗查 相关软件: 多步控制;github;亚当… 主要字段: 生物学和其他自然科学(92-XX);系统论;控制(93-XX)
李焕庆执导的韩国电影 2份文件引用(2017–2020) 软件作者: Weir,W。;吉布森,R。;P.J.穆查。 相关软件: 超中心性;力量图谱2;Gen Louvane… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
深度架构师 1份文件引用(2019) 软件作者: 雷纳托·内格里尼奥(Renato Negrinho)、杰夫·戈登(Geoff Gordon) 相关软件: ImageNet;NeST;T2T-ViT… 主要字段: 计算机科学(68-XX)
法菲尔 2份文件引用(2012–2017) 软件作者: 阿列克谢·拉杜尔;巴拉克·A·皮尔默特。;杰弗里·马克·西斯金德 相关软件: 锥体;ADIFR;DiffSharp… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
八卦地图 2份文件引用(2017年至2022年) 软件作者: Bae,S。;B·豪。 相关软件: SympleGraph;美人鱼;PathGraph… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
霍尔巴 2份文件引用(2020–2022) 软件作者: 伦德伯格,迪德里克;罗伯特·瓜夏莱(Roberto Guanciale);安德烈亚斯·林德纳;达姆,麦兹 相关软件: RGITL;达夫尼;GNAT证明… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
LFRic公司 2份文件引用(2021–2023) 软件作者: S.V.Adams、R.W.Ford、M.Hambley、J.M.Hobson、I.Kavcic、C.M.Maynard、T.Melvin、E.H Mueller、S.Mullerworth、A.R.Porter、M.Rezny、B.J.Shipway、R.Wong 相关软件: P旋流器;BoomerAMG;AMReX… 主要字段: 数值分析(65-XX);地球物理学(86-XX)
mlpy(百万磅) 2份文件引用(2011–2013) 软件作者: Davide Albanese、Roberto Visintainer、Stefano Merler、Samantha Riccadonna、Giuseppe Jurman、Cesare Furlanello 相关软件: LIBSVM;SHOGUN公司;MLPACK… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
MODEVO公司 2份文件引用(2015年至2019年) 软件作者: Micha Wo niak;Jerzy Tiuryn;贾努斯·杜特考夫斯基 相关软件: apcluster;集群发现;APCluster… 主要字段: 统计学(62-XX);运筹学、数学规划(90-XX)
形态学J 1份文件引用(2016) 软件作者: 克里斯蒂安·彼得·克林根贝格 相关软件: R;形状;地貌… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
TAD宾德先生 2份文件引用(2019–2021) 软件作者: Yan,K.-K.,Lou,S.,Gerstein,M。 相关软件: 全球麻省理工学院;桅杆;弹弓… 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)
NuMesh(NuMesh) 1份文件引用(1996) 软件作者: 大卫·舒梅克(David Shoemaker);奥诺雷,弗兰克;克里斯·梅特卡夫(Chris Metcalf);史蒂夫·沃德 相关软件: XPP-VC公司 主要字段: 计算机科学(68-XX)
食人魔 1份文件引用(2018) 软件作者: 大卫·弗斯特雷顿(David Verstraeten);本杰明·施劳文;迪尔曼、桑德;菲利普·布拉克尔(Philemon Brakel);彼得·巴特内尔斯(Pieter Buteneers);德扬·佩切夫斯基 相关软件: 蟒蛇;mdp;皮恩 主要字段: 常微分方程(34-XX);计算机科学(68-XX)