×

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

线性代数库

429份文件引用(1995–2024)
软件作者: 洛杉矶布莱克福德。;Choi,J。;克利里,A。;D’Azevedo,E。;德梅尔,J。;迪尔隆,I。;Dongarra,J。;Hammarling,S。;亨利·G。;佩蒂特,A。;斯坦利,K。;Walker,D。;R.C.惠利。
相关软件: LAPACK;BLAS;PLAPACK…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

113篇文献引用(2013–2022)
软件作者: 克里斯蒂安·索默
相关软件: 算法97;GraphChi;预凝胶…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

模仿者

34份文件引用(1996–2023)
软件作者: 埃蒂安·安德烈
相关软件: Uppaal;高科技;PPL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

政治公众人物

30篇文献引用(1993–2014)
软件作者: L.Baldo、L.Fernandes、P.Roisenberg、P.Velho、T.Webber
相关软件: 政治公众人物协议;智能_;GTAEXPRESS…
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…

签名

4份文件引用(2010–2018)
软件作者: 金,H.A.,卡普,B。
相关软件: 多谱仪;用鼻子哼哼;哈马斯…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);信息与通信理论,电路(94-XX)

我*

在11份文件中引用(2001–2004)
软件作者: 多伦多大学
相关软件: 安全UML;坦比斯;UEML…
主要字段: 计算机科学(68-XX)

口香糖

12份文件引用(1997–2016)
软件作者: Trinder,P.W.、Hammond,K.、Mattson,J.S.Jr.、Partridge,A.S.、Peyton Jones,S.L。
相关软件: 哈斯克尔;伊甸园;GHC…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

SNNS公司

9份文件引用(1996–2009)
软件作者: A.Zell、N.Mache、R.Huebner等人
相关软件: C4.5;UCI-ml;ElemStatLearn…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

分布式数据库

10篇文献引用(2006年至2021年)
软件作者: 兰志玲;瓦莱丽·泰勒(Valerie E.Taylor)。;李亚伟
相关软件: PETSc;帕拉梅什;ParFUM…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

JIDT公司

6篇文献引用(2018–2021)
软件作者: 约瑟夫·利泽尔、伊佩克·泽德米尔、佩德罗·梅迪亚诺
相关软件: TRENTOOL公司;蟒蛇;MuTE…
主要字段: 动力系统与遍历理论(37-XX);统计学(62-XX);运筹学,数学规划(90-XX)…

PSync(同步)

9份文件引用(2016–2023)
软件作者: 塞扎拉奥盖医生;托马斯·亨辛格(Thomas A.Henzinger)。;达米安·祖弗里
相关软件: 威尔第;常春藤;ByMC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

工具总线

7份文件引用(1995–2007)
软件作者: J.A.Bergstra;P.Klint先生
相关软件: 萨帕托;E定理证明器;CVC精简版…
主要字段: 计算机科学(68-XX)

VON公司

4份文件引用(2008–2014)
软件作者: 胡SY、陈建福、陈泰
相关软件: 三维三角测量;三角形;CGAL…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

GAMS模型

8份文件引用(2007–2020)
软件作者: GAMS游戏
相关软件: GAMS;林多;Matlab…
主要字段: 历史与传记(01-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

消防员

5份文件引用(2009–2018)
软件作者: 袁,L。;Mai,J。;苏,Z。;陈,H。;Chuah,C.N。;莫哈帕特拉,P。
相关软件: 马尔格雷夫;菲尔马托;HOL-TestGen…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

传感器DCSP

4份文件引用(2005–2020)
软件作者: 拉蒙贝加尔;卡梅尔·多姆什拉克;塞萨尔·费尔南德斯;卡拉·戈麦斯;Krishnamachari,巴斯卡尔;巴特·塞尔曼;瓦尔斯,马格达
相关软件: DisChoco;CSPLib;算法97…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

TinyOS公司

6篇文献引用(2008–2019)
软件作者: 安德鲁·道尔顿(Andrew R.Dalton)。;Sally K.Wahba。;斯拉文西·丹达穆迪;杰森·霍尔斯特罗姆。
相关软件: FDR3;项目B;AUTOSAR…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

GraphChi公司

5份文件引用(2016–2020)
软件作者: Aapo Kyrola;盖伊·布莱洛赫;卡洛斯·盖斯特林
相关软件: WebGraph;普雷格尔;HOGWILD…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

C-HEAP(C-堆)

3份文件引用(2002年至2006年)
软件作者: 安德烈·尼乌兰;Kang,Jeffrey;Om Prakash Gangwal;拉马纳桑塞图拉曼;娜塔利诺·巴萨;古森、基斯;拉斐尔·佩塞特·洛皮斯;保罗·利彭
相关软件:
主要字段: 计算机科学(68-XX)

卡利普索

4份文件引用(1997–2009)
软件作者: 乔瓦尼·塞萨里
相关软件:
主要字段: 数论(11-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)

Logoot公司

4份文件引用(2011–2022)
软件作者: Weiss,S.、Urso,P.、Molli,P。
相关软件: 伍基;伍特·哈斯克尔;wootjs…
主要字段: 计算机科学(68-XX)

MMG公司

1份文件引用(2019)
软件作者: Sanguinetti G、Noirel J、Wright PC公司
相关软件: sva;KLU;FATODE…
主要字段: 生物学和其他自然科学(92-XX)

OpTIX-II型

4份文件引用(1995–2007)
软件作者: 哈拉尔德·博登;曼弗雷德·格劳尔
相关软件: 电气;UTA Plus;M-MACBETH公司
主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX)

Blogel公司

3份文件引用(2018–2022)
软件作者: Yan,D.,Cheng,J.,Lu,Y.,Ng,W。
相关软件: 普雷格尔;全球定位系统;吉拉夫…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

CEASE公司

3份文件引用(2018–2024)
软件作者: 阿米尼,阿米尔;阿西夫,阿米尔;阿拉什·穆罕默德
相关软件: 莫塞克;YALMIP公司
主要字段: 运筹学、数学规划(90-XX);系统论;控制(93-XX)

CINSim公司

3份文件引用(2008–2016)
软件作者: Lüdtke,D。;图施,D。
相关软件: OMNet++;MLMIN;MINSimulate…
主要字段: 计算机科学(68-XX)

联合能力保障计划

1份文件引用(2002)
软件作者: 韦尔奇,P.H。;奥尔德斯,J.R。;J.福斯特。
相关软件: 马戏团;Z;韩国石油公司
主要字段: 计算机科学(68-XX)

JESS公司

3份文件引用(2020–2022)
软件作者: 卡尔坎,K。;阿勒泰,L。;Gür,G。;Alagöz,F。
相关软件: NetKAT;SGS;SDSNM…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

MoVES公司

3份文件引用(2008–2019)
软件作者: 卢西亚诺·博诺尼;Marco Di Felice;加布里埃尔·D’Angelo;米歇尔·布拉库托;洛伦佐·多纳蒂埃洛
相关软件: 使徒;Python PDEVS;GridSpice…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

模拟事件

2份文件引用(2009–2019)
软件作者: 迈斯沃克
相关软件: Matlab;UMDES;Simulink…
主要字段: 运筹学、数学规划(90-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)

自动HOOT

1份文件引用(2022)
软件作者: 马林健、叶嘉玉、埃德加·索洛莫尼克
相关软件: 数字Py;皮曼诺普;DiffSharp…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);微分几何(53-XX);数值分析(65-XX)

压铸

1份文件引用(2020)
软件作者: 迪瓦克·古普塔(Diwaker Gupta)、卡西·文卡特斯·维什瓦纳(Kashi Venkatesh Vishwanath)、马文·麦克奈特(Marvin McNett)、阿明·瓦达特(Amin Vahdat)、肯·尤库姆(Ken Yocum)、亚历克斯·斯诺伦(Alex Snoeren
相关软件: ASM;PeerSim;Coq…
主要字段: 计算机科学(68-XX)

MauveDB公司

2份文件引用(2012–2017)
软件作者: A.德什潘德;S.马登
相关软件: 酯类;电报CQ;FAUST2…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

NETMON公司

2份文件引用(1991–1994)
软件作者: 奥利弗·恩德里斯;迈克尔·斯坦布伦(Michael Steinbrunn);玛蒂娜·齐特巴特
相关软件:
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

NLProlog(NL序言)

2份文件引用(2021)
软件作者: 莱昂·韦伯(Leon Weber)、帕斯奎尔·米内尔维尼(Pasquale Minervini)、詹妮斯·穆奇迈耶(Jannes Münchmeyer)、乌尔夫·莱瑟(Ulf Leser)、蒂姆·罗克塔谢尔(Tim Rocktäschel
相关软件: DeepProbLog;TensorLog;PyTorch…
主要字段: 计算机科学(68-XX)

PiNN公司

在0个文档中引用
软件作者: 邵云琪(Yunqi Shao)、马蒂·赫尔斯特伦(Matti Hellström)、帕夫林·米特夫(Pavlin D.Mitev)、莉莎娜·尼杰夫(Lisanne Knijff)、张超(Chao Zhang)
相关软件: 蟒蛇;分子网;Chainer…
主要字段:

XDANNG公司

在0个文档中引用
软件作者: Hamidreza Mahini、Alireza Mahini、Javad Ghofrani
相关软件: 神经网络;N2电网
主要字段:

API网络

在0个文档中引用
软件作者: 阿方索·尼诺、卡梅利亚·穆尼奥斯·卡洛、塞巴斯蒂安·雷耶斯
相关软件: FSB分配器;网络X;帕杰克…
主要字段:

ASimJava软件

1份文件引用(2007)
软件作者: 安德烈·西科拉;埃瓦州Niewiadomska-Szynkiewicz
相关软件: SSF网;ns-2型
主要字段: 系统论;控制(93-XX)

BulkTree公司

1份文件引用(2006)
软件作者: 龚,安;丁桂光;戴、琼海;林,庄
相关软件:
主要字段: 计算机科学(68-XX)

BuzzPSS系统

1份文件引用(2020)
软件作者: Nuno Machado、Francisco Maia、Miguel Matos、Rui Oliveira
相关软件: ASM;PeerSim;Coq…
主要字段: 计算机科学(68-XX)

三元乙丙橡胶

1份文件引用(2007)
软件作者: 吕克·奥娜娜·阿利玛;斯特凡·博波特
相关软件:
主要字段: 计算机科学(68-XX)

EPOCHS公司

1份文件引用(2017)
软件作者: K.Hopkinson、X.Wang、R.Giovani、J.Thorp、K.Birman、D.Coury
相关软件:
主要字段: 光学、电磁理论(78-XX);信息与通信理论,电路(94-XX)

联邦数据网

在0个文档中引用
软件作者: 哈伦·本考哈;阿卜杜利、阿卜杜勒克里姆;Karima Bouyahia;亚斯米娜·卡隆
相关软件:
主要字段:

Femto缓存

1份文件引用(2013年)
软件作者: Karthikeyan Shanmugam、Negin Golrezaei、Alexandros G.Dimakis、Andreas F.Molisch、Giuseppe Caire
相关软件:
主要字段: 组合数学(05-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)

全球导航系统

在0个文档中引用
软件作者: 克里希纳·库马尔;约瑟夫·范塔塞尔
相关软件: TensorFlow;PyG;PyTorch…
主要字段:

网格香料

1份文件引用(2019)
软件作者: K.Anderson、J.Du、A.Narayan、A.E.Gamal
相关软件: 使徒;Python PDEVS;GTW…
主要字段: 运筹学、数学规划(90-XX)

GSO公司

1份文件引用(2017)
软件作者: Krishnanand N.凯帕。;德巴西什·古斯
相关软件: Matlab公司
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

约恩

1份文件引用(2015)
软件作者:
相关软件: 神经系统;Encog公司
主要字段: 统计学(62-XX);计算机科学(68-XX)

磁铁

1份文件引用(2002)
软件作者: 冯武春;马克·加德纳(Mark K.Gardner)。;杰弗里·海伊。
相关软件: 珊瑚礁;网格信息软件
主要字段: 计算机科学(68-XX)

OnGraX公司

1份文件引用(2017)
软件作者: 比约恩·齐默;安德烈亚斯·凯伦
相关软件: NodeTrix;KEGG;CoCoNutTrix…
主要字段: 组合数学(05-XX)

PicoGrid像素网格

1份文件引用(2019)
软件作者: Wittayasooporn,N。;Panichevaluk,A。;赵,Y。
相关软件:
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

QRnet(QRnet)

1份文件引用(2023)
软件作者: Tenavi Nakamura-Zimmerer、Qi Gong、Wei Kang
相关软件: 机器人优化;DeepONet;PPINN…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);系统论;控制(93-XX)

Swarm-Sync(群集同步)

1份文件引用(2019)
软件作者: Meetha V.Shenoy;阿努帕马K.R。
相关软件: DOSI;黄蜂;HC-ACO公司
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

呜呜声

1份文件引用(2022)
软件作者: 盖拉尔德·奥斯特;帕斯卡·乌尔索;帕斯卡·莫利;阿卜杜萨马德·伊明
相关软件: Logoot;伍基;woot-haskell…
主要字段: 计算机科学(68-XX)

p空间细胞

在0个文档中引用
软件作者: 宫崎Atsushi Miyauchi、岩本Kazunari Iwamoto、Satya Nanda Vel Arjunan、高桥光一
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件