单一 引用于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)…
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)
火柴盒 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份文件引用(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)…