×

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

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

AO4BPEL公司

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

方面

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

VESTA工具包

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

光环

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公司
主要字段:

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

自动锁存器

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…
主要字段: (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)

阔琪涅勒

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

古巴比多

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

IGTools(IG工具)

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

毛姆

1份文件引用(2020)
软件作者: De Cruz,L.、Demaeyer,J.、Vannisem,S。
相关软件: qgs;皮克;Oceaniangans.jl…
主要字段:

蘑菇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)

PIROL公司

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

气溶胶

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-04-XX);(70-04-XX);(37D50-XX)

黑色JAX

1份文件引用(2023)
软件作者: Blackjax开发者
相关软件: JAX;PRMLT;FEniCS…
主要字段: 可变形固体力学(74-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)…

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)
软件作者: 伦德伯格,迪德里克;罗伯特·瓜夏莱(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)

OOMAO公司

在0个文档中引用
软件作者: R.柯南;C.科雷亚
相关软件: 肥皂;曹操;DASP…
主要字段:

证明

2份文件引用(1991–2012)
软件作者: Yau,Stephen S。;贾小平;裴斗焕
相关软件: 蟒蛇;离岸价格;哈斯克尔…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件