×

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

表格

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)

AWN公司

2份文件引用(2014–2016)
软件作者: 蒂莫西·布鲁克
相关软件: 伊莎贝尔/马戏团;Isabelle/jEdit;TPTP…
主要字段: 计算机科学(68-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)

SiLVer公司

2份文件引用(2019–2021)
软件作者: 奥拉特,C。
相关软件:
主要字段: 计算机科学(68-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)

克罗内克.jl

在0个文档中引用
软件作者: Michiel Stock、T.Pahikkala、A.Airola、B.Baets
相关软件: 算法993;JAX;朱莉娅…
主要字段:

学习GB价值模型

1份文件引用(2023)
软件作者: Jelena Mojsilović;迪伦·佩弗(Dylan Peifer);索尼娅·彼得罗维奇
相关软件: 麦考利2号;4钛2
主要字段: 交换代数(13-XX);代数几何(14-XX);统计学(62-XX)

妈咪

1份文件引用(1997)
软件作者: 霍尔格·诺恩多夫
相关软件: 单兵携带防空系统
主要字段: 计算机科学(68-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)…

WNetKAT公司

1份文件引用(2017)
软件作者: 拉森,金·G。;施密德,斯特凡;薛炳添
相关软件: 荨麻;梅林;VeriFlow…
主要字段: 计算机科学(68-XX)

有趣的事实

在0个文档中引用
软件作者: 唐玉红;伊丽莎维塔·雷布罗瓦
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段