表格 422篇文献引用(1993–2024) 软件作者: Kuipers,J。;上田,T。;Vermaseren,J.A.M。;J.沃林加。 相关软件: 粉碎机;雷杜泽;Axodraw… 主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);量子理论(81-XX)…
兰德NLA 35篇文献引用(2017–2024) 软件作者: 德里尼亚斯,P。;马奥尼,M.W。 相关软件: 张量工具箱;rsvd;ARPACK… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
皮恩 8份文件引用(2011–2021) 软件作者: A.P.Davison、D.Brüderle、J.Eppler、J.Kremkow、E.Muller、D.Pecevski、L.Perrinet、P.Yger 相关软件: 巢穴;神经元;布莱恩… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
SimNet公司 在16份文件中引用(2022–2024) 软件作者: 奥利弗·亨尼格、苏希拉·纳拉辛汉、穆罕默德·阿明·纳比安、阿克沙·苏布拉曼尼姆、考斯图布·坦萨利、马克斯·里特曼、何塞·德尔·阿吉拉·费兰迪斯、旺敏·拜翁、方志伟、桑杰·乔德利 相关软件: DeepXDE;hp-VPINN;DeepONet;…(D)… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
瞪羚 12份文件引用(2020–2024) 软件作者: Chiraag Juvekar、Vinod Vaikuntanathan、Anantha Chandrakasan 相关软件: TFHE;ABY;MP-SPDZ… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
高功率激光器 7份文件引用(2017–2023) 软件作者: Petitet A、Whaley RC、Dongarra J、Cleary A 相关软件: 林帕克;mctoolbox;库达… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
occam-pi型 6篇文献引用(2005–2021) 软件作者: 彼得·H·韦尔奇。;弗雷德里克·巴恩斯。 相关软件: 皮克特;韩国石油公司;Boids… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
PoCaB公司 7份文件引用(2012–2015) 软件作者: 萨马尔、萨蒂亚·斯瓦鲁普;埃拉米、哈桑;安德烈亚斯·韦伯 相关软件: 生物模型;多品牌;z3… 主要字段: 代数几何(14-XX);常微分方程(34-XX);数值分析(65-XX)…
探测网KAT 7份文件引用(2017–2022) 软件作者: 斯莫尔卡、斯特芬;普拉文·库马尔(Praveen Kumar);Nate Foster;德克斯特·科赞;亚历山德拉·席尔瓦 相关软件: NetKAT;棱镜;QPL… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);测量和集成(28-XX)…
ATISBAT公司 5份文件引用(2017–2023) 软件作者: 加布里埃尔·阿奎列拉·维内加斯(Gabriel Aguilera-Venegas);Galán-García,JoséL。;恩里克·梅里达·卡塞梅罗;罗德里格斯·西埃洛斯,佩德罗 相关软件: ATISMART公司;马克西玛;枫树… 主要字段: 复变量函数(30-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
Polynome公司 6篇文献引用(2010–2017) 软件作者: 迪米特洛娃,埃琳娜;加西亚·普恩特(García-Puente),路易斯·戴维(Luis David);弗兰齐斯卡·辛克尔曼;阿卜杜勒·贾拉。;莱因哈德·劳本巴赫;布兰迪林·斯蒂格勒;迈克尔·斯蒂尔曼;维拉·利科纳,保拉 相关软件: ADAM;麦考利2号;SageMath… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
RTNI公司 4份文件引用(2019–2021) 软件作者: 福田本久(Motohisa Fukuda)、罗伯特·柯尼格(Robert Koenig)、伊恩·内奇塔(Ion Nechita) 相关软件: IntHaar;蟒蛇;数学… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);概率论与随机过程(60-XX)…
AODV公司 4份文件引用(2014–2016) 软件作者: 蒂莫西·波克;彼得·霍夫纳 相关软件: HOL/SPIN;伊莎贝尔/马戏团;Isabelle/HOL… 主要字段: 计算机科学(68-XX)
ATISMART公司 4份文件引用(2015–2023) 软件作者: JoséL.Galán-García、Gabriel Aguilera-Venegas、Pedro Rodríguez-Cielos 相关软件: ATISBAT;马克西玛;枫树… 主要字段: 组合数学(05-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
国际NA 4份文件引用(2015–2018) 软件作者: Thomas,P.、Matuschek,H.、Grima,R。 相关软件: 小脑;工具箱2;Matlab… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
多路复用 1份文件引用(2021) 软件作者: 安东尼奥·里维罗·奥斯托克 相关软件: R;穆克斯维兹;RSiena… 主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
自动HOOT 1份文件引用(2022) 软件作者: 马林健、叶嘉玉、埃德加·索洛莫尼克 相关软件: 数字Py;皮曼诺普;DiffSharp… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);微分几何(53-XX);数值分析(65-XX)
DyNetiKAT公司 2份文件引用(2022) 软件作者: 乔治亚娜·卡尔泰斯;侯赛因霍贾特;穆萨维、穆罕默德·雷扎;昆卡罐Tunç 相关软件: NetKAT;蟒蛇;莫德… 主要字段: 计算机科学(68-XX)
多步控制 2份文件引用(2020–2021) 软件作者: 路易斯·索尔多·维埃拉;Laubenbacher,Reinhard C。;大卫·默鲁加拉 相关软件: CANA;github;亚当… 主要字段: 生物学和其他自然科学(92-XX);系统论;控制(93-XX)
南希 2份文件引用(2023) 软件作者: 拉斐尔·齐波;乔瓦尼·斯特亚 相关软件: DiscoDNC;COINC公司;科雷利… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)
SRUMMA公司 2份文件引用(2008–2010) 软件作者: 马诺伊库马尔·克里希南(Manojkumar Krishnan)、贾里克·尼普洛查(Jarek Nieplocha) 相关软件: MATLAB实验;mftoolbox;PUMMA… 主要字段: 计算机科学(68-XX);量子理论(81-XX)
浮点X 1份文件引用(2019) 软件作者: 戈兰·弗莱加;Florian Scheidegger;韦德兰的诺瓦科维奇;Giovani Mariani;Tomás,Andrés E。;马洛西,A.克里斯蒂亚诺一世。;恩里克·金塔纳·奥尔蒂。 相关软件: 立方体;乳胶;银杏… 主要字段: 数值分析(65-XX)
学习GB价值模型 1份文件引用(2023) 软件作者: Jelena Mojsilović;迪伦·佩弗(Dylan Peifer);索尼娅·彼得罗维奇 相关软件: 麦考利2号;4钛2 主要字段: 交换代数(13-XX);代数几何(14-XX);统计学(62-XX)
RCDC公司 1份文件引用(2013年) 软件作者: Navarrete,I.、Morales,A.、Sciavicco,G.、Cardenas,M。 相关软件: XPath(XPath) 主要字段: 计算机科学(68-XX)
RNAExp编号 1份文件引用(2018) 软件作者: 彼得·克洛特(Peter Clote);阿米尔·巴耶根。 相关软件: NNDB;维也纳RNA;MODENA… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…