×

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

规范化工具

809份文件引用(1994–2024)
软件作者: 汉森,Per Christian
相关软件: UTV;LSQR;IR工具…
主要字段: 偏微分方程(35-XX);算子理论(47-XX);数值分析(65-XX)…

GMRF库

408份文件引用(1991–2024)
软件作者: 哈瓦德街;莱昂哈德·赫尔德
相关软件: R;spBayes;贝叶斯DA…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

红色工具箱

350份文件引用(2014–2024)
软件作者: 阿尔菲奥·夸特罗尼;安德烈亚·曼佐尼;费德里科·内格里
相关软件: 皇家麻省理工学院;亚当;FEniCS…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

水獭

325篇文献引用(1988–2023)
软件作者: 比尔·麦库恩;阿莫尔·蒙塔诺(Amor Montano)、何塞·阿尔弗雷多(Jose Alfredo);米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel)
相关软件: TPTP;VAMPIRE公司;SPASS…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…

ADOL-C公司

260篇文献引用(1991–2024)
软件作者: 安德烈亚·沃尔特(Andrea Walther)、安德烈亚斯·科瓦兹(Andreas Kowarz)、安德烈亚斯·格里万克(Andreas-Griewank)
相关软件: ADIFOR公司;锥体;ADIC…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

NBI公司

237篇文献引用(1998–2024)
软件作者: 达斯(Das),因德雷尼尔(Indraneel);J.E.丹尼斯。
相关软件: MOEA/D;SPEA2;HypE…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

TISEAN公司

165篇文献引用(1999–2023)
软件作者: Rainer Hegger、Holger Kantz、Thomas Schreiber
相关软件: Matlab;K2;科学…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…

火灾

145篇文献引用(2008–2023)
软件作者: A.V.斯米尔诺夫。
相关软件: LiteRed;雷杜泽;消防5…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

CMA-ES公司

122篇文献引用(2004–2024)
软件作者: 汉森
相关软件: CEC 05;EGO;MultiMin…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

rms(有效值)

112份文件引用(2001年至2024年)
软件作者: 小弗兰克·E·哈雷尔
相关软件: R;SAS;生存…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

阿巴克斯

117篇文献引用(1996–2022)
软件作者: 精灵,马提亚斯;卡斯滕·古特温格;迈克尔·Jünger;乔瓦尼·里纳尔迪
相关软件: CPLEX;MINTO公司;SYMPHONY…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

AIR工具

114篇文献引用(2012–2024)
软件作者: 汉森,Per Christian;玛丽亚·萨希尔德·汉森
相关软件: 规范化工具;IR工具;UTV…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…

ELAN公司

106篇文献引用(1996–2020)
软件作者: 彼得·博罗万斯基(Peter Borovansky)、埃里克·德普拉涅(Eric Deplagne)、克劳德·基什内尔(Claude Kirchner)、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳(Pierre-Etienne Moreau)、克里斯托夫·林盖森(Christophe
相关软件: 莫德;OBJ咖啡馆;OBJ3…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

达科塔

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

ILOG时间表

87份文件引用(1996年-2023年)
软件作者: C·勒帕佩
相关软件: CPLEX;炸薯条;JOBSHOP…
主要字段: 历史与传记(01-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

Gecode公司

85篇文献引用(2007–2023)
软件作者: 克里斯蒂安·舒尔特(Christian Schulte),KTH皇家理工学院
相关软件: 微量锌;CPLEX;Choco…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

刻痕

84份文件引用(1997–2023)
软件作者: F.佩莱格里尼;J.罗曼
相关软件: METIS公司;稀疏矩阵;Chaco…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

西洋陆军棋

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

库恩

80篇文献引用(2009–2023)
软件作者: 彼得罗·贝洛蒂;Jon Lee;利贝蒂(Leo Liberti);弗朗索瓦·马戈;安德烈亚斯·韦切特
相关软件: BARON公司;CPLEX;邦明…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

ParEGO公司

66份文件引用(2005–2023)
软件作者: 约书亚·诺尔斯;埃文·休斯。
相关软件: EGO;MOEA/D;SPEA2…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

JPEG2000格式

61篇文献引用(2002–2023)
软件作者: Seo、Yeong Geon;Kim,Kwon Soo;Kim、Sung Gyun
相关软件: 蟒蛇;BM3D;VisualSEEk…
主要字段: 欧氏空间(42-XX)的调和分析;数值分析(65-XX);计算机科学(68-XX)…

TTTPLOTS公司

70篇文献引用(2007–2024)
软件作者: Aiex,Renata M。;莫里西奥·雷森德(Mauricio G.C.Resende)。;塞尔索·C·里贝罗。
相关软件: PERL;GRASP;irace…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

svd包

60篇文献引用(1994–2022)
软件作者: 迈克尔·W·贝里
相关软件: LAPACK;ARPACK;Matlab…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

凯伊迈拉

55份文件引用(2008–2023)
软件作者: 安德烈·普拉泽;贾·戴维德·奎塞尔
相关软件: SpaceEx;凯伊迈拉X;高科技…
主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX)…

RealPaver公司

51篇文献引用(2003–2017)
软件作者: 劳伦特·格兰维尔(Laurent Granvilliers)
相关软件: 数字;进入PT_90;监狱…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

UPPAAL TIGA公司

引用于47份文件(2007–2023)
软件作者: Behrmann,G.、Cougnard,A.、David,A.、Fleury,E.、Larsen,K.G.、Lime,D。
相关软件: Uppaal;棱镜;Synthia…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变异微积分和最优控制;优化(49-XX);计算机科学(68-XX)…

人工神经网络

36篇文献引用(2001–2023)
软件作者: David M.Mount;苏尼尔·阿里亚
相关软件: UCI-ml;CGAL;间隙…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

咖喱

42篇文献引用(1998–2022)
软件作者: M.Hanus、H.Kuchen、J.J.Moreno Navarro
相关软件: 哈斯克尔;PAKCS;KiCS2…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)…

贝叶斯逻辑

46篇文献引用(2013–2022)
软件作者: 尼古拉斯·波尔森(Nicholas G.Polson)。;詹姆斯·G·斯科特。;杰西·温德尔
相关软件: R;tsbridge;CODA…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

CHARM(魅力)++

32篇文献引用(1997–2023)
软件作者: Laxmikant V.Kale;桑吉夫·克里希南
相关软件: PETSc;ParaView;交易.ii…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

魔法

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

非MEM

37篇文献引用(1996–2022)
软件作者: 比尔,S.L。;谢纳,L.B。
相关软件: R;S-PLUS;SAS…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

AMReX公司

34份文件引用(2019–2024)
软件作者: 安·阿尔姆格伦
相关软件: p4测试;格里斯;乔博…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

CiME公司

38篇文献引用(1997–2022)
软件作者: 埃维琳·孔特让、克劳德·马奇、安德烈·帕斯科维奇、泽维尔·乌尔班
相关软件: AProVE;蒂罗尔;Coq…
主要字段: 数学逻辑与基础(03-XX);场论与多项式(12-XX);交换代数(13-XX)…

Mixmod公司

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

OPL公司

39篇文献引用(2000–2023)
软件作者: 帕斯卡·范·亨滕里克;劳伦·佩伦(Laurent Perron);Jean-Francois,普吉
相关软件: CPLEX;AMPL;芯片…
主要字段: 历史与传记(01-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

LSSPER公司

28篇文献引用(2004–2023)
软件作者: 米雷尔·帕尔潘特;Artigues,基督教;菲利普·米歇隆
相关软件: PSPLIB;分散搜索;进展…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

折扣

31份文件引用(1996年-2023年)
软件作者: Denzinger,J。;Kronenburg先生。;舒尔茨,S。
相关软件: TPTP;VAMPIRE公司;E定理证明器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

奥德赛

32篇文献引用(1996–2016)
软件作者: 罗斯坦,N.,达尔马斯,S.,加利戈,A
相关软件: ADIFOR公司;TAMC;ADOL-C…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

nleqslv公司

27篇文献引用(2011–2023)
软件作者: 贝伦德·哈塞尔曼
相关软件: R;BB;贝叶斯DA…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

辅助电源

27篇文献引用(1993年-2023年)
软件作者: Letichevsky,A.A。;Kapitonova,J.V。;科诺琴科股份有限公司。
相关软件: APS-1;hiCUDA;BSGP…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);群论与推广(20-XX);常微分方程(34-XX)…

LoTREC公司

29篇文献引用(2001–2023)
软件作者: 奥利维尔·盖斯克特(Olivier Gasquet);安德烈亚斯·赫齐格(Andreas Herzig);多米尼克·朗金;穆罕默德·萨哈德
相关软件: PVS;SPASS;E定理证明器…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

PRISM-游戏

30篇文献引用(2013–2022)
软件作者: 陈、陶璐;Forejt,Vojtěch;公司;玛尔塔·奎亚特科夫斯卡;戴维·帕克;西马提斯,艾斯蒂斯
相关软件: 棱镜;主旨;MCMAS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

PySP公司

28篇文献引用(2012–2023)
软件作者: Jean-Paul Watson;伍德拉夫,大卫·L·。;威廉·哈特(William E.Hart)。
相关软件: 皮奥莫;CPLEX;古罗比…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

TENSOLVE公司

28篇文献引用(1993–2022)
软件作者: 阿里·布瓦里查(Ali Bouaricha);罗伯特·施纳贝尔。
相关软件: minpack;MINPACK-2;MPSalsa…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);算子理论(47-XX);数值分析(65-XX)…

卡桑德拉

22篇文献引用(2012–2023)
软件作者: Lakshman,A.,Malik,P。
相关软件: 发电机;Bigtable;MongoDB…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

差异支出

26篇文献引用(2020年至2024年)
软件作者: Martijn隐藏
相关软件: LiteRed;火灾;AMFlow…
主要字段: 特殊功能(33-XX);数值分析(65-XX);计算机科学(68-XX)…

MB解析

28篇文献引用(2009–2023)
软件作者: 亚历山大·斯米尔诺夫;弗拉基米尔·斯米尔诺夫
相关软件: MB渐近;嘉年华;琥珀色…
主要字段: 数论(11-XX);代数几何(14-XX);特殊功能(33-XX)…

不明飞行物

22篇文献引用(2012–2022)
软件作者: Aws Albarghouthi、Yi Li、Arie Gurfinkel、Marsha Chechik
相关软件: 注册会计师检查;z3;爆炸…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

HySAT卫星

26篇文献引用(2006–2021)
软件作者: Fränzle,Martin;克里斯蒂安·赫尔德
相关软件: 高科技;数学SAT;SpaceEx…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

MTT法

27篇文献引用(2008–2023)
软件作者: Durán,F.,Lucas,S.,Meseguer,J。
相关软件: 莫德;AProVE;OBJ3…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…

ProbView(探测视图)

11份文件引用(2005–2018)
软件作者: Lakshmanan,V.S.、Leone,N.、Ross,R.和Subrahmanian,V.S。
相关软件: 三重奏;ProTDB;MYSTIQ…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

WinGULF公司

27篇文献引用(1999–2023)
软件作者: 埃里克·巴贾利诺夫。
相关软件: GloptiPoly;塞杜米;YALMIP…
主要字段: 变异微积分和最优控制;优化(49-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

BiMD公司

26篇文献引用(2004–2022)
软件作者: L.Brugnano、C.Magerini
相关软件: 商业智能;LIMbook;RODAS…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

DeepStack公司

26篇文献引用(2017–2023)
软件作者: 莫拉夫切克,马泰吉;马丁·施密德(Martin Schmid);尼尔·伯奇;维利亚姆·利西;达斯汀·莫里尔;诺兰·巴德;特雷弗·戴维斯;Waugh,Kevin;迈克尔·约翰逊(Michael Johanson);迈克尔·保龄球
相关软件: 天秤座;普里巴斯;游戏缩小…
主要字段: 常微分方程(34-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

MRST-AD公司

26篇文献引用(2016–2023)
软件作者: Krogstad,S.、Lie,K.-A.、Möyner,O.、Nilsen,H.M.、Raynaud,X.、Skaflestad,B
相关软件: MRST;Matlab;MRST-co2lab…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

项目Q

16篇文献引用(2019–2024)
软件作者: Damian S.Steiger、Thomas Häner、Matthias Troyer
相关软件: qHiPSTER;液体;Python…
主要字段: 偏微分方程(35-XX);计算机科学(68-XX);量子理论(81-XX)…

衍生宝石

23篇文献引用(2002–2023)
软件作者: 约翰·C·赫尔。
相关软件: fminsearch;KapSyn公司;罚款…
主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);统计学(62-XX)…

盖泽博

19份文件引用(2006–2023)
软件作者: Koenig,N。;H·霍华德。
相关软件: 活性氧;MuJoCo;转子…
主要字段: 常微分方程(34-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

MPSalsa公司

24篇文献引用(1997–2010)
软件作者: 桑迪亚国家实验室
相关软件: 阿兹特克;阿兹特克OO;ARPACK…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

量子力学

18篇文献引用(2013年-2023年)
软件作者: 杰弗里·瑞恩
相关软件: R;量化风险管理;xts…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

TAU公司

13份文件引用(2007–2021)
软件作者: S.Shende;A.D.马洛尼
相关软件: HPCTOOLKIT;PETSc;Scalasca…
主要字段: 积分变换,运算微积分(44-XX);数值分析(65-XX);计算机科学(68-XX)…

商业智能

23篇文献引用(2004–2022)
软件作者: L.Brugnano、C.Magerini
相关软件: BiMD;LIMbook;RODAS…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

BliStr公司

22篇文献引用(2013年-2023年)
软件作者: J·厄本。
相关软件: E定理证明器;VAMPIRE公司;MaLARea…
主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)

NEFCLASS-X公司

16篇文献引用(1999–2015)
软件作者: 诺克·D。;克鲁斯,R。
相关软件: ANFIS;C4.5;UCI-ml…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

光电模拟

引用于9份文件(2002–2022)
软件作者: 威廉·H·贝尔。;大卫·G·卡梅隆(David G.Cameron)。;路易吉·卡波扎;Millar,A.Paul;库特·斯托金格(Kurt Stockinger);弗洛里亚诺·齐尼
相关软件: 网格模拟;Globus工具包;SIMGRID…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

收音机

22篇文献引用(2018–2024)
软件作者: 彼得·本纳(Peter Benner);兹沃尼米尔·布亚诺维奇;帕特里克·库什内尔(Patrick Kurschner);Jens Saak公司
相关软件: MESS;稀疏矩阵;莫拉布…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…

萨滕斯坦

引用于20份文件(2009–2023)
软件作者: KhudaBukhsh,Ashiqur R。;徐林;霍尔格·胡斯。;凯文·莱顿·布朗
相关软件: 帕拉米尔斯;irace;SMAC…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

Voom公司

21篇文献引用(2015–2023)
软件作者: Law,C.W.,Chen,Y.,Shi,W.,Smyth,G.K。
相关软件: 边缘R;生物导体;limma…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

修订版X

16篇文献引用(2015–2023)
软件作者: Naumov,M。;阿萨耶夫,M。;卡斯通盖,P。;科恩,J。;J·德茅斯。;伊顿,J。;Layton,S。;马尔科夫斯基,N。;Reguly,I。;Sakharnykh,N。;塞拉潘,V。;斯特佐德卡,R。
相关软件: CUDA;炒作;PETSc…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

约束拉索

21篇文献引用(2018–2024)
软件作者: 布莱恩·R·盖恩斯。;Kim,Juhyun;周,华
相关软件: R;古罗比;glmnet…
主要字段: 算子理论(47-XX);统计学(62-XX);数值分析(65-XX)…

FOMCON公司

引用于20份文件(2013–2022)
软件作者: A.Tepljakov、E.Petlenkov、J.Belikov
相关软件: 任天堂;克朗;Matlab…
主要字段: 实函数(26-XX);常微分方程(34-XX);统计学(62-XX)…

NuMVC公司

引用于20份文件(2013年-2023年)
软件作者: 蔡少伟;苏凯乐;罗川;阿卜杜勒·萨塔尔
相关软件: CCLS;CCASat;irace…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

太阳能

19份文件引用(1993–2022)
软件作者: Hidetomo Nabeshima、Koji Iwanuma、Katsumi Inoue、Oliver Ray
相关软件: E定理证明器;SPASS;SCIFF…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

SymmSpin公司

15篇文献引用(2000年-2010年)
软件作者: 博什纳奇奇,德拉甘作者简介;Dams,Dennis;莱泽克·霍伦德斯基
相关软件: 自旋蛋白;TopSpin;茂物…
主要字段: 数学逻辑与基础(03-XX);群论与推广(20-XX);计算机科学(68-XX)

美国心脏协会

引用于20份文件(2022–2024)
软件作者: 赵卫国;王丽英;塞耶达利·米尔贾利利
相关软件: WOA;GWO;GSA…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

BrainNet查看器

18篇文献引用(2018–2024)
软件作者: 夏明,王杰,何毅。
相关软件: 大脑连接工具箱;Matlab;连接…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);动力系统和遍历理论(37-XX)…

18篇文献引用(2006–2018)
软件作者: 泰杰·豪卡斯(Terje Haukaas);亚美尼亚语(Armen Der Kiureghian)
相关软件: Matlab;UQLab;Allaire_Scilab…
主要字段: 变异微积分和最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

FIESTA第三届

18篇文献引用(2014–2023)
软件作者: A.V.斯米尔诺夫。
相关软件: 嘉年华;12月第二节;LiteRed…
主要字段: 代数几何(14-XX);凸和离散几何(52-XX);数值分析(65-XX)…

GPGPU公司

在14份文件中引用(2006–2018)
软件作者: Luebke,D.,Harris,M.,Govindaraju,N.,Lefohn,A.,Houston,M。
相关软件: CUDA;OpenACC;OpenCL…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

HP90型

引用于20份文件(1995–2017)
软件作者: Demkowicz,L。;Gerdes,K。;施瓦布,C。;Bajer,A。;T·沃尔什。
相关软件: 3Dhp90;2Dhp90;PLAPACK…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

MaxSolver(最大解算器)

19份文件引用(2005–2013)
软件作者: 赵星、张伟雄
相关软件: 糠;MiniMaxSat;MiniSat…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…

MCMAS-SLK公司

19份文件引用(2014–2021)
软件作者: 乔马克,P。;Lomuscio,A。;莫加维罗,F。;A.穆拉诺。
相关软件: MCMAS;摩卡;鹰…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

波茨拉布

19份文件引用(2014–2023)
软件作者: 马丁·斯托拉斯(Martin Storath);安德烈亚斯·温曼
相关软件: BSDS;U-Net;AS 136…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

相思树+

18篇文献引用(2014–2023)
软件作者: Bohy,A.,Bruyère,V.,Filiot,E.,Jin,N.,Raskin,J.F。
相关软件: 不偏不倚;条纹;BoSy…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

找不同

17篇文献引用(2008–2022)
软件作者: 萨德克·本萨勒姆;马吕斯·博兹加;Nguyen,Thanh-Hung;约瑟夫·西法基斯
相关软件: 莫纳;里奥;隔间…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

味噌

19份文件引用(2016–2023)
软件作者: 朱利安·米勒
相关软件: NOMAD公司;EGO;DFL…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

ModLeanTAP模式

19份文件引用(1998–2019)
软件作者: 贝恩哈德·贝克特;拉杰夫·戈尔
相关软件: 精益TAP;Coq;MSPASS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

佩特索2

19份文件引用(2005–2021)
软件作者: 亚历克斯·穆里略(Alex Murillo);维拉,J.费尔南多;威廉·J·海瑟。
相关软件: 禁忌搜索;塔克3-HICLAS;J均值…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…

TXL(热膨胀)

13份文件引用(2005–2022)
软件作者: 詹姆斯·科迪。
相关软件: Stratego;ASF+SDF;JastAdd…
主要字段: 计算机科学(68-XX)

HSL_MI28型

17篇文献引用(2014–2024)
软件作者: J.斯科特、Tůma、M。
相关软件: 稀疏矩阵;HSL;HSL_MA97…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…

赛车X

16篇文献引用(2008–2022)
软件作者: 恩格尔,D.,阿什克拉夫特,K
相关软件: 橡皮擦;继电器;洛克史密斯…
主要字段: 计算机科学(68-XX);系统论;对照(93-XX)

ArcAngel公司

在14份文件中引用(2003–2023)
软件作者: 马塞尔·奥利维拉(Marcel Oliveira);安娜·卡瓦尔坎蒂;吉姆·伍德科克
相关软件: 马戏团;Z;电源保护…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CCASat卫星

17篇文献引用(2013年-2023年)
软件作者: 蔡少伟;苏凯乐
相关软件: CCLS;CCAnr;NuMVC…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);动力系统和遍历理论(37-XX)…

FSAIPACK公司

17篇文献引用(2015–2022)
软件作者: C.Janna、M.Ferronato、F.Sartoretto、G.Gambolia
相关软件: 稀疏矩阵;BFSAI-IC;ILUT…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

竖琴

15篇文献引用(1990–2020)
软件作者: Opacher,F。;苏恩,E
相关软件: SETHEO公司;TPTP;3TAP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ASTA公司

16篇文献引用(1990–2009)
软件作者: 托马斯·赫尔斯特罗姆
相关软件: Matlab公司
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

CFX-5型

16篇文献引用(2005–2016)
软件作者: 罗兰德·瓦什内尔(Roland Wüchner);亚历山大·库普佐克(Alexander Kupzok);凯乌·布莱辛格
相关软件: CARAT公司;ANSYS;FLUENT…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

国际博协

16篇文献引用(2005–2021)
软件作者: Y.利巴。
相关软件: BARON公司;数字;COCONUT…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

狐猴

1份文件引用(2003)
软件作者: Paul Ogilvie、James P.Callan
相关软件: 奥卡皮;询问;Maven…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件