×

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

伊波特

930份文件引用(2005–2024)
软件作者: 安德烈亚斯·瓦希特(Andreas Waechter)、卡尔·莱尔德(Carl Laird)
相关软件: AMPL;SNOPT;CPLEX…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);可变形固体力学(74-XX)…

代码23

379份文件引用(1995–2023)
软件作者: MathWorks公司
相关软件: Matlab;MATLAB ODE套件;代码23s…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

高超声速

320篇文献引用(1996–2024)
软件作者: Tom Henzinger、Pei Xin Ho和Howard Wong Toi。
相关软件: Uppaal;PHAVer;Kronos…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

ANFIS公司

202篇文献引用(1995–2022)
软件作者: Jang,J.-S.R.公司。
相关软件: UCI-ml;基因组学;DENFIS…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

克洛诺斯

246篇文献引用(1997–2022)
软件作者: Conrado Daws、Alfredo Olivero、Stavros Tripakis、Sergio Yovine
相关软件: Uppaal;高科技;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

DOLFIN公司

235篇文献引用(2004–2023)
软件作者: 安德斯·洛格(Anders Logg)、约翰·霍夫曼(Johan Hoffman)、加思·威尔斯(Garth N.Wells)、约翰·詹森(Johan-Jansson)、奥拉·斯卡瓦格(Ola Skavhaug)、肯特·安德尔·马尔达尔(Kent Andre Mardal)、马丁·桑德夫·阿尔内斯(Martin Sandwe Alnes)、约翰·哈克(Johan-Hake)、尼古拉斯·
相关软件: FEniCS;PETSc;UFL…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

张量工具箱

218篇文献引用(2007–2024)
软件作者: 布雷特·巴德(Brett W.Bader)。;塔马拉·科尔达。
相关软件: 算法862;Matlab;Tensorlab…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

TetGen公司

208篇文献引用(2006–2023)
软件作者: 汉斯
相关软件: 三角形;Gmsh;CGAL…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

GLPK公司

196篇文献引用(2004–2023)
软件作者: 安德鲁·马科林
相关软件: CPLEX;古罗比;AMPL…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

dBase(数据库)

30篇文献引用(1986–2009)
软件作者: ——
相关软件: 乘法运算;莲花1-2-3;剪辑器…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

算法447

187份文件引用(1974–2024)
软件作者: J.Hopcroft;R.Tarjan先生
相关软件: SCIP;R;古罗比…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

PROST公司

184份文件引用(2002–2024)
软件作者: Renardy,Yuriko;雷纳迪,迈克尔
相关软件: 格里斯;SLIC;卡拉肯…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

CONOPT公司

179份文件引用(1985年至2024年)
软件作者: 阿恩·斯托尔伯格·德鲁德
相关软件: GAMS;MINOS;SNOPT…
主要字段: 统计学(62-XX);数值分析(65-XX);可变形固体力学(74-XX)…

SLIC公司

174篇文献引用(1976–2024)
软件作者: W.F.Noh,Paul Woodward(保罗·伍德沃德)
相关软件: 卡拉肯;PROST;Gerris…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)…

PASCAL挥发性有机化合物

99篇文献引用(2010–2023)
软件作者: Everingham,M.、Eslami,S.M.A.、Van Gool,L.、Williams,C.K.I.、Winn,J.、Zisserman,A
相关软件: SIFT;ImageNet;MS-COCO…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

项目管理局

159份文件引用(2009年至2024年)
软件作者: Daniela Witten、Rob Tibshirani、Sam Gross、Balasubramanian Narasimhan
相关软件: R;玻璃;ElemStatLearn…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

车辆08

155份文件引用(1982–2023)
软件作者: Griewank,A。;厕所,博士。
相关软件: 兰斯洛特;minpack;L-BFGS…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

爆炸

111篇文献引用(2003–2022)
软件作者: 托马斯·亨辛格(Thomas A.Henzinger)。;Jhala,Ranjit;Rupak Majumdar;格雷戈瓦,萨特
相关软件: 灌篮;CPA检查员;CBMC…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

班德拉

105篇文献引用(2000–2023)
软件作者: 约翰·哈特克利夫;马修·德怀尔
相关软件: 自旋蛋白;Java PathFinder;veriSoft…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

JStatCom公司

103篇文献引用(2007–2024)
软件作者: 马库斯·克拉齐格
相关软件: KEEL;UCI-ml;C4.5…
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…

R-INLA公司

104篇文献引用(2010–2024)
软件作者: 蒂亚戈·马丁斯。;哈瓦德街
相关软件: R;GMRFLib公司;INLA…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

落叶松

105篇文献引用(1989–2023)
软件作者: John V.Guttag。;詹姆斯·霍宁。
相关软件: JML;埃菲尔;PVS…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);群论与推广(20-XX)…

应用程序

108篇文献引用(2002–2023)
软件作者: 罗伯托·巴格纳拉;利玛窦(Elisa Ricci);埃纳州扎法内拉;帕特里夏·M·希尔。
相关软件: 高科技;停机坪;ASTREE…
主要字段: 数学逻辑与基础(03-XX);凸和离散几何(52-XX);计算机科学(68-XX)…

皮奥莫

103篇文献引用(2012–2024)
软件作者: 威廉·哈特(William E.Hart)。;卡尔·莱尔德;Jean-Paul Watson;大卫·L·伍德拉夫。
相关软件: 古罗比;Ipopt;CPLEX…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

快速检查

92份文件引用(2001–2023)
软件作者: 科恩·克莱森;约翰·休斯
相关软件: 哈斯克尔;Coq;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

softImpute软件

104篇文献引用(2010–2024)
软件作者: 特雷弗·哈斯蒂;拉胡尔·马祖姆德
相关软件: 老鼠;R;ElemStatLearn…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

OpenAI健身房

69篇文献引用(2018–2023)
软件作者: Greg Brockman、Vicki Cheung、Ludwig Pettersson、Jonas Schneider、John Schulman、Jie Tang、Wojciech Zaremba
相关软件: PyTorch;MuJoCo;亚当…
主要字段: 计算机科学(68-XX);流体力学(76-XX);运筹学,数学规划(90-XX)…

veriSoft软件

76篇文献引用(2000–2022)
软件作者: 朱尔根·丁格尔
相关软件: 班德拉;自旋蛋白;Java PathFinder…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)…

里奥

90篇文献引用(2003–2023)
软件作者: 马特杰·杜尼克
相关软件: 琳达;莫德;mCRL2…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

达科塔

81份文件引用(2002–2023)
软件作者: 桑迪亚
相关软件: 蟒蛇;UQLab;QUESO…
主要字段: 统计学(62-XX);数值分析(65-XX);可变形固体力学(74-XX)…

卡拉卡拉

79篇文献引用(2004–2022)
软件作者: 马奇,C。;Paulin-Mohring,C。;X·乌尔班。
相关软件: Why3;Caduceus;JML…
主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…

精益

89份文件引用(2015–2024)
软件作者: 微软;莱昂纳多·德·莫拉;孔顺浩;杰里米·阿维加德;弗洛里斯·范·道恩(Floris van Doorn);雅各布·冯·劳默
相关软件: Coq;Isabelle/HOL;Agda…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);范畴理论;同调代数(18-XX)…

极瘦的

89份文件引用(2016–2023)
软件作者: 贝尔勒,克里斯托夫;Jean,Jérémy;科尔贝尔,斯特凡;Gregor Leander;阿米尔·莫拉迪;托马斯·佩林(Thomas Peyrin);Yu Sasaki;帕斯卡·萨斯德里奇;Sim,Siang Meng先生
相关软件: 出席;西蒙;王子…
主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…

细胞景观

48篇文献引用(2007–2023)
软件作者: Shannon P、Markiel A、Ozier O、Baliga NS、Wang JT、Ramage D、Amin N、Schwikowski B、Ideker T
相关软件: KEGG;R;IntAct…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

巴拉法克

85篇文献引用(1976–2023)
软件作者: R.A.哈什曼。;M.E.伦迪。
相关软件: Matlab;多线性发动机;R、 …
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

阿兹特克

84份文件引用(1997–2022)
软件作者: R.S.Tuminaro、M.Herous、S.A.Hutchinson、J.N.Shadid
相关软件: 阿兹特克OO;PETSc;万亿…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

每磅

53篇文献引用(2006–2021)
软件作者: Y.Ke和R.Sukthankar
相关软件: SIFT;冲浪;ASIFT…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

PIN码NTK码

82份文件引用(2021–2024)
软件作者: 王思凡;于新玲;巴黎佩迪卡里斯
相关软件: 亚当;DeepXDE;DiffSharp…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

彗星

75篇文献引用(2004–2023)
软件作者: 米歇尔·洛朗;看,安德鲁;帕斯卡·范·亨特利克
相关软件: CPLEX;本地化人员;Gecode…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

西洋陆军棋

77份文件引用(2001–2022)
软件作者: 埃尔科·维瑟
相关软件: 莫德;汤姆;ELAN…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

英特尔TBB

67篇文献引用(2008–2023)
软件作者: 英特尔
相关软件: 西尔克;特里利诺斯;deal.ii…
主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)…

MooNMD公司

79篇文献引用(2004–2023)
软件作者: 约翰,沃尔克;冈纳·马提斯
相关软件: FEATFLOW;UMFPACK;RODAS…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

退款

74份文件引用(2012–2023)
软件作者: 戈德史密斯,J。;格雷文,S。;克雷尼西亚努,C。
相关软件: fda(R);R;半标准杆…
主要字段: 功能分析(46-XX);微分几何(53-XX);统计学(62-XX)…

宙斯

77份文件引用(1992–2023)
软件作者: 斯通,J.M。;M·L·诺曼
相关软件: HLLE;雅典娜;NIRVANA…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

FPC_AS公司

77份文件引用(2010–2023)
软件作者: 温再文、尹沃涛
相关软件: PDCO;SPGL1;TwIST…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

TOPCOM公司

77份文件引用(2000–2024)
软件作者: Jörg Rambau
相关软件: 多品牌;SageMath;PALP…
主要字段: 组合数学(05-XX);代数几何(14-XX);凸和离散几何(52-XX)…

MNM公司

71篇文献引用(2010–2024)
软件作者: 克劳斯·诺德豪森、Jyrki Mottonen、Hannu Oja
相关软件: R;robustbase;ICSNP…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);概率论与随机过程(60-XX);统计学(62-XX)…

NSF网络

70篇文献引用(2020年至2024年)
软件作者: 金晓伟、蔡盛泽、李慧、乔治·埃姆·卡尼亚达克斯
相关软件: 亚当;DiffSharp;hp-VPINN…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

BGL公司

59篇文献引用(2007–2023)
软件作者: JG Siek、LQ Lee、A Lumsdaine
相关软件: 促进;增强C++库;CGAL…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

GALib公司

56篇文献引用(1999–2021)
软件作者: 马修·沃尔
相关软件: 基因组学;VRP;CPLEX…
主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)…

调查

56篇文献引用(2008–2023)
软件作者: 托马斯·伦利
相关软件: R;抽样;状态…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

艾根斯特拉

引用于62份文件(2007–2023)
软件作者: Alkes L Price、Nick J Patterson、Robert M Plenge、Michael E Weinblatt、Nancy A Shadick、David Reich
相关软件: 结构;PLINK;R、 …
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

NeTra公司

42篇文献引用(2000年至2016年)
软件作者: 马维英;B.S.曼朱纳
相关软件: VisualSEEk;简单性;PicToSeek…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)…

访问

35篇文献引用(1994–2015)
软件作者: 微软
相关软件: Visual Basic;MS SQL Server;Oracle…
主要字段: 计算机科学(68-XX);可变形固体力学(74-XX);运筹学,数学规划(90-XX)…

pde2路径

61篇文献引用(2014–2024)
软件作者: H.Uecker、D.Wetzel、J.Rademacher
相关软件: 自动;MATCONT;Matlab…
主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

MAGMA公司

50篇文献引用(2010–2022)
软件作者: J.Dongarra、T.Dong、M.Gates、A.Haidar、S.Tomov、I.Yamazaki
相关软件: 血浆;LAPACK;CUDA…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

叫做古迪辛

56篇文献引用(2014–2024)
软件作者: INRIA公司;克莱门特·玛丽亚;Jean-Daniel Boissonnat;马克·格利塞(Marc Glisse);玛丽埃特·伊维内克
相关软件: 裂土器;PHAT;酒神…
主要字段: 代数拓扑(55-XX);概率论与随机过程(60-XX);统计学(62-XX)…

SWIG(开关)

41篇文献引用(2000–2023)
软件作者: D.M.比兹利。
相关软件: 蟒蛇;数字Py;F2PY…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

马拉雷亚

56篇文献引用(2007–2023)
软件作者: 约瑟夫·乌尔班
相关软件: E定理证明;VAMPIRE公司;Mizar…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

SAMRAI公司

51篇文献引用(2002–2023)
软件作者: 理查德·霍农(Richard D.Hornung)。;斯科特·科恩。
相关软件: PETSc;炒作;帕拉梅什…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)…

信号

51篇文献引用(1987年至2020年)
软件作者: 大卫·诺瓦克;Jean-Pierre Talpin;蒂埃里·戈蒂埃;保罗·勒格尔尼克
相关软件: 卢斯特;酯类;托勒密…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

亚当斯

52篇文献引用(2005–2022)
软件作者: 美商麦格尼轩
相关软件: Matlab;ANSYS软件;纳斯特朗…
主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);可变形固体力学(74-XX)…

Refprop公司

52篇文献引用(2009–2023)
软件作者: NIST标准
相关软件: CoolProp;FluidProp;SU2…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

收益率

35篇文献引用(2006–2023)
软件作者: Tobias Sing、Oliver Sander、Niko Beerenwinkel、Thomas Lengauer
相关软件: R;pROC;ggplot2…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

PolyBoRi公司

50篇文献引用(2008–2023)
软件作者: 亚历山大·德雷耶(Alexander Dreyer);迈克尔·布里肯斯坦
相关软件: 单一;SageMath;岩浆…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);交换代数(13-XX)…

GRTensorII型

49份文件中引用(1996–2019)
软件作者: 彼得·马斯格雷夫(Peter Musgrave);丹尼斯·波尔尼;凯尔湖
相关软件: 枫树;数学张量;NP…
主要字段: 微分几何(53-XX);计算机科学(68-XX);量子理论(81-XX)…

艾司隆

49份文件中引用(2002–2023)
软件作者: 王东明
相关软件: 枫树;正则链;隔离…
主要字段: 场论与多项式(12-XX);交换代数(13-XX);代数几何(14-XX)…

印章

39篇文献引用(1998–2023)
软件作者: 科普曼,S.J。;哈维,A.C。;Doornik,J.A。;谢泼德,A。
相关软件: SsfPack;公牛;R、 …
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

IF-2.0型

38篇文献引用(2002–2022)
软件作者: 马吕斯·博兹加;苏珊娜·格拉芙;劳伦特·穆尼尔
相关软件: Uppaal;克罗诺斯;旋转…
主要字段: 总体主题;藏品(00-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…

Pc获取

46篇文献引用(2000–2021)
软件作者: Perez-Amaral,Teodosio;Giampiero M.Gallo。;怀特,哈尔伯特
相关软件: PcGive;公牛;ElemStatLearn…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…

阿斯毫升

引用于45份文件(2001–2023)
软件作者: 微软研究院;格里斯坎普,W。;古雷维奇·Y。
相关软件: 毫升;SpecExplorer;科拉特…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

Chebfun2号机组

引用于45份文件(2013–2023)
软件作者: 亚历克斯·汤森;劳埃德·N·特里费琴。
相关软件: 切布冯;Matlab;DLMF…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);近似和展开(41-XX)…

低等级模型

引用于45份文件(2016–2023)
软件作者: 马德琳·乌德尔;科琳·霍恩(Corinne Horn);扎德、雷扎;斯蒂芬·博伊德
相关软件: Pyglrm;softImpute;LBFGS-B…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

METSlib公司

41篇文献引用(2011–2023)
软件作者: 鲍尔
相关软件: VRP;禁忌搜索;irace…
主要字段: 历史与传记(01-XX);数值分析(65-XX);计算机科学(68-XX)…

混合模拟人生

40篇文献引用(2010–2023)
软件作者: V.Melnykov;W.C.Chen;R.迈特拉
相关软件: 麦克卢斯特;R;UCI-ml…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

序曲

39篇文献引用(2000–2022)
软件作者: L.Brown、William D.Henshaw、Daniel J.Quinlan。
相关软件: PETSc;CMPGRD;帕拉梅什…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

皮格尔姆

44篇文献引用(2016–2023)
软件作者: 马德琳·乌德尔;科琳·霍恩(Corinne Horn);扎德、雷扎;斯蒂芬·博伊德
相关软件: 低等级模型;softImpute;LBFGS-B…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

SAS/ETS系统

39篇文献引用(1985–2022)
软件作者: SAS公司
相关软件: SAS;R;SAS/STAT…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

套装备用QR

42篇文献引用(2010–2023)
软件作者: 阿米尼,N。;A.爪哇人。
相关软件: SuiteSparseQR;稀疏矩阵;CRAIG…
主要字段: 组合数学(05-XX);偏微分方程(35-XX);数值分析(65-XX)…

椰子

40篇文献引用(2003–2023)
软件作者: Hermann Schichl、COCONUT项目、Arnold Neumaier、Oleg Shcherbina、Eric Monfroy、Brice Pajot
相关软件: BARON公司;全球溶胶;AMPL…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

综合布线

42篇文献引用(2015–2021)
软件作者: 刘,B。;刘,F。;王,X。;陈,J。;方,L。;周,K.-C.:
相关软件: iRSpot-PseDNC;心理健康网络;iPro54-PseKNC…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

Python Web图形生成器

41篇文献引用(2013–2023)
软件作者: 萨基特·萨特
相关软件: 就餐套房;NetLogo;invGauss…
主要字段: 组合数学(05-XX);常微分方程(34-XX);统计力学,物质结构(82-XX)…

SMIL公司

10篇文献引用(2001–2016)
软件作者: W3.org网站
相关软件: XPath;Lua;SPARQL…
主要字段: 组合数学(05-XX);计算机科学(68-XX);数学教育(97-XX)

频率.fda

40篇文献引用(2014–2024)
软件作者: Hormann S.和Kidzinski L。
相关软件: fda(R);R;astsa…
主要字段: 功能分析(46-XX);算子理论(47-XX);概率论与随机过程(60-XX)…

魔法

39篇文献引用(2003–2020)
软件作者: 萨加尔·查基;埃德蒙·克拉克;Jha,萨默什;维思,赫尔穆特
相关软件: ComFoRT;班德拉;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

低碳所

33篇文献引用(2016–2023)
软件作者: Laurent Dinh、David Krueger、Yoshua Bengio
相关软件: 亚当;辉光;火炬差异…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

Mixmod公司

37篇文献引用(2006–2022)
软件作者: 克里斯托夫·比尔纳基;塞勒克斯(Celeux),吉尔(Gilles);戈瓦尔特、杰拉德;弗洛伦特Langrognet
相关软件: 麦克卢斯特;R;PGMM…
主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)…

帕帕普

38篇文献引用(2006–2023)
软件作者: 贝特尔斯,斯特凡;托尔斯滕·法勒
相关软件: VRP;古罗比;超启发式…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

边界

34份文件引用(1998–2023)
软件作者: 蒂姆·科利(Tim Coelli)、阿恩·亨宁森(Arne Henningsen)
相关软件: R;sfa;标杆管理…
主要字段: 历史与传记(01-XX);统计学(62-XX);数值分析(65-XX)…

绵羊

37篇文献引用(1977–2020)
软件作者: 弗里克,我
相关软件: 枫树;减少;MapleTensor…
主要字段: 微分几何(53-XX);数值分析(65-XX);计算机科学(68-XX)…

2D排列

37篇文献引用(2005–2020)
软件作者: R.Wein、E.Fogel、B.Zukerman、D.Halperin
相关软件: CGAL;三维球面核;EXACUS…
主要字段: 组合数学(05-XX);代数几何(14-XX);凸和离散几何(52-XX)…

DAML+油

34份文件引用(2002–2009)
软件作者: 伊恩·霍洛克斯
相关软件: WordNet;swrl;三重…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

生物模型

32篇文献引用(2008–2022)
软件作者: Le Novere,N.、Bornstein,B.、Broicher,A.、Courtot,M.、Donizelli,M.,Dharuri,H.、Li,L.、Sauro,H.,Schilstra,M..、Shapiro,B.、Snoep,J.L.、Hucka,M
相关软件: COPASI;KEGG;z3…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…

消防车

23篇文献引用(2011–2023)
软件作者: 克里斯蒂安·海宁
相关软件: R;簇(R);mclust…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

Java CoG工具包

12份文件引用(2001–2010)
软件作者: 冯·拉舍夫斯基(von Laszewski),格雷戈(Gregor);Jarek Gawor;彼得·莱恩(Peter Lane);雷恩、内尔;迈克·拉塞尔
相关软件: Globus工具包;飞马座;秃鹰G…
主要字段: 计算机科学(68-XX);地球物理学(86-XX);生物学和其他自然科学(92-XX)

TenEig公司

36篇文献引用(2016–2024)
软件作者: 陈丽萍;韩丽星;周良民
相关软件: 张量工具箱;PHCpack;算法862…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

VerICS版本

34份文件引用(2005–2023)
软件作者: 兹布热兹尼(Zbrzezny,Andrzej);沃兹纳、博·德·泽纳
相关软件: 多甲基甲酰胺;MCK;MOCHA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

阿凡达

34份文件引用(2014年-2023年)
软件作者: 沃伦科夫,A。
相关软件: VAMPIRE公司;TPTP;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

斯特马克

28篇文献引用(2001–2023)
软件作者: Fabien A.P.Petitcolas、Ross J.Anderson、Markus G.Kuhn
相关软件: U-Net;亚当;禁忌搜索…
主要字段: 数值分析(65-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

Ynot公司

34份文件引用(2008–2019)
软件作者: 阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特(Greg Morrisett);Avraham Shinnar;保罗·戈维罗(Paul Govereau);拉尔斯·比克达尔
相关软件: Coq;Isabelle/HOL;哈斯克尔…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

筛选结果依据…

全部的 前5名

相关软件