×

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

XFEM公司

407篇文献引用(2002–2024)
软件作者: 博尔达斯,《Stéphane作者简介》;阮富荣;西里尔州杜南;阿莫尔·吉杜姆;洪阮当
相关软件: Matlab;Gmsh;ABAQUS…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

凯拉斯

265篇文献引用(2017–2024)
软件作者: F.胆汁
相关软件: TensorFlow;亚当;GitHub…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

Why3号机组

144篇文献引用(2004–2023)
软件作者: 弗朗索瓦·博博特;Jean-Christophe Filliátre;克劳德·马奇;纪尧姆·梅尔金德;安德烈·帕斯科维奇
相关软件: Coq;卡拉卡拉;z3…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…

鲁万将军

117篇文献引用(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.Girshick、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)
软件作者: 英格丽德·贝尔;约翰内斯·布赫曼;托马斯·帕帕尼科劳
相关软件: 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…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

六角形

21篇文献引用(2001–2011)
软件作者: Eric Berberich;阿诺·艾根威利(Arno Eigenwillig);Michael Hemmer;苏珊·赫特(Susan Hert);Kettner,Lutz;库尔特·梅尔霍恩(Kurt Mehlhorn);约阿希姆·赖切尔;苏珊·施密特;Elmar Sch“omer;Nicola Wolpert
相关软件: CGAL;LEDA;隔离…
主要字段: 总体主题;藏品(00-XX);代数几何(14-XX);凸和离散几何(52-XX)…

打开AD/F

23篇文献引用(2007–2022)
软件作者: Jean Utke;乌韦·诺曼;Mike Fagan;内森·塔伦特;米歇尔·米尔斯,斯特劳特;帕特里克·亨巴赫(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.古斯塔夫森
相关软件: 不良包装;包装;ScaLAPACK…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

voFoam公司

17篇文献引用(2014–2021)
软件作者: Tomislav Maric、Holger Marschall、Dieter Bothe
相关软件: VOF工具;格里斯;前列腺…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)

MA42型

在16份文件中引用(1994–2004)
软件作者: 达夫,I。;斯科特,J。
相关软件: 爆破;HSL;MA32…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

MMT公司

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。
相关软件: github;HElib;FHEW…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

帕代利布

12份文件引用(1999–2019)
软件作者: Jürgen Fuhrmann博士、Hartmut Langmach博士、Timo Streckenbach博士和Manfred Uhle博士
相关软件: 帕迪索;三角形;ddfermi…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

推动

3份文件引用(2002年-2023年)
软件作者: Lee Spector;艾伦·罗宾逊
相关软件: PushGP;PyshGP;CUDA…
主要字段: 计算机科学(68-XX);量子理论(81-XX);运筹学、数学规划(90-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)

图灵

6篇文献引用(2022)
软件作者: 洪戈、凯旭、邹斌·加拉马尼
相关软件: 朱莉娅;斯坦;PyMC…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-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)…

液化石油气+

10篇文献引用(2013–2024)
软件作者: 丹尼尔·阿洛伊斯(Daniel Aloise);卡波罗西,吉尔;皮埃尔·汉森(Pierre Hansen);利贝蒂(Leo Liberti);Sylvain Perron;曼纽尔·鲁伊斯
相关软件: VNDS;DIMACS;Pajek数据集…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

MAVEN公司

9份文件引用(2007–2013)
软件作者: Max Goldman;埃米利亚·卡茨(Emilia Katz);Shmuel Katz
相关软件: ProMoVer;CVPP;Aspectual Caml…
主要字段: 计算机科学(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);卡波罗西,吉尔;皮埃尔·汉森(Pierre Hansen);利贝蒂(Leo Liberti);Sylvain Perron;曼纽尔·鲁伊斯
相关软件: LPAm+;DIMACS;Pajek数据集…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

澳大利亚商业银行副本

6篇文献引用(2018–2023)
软件作者: Dutta,R.、Schoengens,M.、Ummadisingu,A.、Widmer,N.、Onnela,J.-P.和Mira,A。
相关软件: ELFI;作业成本法;PyTorch…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

气泡探查器

8份文件引用(2019–2023)
软件作者: Peter Athron、Csaba Balázs、Michael Bardsley、Andrew Fowlie、Dylan Harries、Graham White
相关软件: 宇宙转换;任何气泡;查找反弹…
主要字段: 统计学(62-XX);光学、电磁理论(78-XX);量子理论(81-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)…

AO4BPEL公司

2份文件引用(2012–2013)
软件作者: 查菲A,梅齐尼M
相关软件: WebSphere;JML;WSAT…
主要字段: 计算机科学(68-XX)

方面

7份文件引用(2003–2006)
软件作者: 罗伯特·赫希菲尔德
相关软件: 方面J;JBoss;吱吱声…
主要字段: 计算机科学(68-XX)

堆芯2

8份文件引用(2010–2022)
软件作者: 俞继洪;耶,琪;杜子林;Pion,Sylvain;埃尔维·布伦尼曼
相关软件: CGAL;LEDA;MPFR…
主要字段: 代数几何(14-XX);数值分析(65-XX);计算机科学(68-XX)

QMCPACK(质量管理确认)

8份文件引用(2008–2022)
软件作者: J.Kim等人。
相关软件: NWChem公司;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…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);流体力学(76-XX)

科马纳

7份文件引用(2016–2023)
软件作者: 马塞尔·科尼格;拉德特克(Lars Radtke);亚历山大·杜斯特
相关软件: CutFEM;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)…

OpenKE公司

4份文件引用(2021–2023)
软件作者: 徐翰、曹树林、吕欣、林彦凯、刘志远、孙茂松、李娟子
相关软件: Pykg2vec;AmpliGraph;旋转E…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

OpenViBE

3份文件引用(2014–2021)
软件作者: Y.Renard、F.Lotte、G.Gibert等人。
相关软件: BCI2000;EEGLAB;Python…
主要字段: 生物学和其他自然科学(92-XX);系统论;控制(93-XX)

VESTA工具包

6篇文献引用(2020–2022)
软件作者: 品娜·F·。
相关软件: 突变++;LASTRAC;PyPardiso…
主要字段: 流体力学(76-XX)

CosmoSIS公司

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)…

PushGP(推送GP)

3份文件引用(2002年-2023年)
软件作者: 克劳福德马克R,斯佩克特L。
相关软件: 推动;PyshGP;SQLizer…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

CUPyDO公司

5份文件引用(2019–2024)
软件作者: 托马斯·D·。;Cerquaglia,M。;博曼,R。;Economon,T。;阿隆索,J。;迪米特里亚迪斯,G。;特拉邦,V。
相关软件: 预CICE;CGAL;SU2…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)

光环

4份文件引用(1991–2012)
软件作者: 大卫·F·克拉克。;亚伯拉罕·坎德尔
相关软件: ——
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

MontiCore公司

3份文件引用(2016–2021)
软件作者: 霍尔格·克拉恩(Krahn,Holger);伦佩,伯恩哈德;史蒂文·沃尔克尔
相关软件: 梦幻岛;ANTLR;Spoofax…
主要字段: 计算机科学(68-XX)

OCRopus公司

2份文件引用(2017–2018)
软件作者: T.M.布鲁尔。
相关软件: Tesseract公司
主要字段: 计算机科学(68-XX)

开放IFEM

5份文件引用(2019–2023)
软件作者: Jie Cheng、Feimi Yu、Lucy T.Zhang
相关软件: github;交易.ii;PETSc/TS…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-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
相关软件: 萤火虫;冠军;宇宙…
主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)

小狗

3份文件引用(2013-2021)
软件作者: Maes R、Van Herrewee A、Verbauwhede I。
相关软件: ——
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

修补器电池

2份文件引用(2014–2015)
软件作者: Deepak Chandran、Frank T.Bergmann、Herbert M.Sauro
相关软件: SynBioSS;塔巴斯科;lpSolve…
主要字段: 常微分方程(34-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

自动锁存器

4份文件引用(2009–2017)
软件作者: 麦克洛斯基,B。;周,F。;盖伊,D。;布鲁尔,E。
相关软件: CIL;PhTM;羽毛追踪…
主要字段: 计算机科学(68-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…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-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)

MSS公司

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)

蘑菇RL

2份文件引用(2021)
软件作者: 卡洛·德埃拉莫(Carlo D’Eramo)、戴维德·塔特奥(Davide Tateo)、安德烈亚·博纳里尼(Andrea Bonarini)、马塞洛·莱斯特利(Marcello Restelli)、扬·彼得斯(Jan Peters)
相关软件: OpenAI健身房;PyTorch;TensorFlow…
主要字段: 计算机科学(68-XX)

开放式转弯

2份文件引用(2012)
软件作者: 米夏·鲍丁;安妮·杜特福(Anne Dutfoy);贝特朗·洛斯;Anne-Laure府绸
相关软件: Scikit;蟒蛇;蝙蝠侠…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)

PolyStress公司

4份文件引用(2022–2023)
软件作者: Giraldo-Londoño,o。;GH保利诺
相关软件: PolyMat;PolyTop;阿尔根卡…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);运筹学、数学规划(90-XX)

ProMoVer公司

4份文件引用(2011–2016)
软件作者: Siavash Soleimanifard;古罗夫,帝力;玛丽克·赫斯曼
相关软件: MAVEN公司;德尔塔CCS;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)

阔琪涅勒

2份文件引用(2007–2008)
软件作者: 孔特让,E。
相关软件: CoLoR;Coq;IsaFoR…
主要字段: 计算机科学(68-XX)

IGTools(IG工具)

3份文件引用(2017–2021)
软件作者: Bonnici,V;V.曼卡
相关软件: ——
主要字段: 生物学和其他自然科学(92-XX)

毛姆

1份文件引用(2020)
软件作者: De Cruz,L.、Demaeyer,J.、Vannisem,S。
相关软件: qgs;皮克;Oceaniangans.jl…
主要字段: 动力系统与遍历理论(37-XX);地球物理学(86-XX);系统论;控制(93-XX)

OpenRec公司

在0个文档中引用
软件作者: 杨龙奇、尤金·巴格达萨利安、约书亚·格伦斯坦、谢成康、黛博拉·埃斯特林
相关软件: LibRec;蟒蛇;MyMediaLite…
主要字段: 计算机科学(68-XX)

PIROL公司

3份文件引用(2002–2003)
软件作者: 斯蒂芬·赫尔曼
相关软件: 方面J;ArchJava建筑
主要字段: 计算机科学(68-XX)

PolyFARM公司

3份文件引用(2002–2012)
软件作者: 克莱尔,阿曼达;罗斯·D·金。
相关软件: GOLEM公司;阿列夫;TopLog…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

PyBEST公司

2份文件引用(2024)
软件作者: 凯萨琳娜·博古斯拉夫斯基(Katharina Boguslawski)、亚历克桑德拉·莱斯奇克(Aleksandra Leszczyk)、阿图尔·诺瓦克(Artur Nowak)、菲利普·布尔兹克(Filip Brzęk)、彼得·斯兹蒙·乌乔夫斯基(Piotr SzymonŻuchowski)、达鲁兹·齐
相关软件: CuPy;C2x;VASPKIT…
主要字段: 计算机科学(68-XX);量子理论(81-XX);统计力学,物质结构(82-XX)

SOL公司

3份文件引用(2019–2022)
软件作者: 马科托·哈马纳
相关软件: Coq;哈斯克尔;咖啡OBJ…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

TSAT公司++

3份文件引用(2005–2008)
软件作者: 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科·金奇利亚(Enrico Giunchiglia);马西莫·伊迪尼;马可·马拉提亚
相关软件: CVC;SMT-LIB;箔条…
主要字段: 计算机科学(68-XX)

气溶胶

2份文件引用(2013-2019)
软件作者: 印度
相关软件: 阿古拉;Gms小时
主要字段: 数值分析(65-XX);流体力学(76-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-XX);粒子和系统力学(70-XX)

黑色JAX

1份文件引用(2023)
软件作者: Blackjax开发者
相关软件: JAX;github;PRMLT…
主要字段: 可变形固体力学(74-XX)

加拿大国家航空公司

1份文件引用(2020)
软件作者: 里昂·布拉蒂格·科雷亚(Rion Brattig Correia);亚历山大·盖茨(Alexander J.Gates);王宣;路易斯·罗查
相关软件: 多步控制;github;亚当…
主要字段: 生物学和其他自然科学(92-XX);系统论;控制(93-XX)

李焕庆执导的韩国电影

2份文件引用(2017–2020)
软件作者: 威尔,W。;吉布森,R。;P.J.穆查。
相关软件: 超中心性;力量图谱2;根卢万…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

DeCIF公司

2份文件引用(1999–2001)
软件作者: 费利克斯·科尼利厄斯
相关软件: ——
主要字段: 计算机科学(68-XX)

深度架构师

1份文件引用(2019)
软件作者: 雷纳托·内格里尼奥(Renato Negrinho)、杰夫·戈登(Geoff Gordon)
相关软件: ImageNet;NeST;T2T-ViT…
主要字段: 计算机科学(68-XX)

DeepRec公司

在0个文档中引用
软件作者: 张帅、易泰、姚丽娜、吴斌、孙爱欣
相关软件: AutoRec;OpenRec公司;LibRec…
主要字段: ——

法菲尔

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)
软件作者: 迪德里克·伦德伯格(Didrik Lundberg);罗伯特·瓜夏莱(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年)
软件作者: 戴维德·阿尔巴内塞、罗伯托·维辛塔纳、斯特凡诺·梅勒、萨曼莎·里卡多纳、朱塞佩·尤尔曼、塞萨尔·福拉内洛
相关软件: LIBSVM;SHOGUN公司;MLPACK…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

MODEVO公司

2份文件引用(2015–2019)
软件作者: Micha Wo niak;Jerzy Tiuryn;Janusz Dutkowski先生
相关软件: 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(无网格)

1份文件引用(1996)
软件作者: 大卫·舒梅克(David Shoemaker);奥诺雷,弗兰克;克里斯·梅特卡夫(Chris Metcalf);史蒂夫·沃德
相关软件: XPP-VC公司
主要字段: 计算机科学(68-XX)

食人魔

1份文件引用(2018)
软件作者: 大卫·弗斯特雷顿(David Verstraeten);本杰明·施劳温(Benjamin Schrauwen);迪尔曼、桑德;菲利普·布拉克尔(Philemon Brakel);彼得·巴特内尔斯(Pieter Buteneers);德扬·佩切夫斯基
相关软件: 蟒蛇;mdp;皮恩
主要字段: 常微分方程(34-XX);计算机科学(68-XX)

乌毛

在0个文档中引用
软件作者: R.柯南;C.科雷亚
相关软件: 索比;caos;DASP…
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件