×

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

单一

引用于1650份文件(1991–2024)
软件作者: Wolfram Decker;格特·马丁·格雷尔(Gert-Martin Greuel);格哈德·普菲斯特;汉斯·舍尼曼
相关软件: 麦考利2号;可可;SageMath…
主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)…

Z树

695份文件引用(2001–2023)
软件作者: 菲施巴赫大学。
相关软件: 奥赛;hroot;状态…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

背包

539份文件引用(1995–2024)
软件作者: 戴维·皮辛格(David Pisinger);保罗·托斯
相关软件: CPLEX;默克纳普;OR-库…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

特里利诺斯

425篇文献引用(2003–2024)
软件作者: Trilinos贡献者
相关软件: PETSc;交易.ii;ML…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)…

XFEM公司

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

并入PT_90

310份文件引用(1996–2023)
软件作者: R.Baker Kearfott先生
相关软件: 国际实验室;C-XSC;个人资料/偏见…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

Z轴

237篇文献引用(1958–2023)
软件作者: 吉姆·伍德科克;吉姆·戴维斯
相关软件: 马戏团;电源保护;罗丹…
主要字段: 总体主题;藏品(00-XX);数理逻辑与基础(03-XX);数论(11-XX)…

克洛诺斯

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

CoSaMP公司

267篇文献引用(2009年-2023年)
软件作者: Needell,D。;特罗普,J.A。
相关软件: PDCO;SPGL1;CVX…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

ADIFR公司

254篇文献引用(1992–2023)
软件作者: 克里斯蒂安·比肖夫(Christian Bischof);艾伦·卡尔;乔治·柯利斯(George Corliss);安德烈亚斯·格雷万克
相关软件: ADOL-C;ADIC;锥体…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

DeepONet(深度网络)

214篇文献引用(2020–2024)
软件作者: 陆璐、金鹏展、乔治·埃姆·卡尼亚达克斯
相关软件: 亚当;DGM;DeepXDE…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

冲浪

141份文件引用(2008–2023)
软件作者: 赫伯特·贝;Tinne Tuytelaars公司;吕克·范古尔
相关软件: SIFT;PCA-偏移;BRISK…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

快速排序

179份文件引用(1962–2023)
软件作者: C.A.R.霍尔。;Sedgewick,右
相关软件: 查找;heapsort;算法347…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

CESAR公司

160篇文献引用(1982–2023)
软件作者: Queille,J.P。;J.西法基斯。
相关软件: 自旋蛋白;SLAM;Uppaal…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

PYTHIA8公司

154份文件引用(2006–2023)
软件作者: T.Sjöstrand、S.Mrenna、P.Z.Skands
相关软件: MadGraph;赫维格++;FastJet…
主要字段: 数值分析(65-XX);量子理论(81-XX);统计力学,物质结构(82-XX)…

FPIN编号

129篇文献引用(2019–2024)
软件作者: 庞国飞、陆璐、乔治·埃姆·卡尼亚达基斯
相关软件: DeepXDE;亚当;DGM…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

开放式基金

95篇文献引用(2008–2024)
软件作者: Breunig,M.、Kriegel,H.、Ng,R.、Sander,J。
相关软件: UCI-ml;奥尔卡;IsolationForest…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

宝石

107篇文献引用(1990–2024)
软件作者: 亚历克谢·契维亚科夫
相关软件: 枫树;SYMMGRP;裂缝…
主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);可变形固体力学(74-XX)…

普林斯

104篇文献引用(2012–2023)
软件作者: 朱莉娅·博格霍夫(Julia Borghoff);Canteaut,Anne;G“uneysu,Tim;Kavun,Elif Bilge;Knezevic,Miroslaf;Knudsen,Lars R.;Leander,Gregor;Nikov,Ventzislav;Paar,Christof;Rechberger,Christian;Rombouts,Peter;Thomsen,S{o} 任美国。;雅克{c}{i} n个、托尔加
相关软件: 出席;西蒙;短笛…
主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…

HypE公司

94份文件引用(2010–2023)
软件作者: Bader,J.、Zitzler,E。
相关软件: MOEA/D;SPEA2;SMS-EMOA…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

Gecode公司

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

铲刀

60篇文献引用(2001–2023)
软件作者: 穆罕默德·扎基。
相关软件: PrefixSpan;坐浴盆;CloSpan…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

卡拉卡拉

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

切片机

91份文件引用(1999–2023)
软件作者: 彼得·本纳(Peter Benner);沃尔克·梅尔曼;西玛,瓦西里;范·赫菲尔(Sabine Van Huffel);安德拉斯·瓦尔加
相关软件: LAPACK;Matlab;mctoolbox…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

SiZer公司

88篇文献引用(1999–2023)
软件作者: Probal Chaudhuri;马龙,J.S。
相关软件: KernSmooth;fda(R);R、 …
主要字段: 统计学(62-XX);数值分析(65-XX);地球物理学(86-XX)…

ADIC公司

83份文件引用(1996–2023)
软件作者: Howland,P。;诺里斯,B。;B.史密斯。
相关软件: ADIFR;ADOL-C;PETSc…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

PointNet(点网)

68篇文献引用(2018–2024)
软件作者: Charles R.Qi、Hao Su、Kaichun Mo、Leonidas J.Guibas
相关软件: 亚当;ImageNet;OctNet…
主要字段: 近似和展开(41-XX);统计学(62-XX);数值分析(65-XX)…

粉碎机

77份文件引用(1991–2023)
软件作者: S.G.Gorishny;S.A.Larin公司;L.R.Surguladze;F.V.特卡乔夫
相关软件: 表格;雷杜泽;MATAD…
主要字段: 特殊功能(33-XX);偏微分方程(35-XX);计算机科学(68-XX)…

TAMC公司

72份文件引用(1998–2021)
软件作者: Giering,Ralf;托马斯·卡明斯基
相关软件: TAF;ADIFR;ADOL-C…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

里帕克

67篇文献引用(1987年-2023年)
软件作者: W.F.Arnold;艾伦·J·劳布
相关软件: 算法432;Matlab;LAPACK…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);算子理论(47-XX);变分法与最优控制;优化(49-XX)…

线圈-100

56篇文献引用(2002–2024)
软件作者: Nene,S.、Nayar,S.和Murase,H。
相关软件: 线圈-20;MNIST;SIFT…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

AntNet公司

在48份文件中引用(1998–2015)
软件作者: Di Caro,G。;M.多里戈。
相关软件: AntHocNet;MACS-VRPTW;HAS-停止…
主要字段: 历史与传记(01-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

持久性图像

59篇文献引用(2016–2023)
软件作者: 亨利·亚当斯、索菲亚·切普斯塔诺娃、特根·爱默生、埃里克·汉森、迈克尔·柯比、弗朗西斯·莫塔、雷切尔·内维尔、克里斯·彼得森、帕特里克·希普曼、洛里·齐格尔梅尔
相关软件: github;Scikit;Gudhi…
主要字段: 代数拓扑(55-XX);概率论与随机过程(60-XX);统计学(62-XX)…

生物CHAM

52篇文献引用(2005–2024)
软件作者: Chabrier,N.、Fages,F.、Soliman,S。
相关软件: 生物-PEPA;棱镜;政治公众人物协议…
主要字段: 数理逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

PolyBoRi公司

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

三角形

在48份文件中引用(1997–2022)
软件作者: 丹尼斯,J.E。;Heinkenschloss,Matthias;吕维森特{i} 秒N。
相关软件: 兰斯洛特;Ipopt;SNOPT…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

嘲弄

37篇文献引用(2005–2023)
软件作者: 朱莉娅·汉德尔(Julia Handl);约书亚·诺尔斯
相关软件: UCI-ml;集群发现;剪影…
主要字段: 偏微分方程(35-XX);统计学(62-XX);计算机科学(68-XX)…

常春藤

45篇文献引用(2000–2023)
软件作者: 威廉·麦库恩;奥尔加·舒姆斯基
相关软件: 常春藤;z3;TPTP…
主要字段: 数理逻辑与基础(03-XX);群论与推广(20-XX);计算机科学(68-XX)

米多里

46篇文献引用(2015–2023)
软件作者: 巴尼克,Subhadeep;安德烈·博格达诺夫;Isobe,Takanori;石堤、京记;Hiwatari,Harunaga;秋田,Toru;弗朗西斯科·雷加佐尼
相关软件: 王子;极瘦的;存在…
主要字段: 组合数学(05-XX);数论(11-XX);代数几何(14-XX)…

MinRes公司

44篇文献引用(2012–2023)
软件作者: 迈克尔·科尔姆鲍尔
相关软件: FEniCS;IFISS;AGMG…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

p1afem公司

44篇文献引用(2011–2022)
软件作者: 斯特凡·丰肯;德克·普雷托利乌斯;菲利普·威斯哥特
相关软件: Matlab;na14;iFEM…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

潮汐

44篇文献引用(2009年-2023年)
软件作者: A.Abad、R Barrio、F.Blesa、M.Rodriguez
相关软件: 泰勒;ATOMFT;杆…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

颤动突变

43篇文献引用(2008–2023)
软件作者: 伯恩哈德·凯勒
相关软件: 颤抖;岩浆;OEIS…
主要字段: 组合数学(05-XX);交换代数(13-XX);结合环与代数(16-XX)…

TOMP公司

39篇文献引用(1994–2024)
软件作者: 卡夫,D。
相关软件: NLopt;DFVLR-SQP;R、 …
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

NLPQLP公司

42篇文献引用(2000–2023)
软件作者: K希特科夫斯基
相关软件: NLPQL;QL;MISER3…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

丹宁色

31份文件引用(1999–2022)
软件作者: 胡塔拉,伊卡;Kärkkäinen,朱哈;Porkka、Pasi;汉努·托沃宁
相关软件: FastFD;UCI-ml;MS SQL Server…
主要字段: 阶、格、有序代数结构(06-XX);统计学(62-XX);计算机科学(68-XX)

xPerm(xPerm)

37篇文献引用(2008–2023)
软件作者: 何塞·马丁·加西亚
相关软件: x法案;xTras;因瓦…
主要字段: 代数几何(14-XX);微分几何(53-XX);整体分析,流形分析(58-XX)…

独立性测试

37篇文献引用(2009年-2023年)
软件作者: P Lafaye de Michoaux,M Bilodeau
相关软件: R;TwoCop;能源…
主要字段: 近似和展开(41-XX);功能分析(46-XX);概率论与随机过程(60-XX)…

PARPAP公司

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

流氓波

39篇文献引用(2018–2024)
软件作者: 丹尼斯·比尔曼;凌利明;彼得·米勒。
相关软件: DLMF;RHPackage公司;OEIS…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

ASIFT公司

34份文件引用(2009–2022)
软件作者: Jean-Michel Morel,余国深
相关软件: SIFT;冲浪;PCA-SIFT…
主要字段: 微分几何(53-XX);数值分析(65-XX);计算机科学(68-XX)…

CVODES公司

36篇文献引用(2003–2023)
软件作者: 塞尔维亚人;A.C.欣德马什
相关软件: 日晷;ADIC;ADOL-C…
主要字段: 常微分方程(34-XX);统计学(62-XX);数值分析(65-XX)…

RRK_rr(R)

37篇文献引用(2019–2024)
软件作者: 戴维·凯奇森。
相关软件: github;罗德斯;朱莉娅…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);积分变换,运算微积分(44-XX)…

海绵状的

35篇文献引用(2011–2024)
软件作者: Bogdanov,A.,Kneíević,M.,Leander,G.,Toz,D.,Varíc,K.,Verbauwhede,I。
相关软件: 出席;凯卡克;金利…
主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…

Autograd公司

25篇文献引用(2017–2024)
软件作者: 道格尔·麦克劳林;David Duvenaud;马特·约翰逊
相关软件: TensorFlow;PyTorch;Theano…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…

MRG32k3a型

34份文件引用(1999–2023)
软件作者: 皮埃尔·L’ecuyer
相关软件: 测试U01;MersenneTwister;RngSteam…
主要字段: 数论(11-XX);统计学(62-XX);数值分析(65-XX)…

AHFinder直接

35篇文献引用(2004–2023)
软件作者: 乔纳森·桑伯格
相关软件: 仙人掌;地毯;帕拉梅什…
主要字段: 微分几何(53-XX);粒子和系统力学(70-XX);量子理论(81-XX)…

违约

32篇文献引用(2011–2022)
软件作者: 亚历山大·唐泽
相关软件: S-TaLiRo;流量*;SpaceEx…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

脱咖啡因咖啡

31份文件引用(2014–2022)
软件作者: J.Donahue、Y.Jia、O.Vinyals、J.Hoffman、N.Zhang、E.Tzeng、T.Darrell
相关软件: ImageNet;AlexNet;咖啡…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

建模师

19份文件引用(2005年至2021年)
软件作者: AndrejŠali等人。
相关软件: 爆炸;PSI-爆炸;PROCHECK…
主要字段: 组合数学(05-XX);几个复变量与解析空间(32-XX);统计学(62-XX)…

TAUCS公司

28篇文献引用(2002–2023)
软件作者: 西万·托莱多;Doron Chen;弗拉基米尔·罗斯金
相关软件: MUMPS;METIS公司;PETSc…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

布洛佩克斯

31份文件引用(2007–2023)
软件作者: Knyazev,A.V.公司。;阿根塔蒂,M.E。;拉舒克,I。;奥夫钦尼科夫,E.E。
相关软件: lobpcg.m;JDQZ;JDQR…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…

斯科特

31份文件引用(2016–2023)
软件作者: 马蒂亚斯·伦格;马吉德·扎马尼
相关软件: PESSOA;科西马;p面…
主要字段: 数理逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

阿达欣

引用于27份文件(2017–2023)
软件作者: 何海波,杨白,爱德华·A·加西亚,李书涛
相关软件: SMOTE;MWMOTE公司;SMOTEBoost…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

内核-叶

31份文件引用(1989–2013)
软件作者: 埃利奥·乔瓦内蒂;乔治·列维;Corrado Moiso;帕拉米德斯猫
相关软件: 巴贝尔;玩具;咖喱…
主要字段: 计算机科学(68-XX)

BLOOMP公司

29篇文献引用(2012–2023)
软件作者: 范江,阿尔伯特;廖文静
相关软件: PDCO;CoSaMP;FPC_AS…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);欧氏空间(42-XX)的调和分析;数值分析(65-XX)…

奥德萨

29篇文献引用(1988–2021)
软件作者: J.R.Leis和M.A.Kramer
相关软件: AUTO-86;CVODES;LSODE…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

OFMC公司

25篇文献引用(2005–2022)
软件作者: 塞巴斯蒂安·莫德谢姆,卢卡·维甘诺
相关软件: AVISPA;NRL;Casper…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

LUBM公司

18篇文献引用(2006–2022)
软件作者: 郭毅,潘振中,赫夫林J。
相关软件: SPARQL;耶拿;DBpedia…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

火柴盒

24篇文献引用(2005–2023)
软件作者: J·沃尔德曼。
相关软件: AProVE;蒂罗尔;哈斯克尔…
主要字段: 数理逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…

相场复合材料

26篇文献引用(2018–2024)
软件作者: 杰里米·布莱耶(Jeremy Bleyer);罗伯托·阿莱西
相关软件: FEniCS;阿巴夸斯;SyFi…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

森金

23篇文献引用(1997–2022)
软件作者: A.E.卢茨。;R.J.Kee。;J.A.米勒。
相关软件: CHEMKIN公司;运输;GRI-科技3.0…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);流体力学(76-XX)…

TBSIM公司

25篇文献引用(2008–2024)
软件作者: Emery X、Lantuejoul C
相关软件: GSLIB;DLMF;算法1013…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

加农尼克

24篇文献引用(1987–2018)
软件作者: D.W.兰德。
相关软件: 分裂;SYMMGRP公司。最大值;diffgrob2…
主要字段: 非结合环与代数(17-XX);常微分方程(34-XX);偏微分方程(35-XX)…

COSTA公司

22篇文献引用(1992–2020)
软件作者: 埃尔维拉·阿尔伯特(Elvira Albert)、普里·阿雷纳斯(Puri Arenas)、萨米尔·吉纳伊姆(Samir Genaim)、杰尔曼·普埃布拉(Germanán Puebla)、达米亚诺·扎纳尔迪尼
相关软件: 速度;AProVE;参考…
主要字段: 数理逻辑与基础(03-XX);组合数学(05-XX);偏微分方程(35-XX)…

打开AD/F

引用于23份文件(2007–2022)
软件作者: Jean Utke;乌韦·诺曼;Mike Fagan;内森·塔伦特;米歇尔·米尔斯(Michelle Mills),斯特劳特(Strout);帕特里克·亨巴赫(Patrick Heimbach);希尔,克里斯;卡尔·温施
相关软件: 锥体;ADIFR;ADOL-C…
主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)…

顶帽

21篇文献引用(2011–2022)
软件作者: Kim D、Pertea G、Trapnell C等人
相关软件: 生物导体;边缘R;R、 …
主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);统计学(62-XX)…

电子电话

18篇文献引用(2003–2019)
软件作者: M Tomita、K Hashimoto、K Takahashi、T S Shimizu、Y Matsuzaki、F Miyoshi、K Saito S Tanida、K Yugi、J C Venter;C A和记黄埔
相关软件: GEPASI;KEGG;虚拟单元格…
主要字段: 数理逻辑与基础(03-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

GBNP公司

23篇文献引用(2004–2021)
软件作者: A.M.Cohen、J.W.Knopper
相关软件: 间隙;伯格曼;奇异…
主要字段: 交换代数(13-XX);代数几何(14-XX);结合环与代数(16-XX)…

OptNet公司

20篇文献引用(2018–2024)
软件作者: 布兰登·阿莫斯,J.齐科·科尔特
相关软件: PyTorch;亚当;TensorFlow…
主要字段: 变分法与最优控制;优化(49-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

拓扑_多重

23篇文献引用(2014–2022)
软件作者: 鲁霍拉·塔瓦科利
相关软件: 顶部.m;Matlab;顶部88微米…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

AMFlow公司

21篇文献引用(2022–2024)
软件作者: 小刘、马燕青
相关软件: LiteRed;差异支出;FiniteFlow…
主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…

hgm R公司

21篇文献引用(2011–2022)
软件作者: 中山弘;肯塔州西山;马赛尤基·诺罗;Katsuyoshi Ohara;Sei,Tomonari;高山、Nobuki;赤池竹村
相关软件: Risa/Asir;DLMF;R、 …
主要字段: 结合环与代数(16-XX);几个复变量与解析空间(32-XX);特殊功能(33-XX)…

Hondo公司

22篇文献引用(1974–1992)
软件作者: 键,S.W。;贝辛格,Z.E。;R·D·克里格。
相关软件: DYNA3D;Nike2D;LS-DYNA…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

PCOMP公司

21篇文献引用(1991–2023)
软件作者: 多布曼,M。;Liepelt,M。;希特科夫斯基,K。
相关软件: PDEFIT;易于安装;ADOL-C…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

PetRBF公司

21篇文献引用(2010–2023)
软件作者: R.Yokota、L.Barba、M.G.Knepley
相关软件: Matlab;H2Lib;PETSc…
主要字段: 近似和展开(41-XX);数值分析(65-XX);流体力学(76-XX)…

重新规范

13份文件引用(2001–2022)
软件作者: 乔瓦尼·西亚托;斯特凡诺·马里亚尼;安德烈亚·奥米西尼
相关软件: 琳达;TuCSoN;莫德…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)

TMSmesh公司

22篇文献引用(2013–2022)
软件作者: 陈明、陆斌。
相关软件: APBS;MIBPB;tabipb…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

FOMCON公司

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

税收

15篇文献引用(2001–2017)
软件作者: 艾蒂安·克劳斯;米歇尔·波伊泽(Michel Poize);雅克·普劳(Jacques Pulou);约瑟夫·西法基斯(Joseph Sifakis);帕特里克·文特
相关软件: Uppaal;克罗诺斯;艾菲尔…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)

vZ(虚拟Z)

21篇文献引用(2015–2023)
软件作者: N.Björner、A.-D.Phan、L.Fleckenstein
相关软件: z3;OptiMathSAT;SYMBA…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

制造

17篇文献引用(2016–2024)
软件作者: 马修·日尔曼(Mathieu Germain)、卡罗尔·格雷戈(Karol Gregor)、伊恩·默里(Iain Murray)、雨果·拉罗谢尔(Hugo Larochelle)
相关软件: 辉光;不错;UCI-ml…
主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);统计学(62-XX)…

猛禽

15篇文献引用(2002–2021)
软件作者: 徐,J。;李,M。;林·G。;Kim,D。;徐,Y。
相关软件: GenThreader;CPLEX;爆炸…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

TorX公司

16篇文献引用(2005年至2021年)
软件作者: 亨利克·博恩坎普(Henrik Bohnenkamp);埃克塞尔·贝林芬特
相关软件: JTorX;SpecExplorer;STG…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

检查围栏

18篇文献引用(2007–2018)
软件作者: Burckhardt,S.,Alur,R.,Martin,M.K。
相关软件: veriSoft;自旋蛋白;UMM…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)

味噌

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

网络工具包

19份文件引用(2015–2024)
软件作者: Christian L.Staudt、Aleksejs Sazonovs、Henning Meyerhenke
相关软件: SNAP;科内克特;NetworkX…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

伪光谱

19份文件引用(2002年至2022年)
软件作者: M.Embree和L.N.Trefethen
相关软件: Eigtool;mctoolbox;ARPACK…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);功能分析(46-XX);算子理论(47-XX)…

TuCSoN公司

7份文件引用(2001–2018)
软件作者: 安德里亚·奥米奇尼;弗朗科·赞博内利
相关软件: 琳达;重新规范;石灰…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件