×

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

XPIN编号

81篇文献引用(2020–2024)
软件作者: 胡哲远、阿米娅·贾格塔普、乔治·埃姆·卡尼亚达基斯、川口贤治
相关软件: 亚当;DeepXDE;PINNsNTK…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

POMDPS公司

40篇文献引用(1998–2023)
软件作者: 罗斯,S。;Pineau,J。;Paquet,S。;Chaib-Draa,B。
相关软件: 目的地;PRMLT;EGO…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

zk-快照

29篇文献引用(2014–2024)
软件作者: Eli Ben-Sasson;亚历山德罗·基耶萨;特罗姆,埃兰;夫人维尔扎
相关软件: 皮诺奇;C的SNARK;GitHub…
主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…

FDR标签

22篇文献引用(2016–2023)
软件作者: 李,豪森;阿克塞尔·蒙克;汉内斯·西林
相关软件: wbs;R;早餐…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);运筹学,数学编程(90-XX)…

可观察性测试

22篇文献引用(2001–2022)
软件作者: 亚历山大·塞多拉维奇
相关软件: COMBOS公司;雏菊;西安…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

十字架

18篇文献引用(2012–2024)
软件作者: 张安如
相关软件: 导缆器流量;罚款;glmnet…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX)…

AddIntent(添加意向)

15篇文献引用(2004–2021)
软件作者: 院长范德默韦;谢尔盖·奥比耶德科夫;德瑞克·库里
相关软件: UCI-ml;FCALGS;SearchSleuth…
主要字段: 阶、格、有序代数结构(06-XX);统计学(62-XX);计算机科学(68-XX)…

FRSDE公司

15篇文献引用(2008–2016)
软件作者: 邓兆红;福莱钟;王世通
相关软件: UCI-ml;LIBSVM;KernSmooth…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

ADMBB公司

14篇文献引用(2019–2024)
软件作者: 罗、赫志;白晓迪;Lim,Gino;彭继明
相关软件: CPLEX;QuadProgBB;BARON…
主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

备用FIS

9份文件引用(2012–2022)
软件作者: Lughofer,E。;金德曼,S。
相关软件: ElemStatLearn;ANFIS;MOA…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

SqFreeEVAL公司

11份文件引用(2012–2023)
软件作者: 迈克尔·A·伯尔(Michael A.Burr)。;费利克斯·克拉默
相关软件: 隔离;na20;ANewDsc…
主要字段: 代数几何(14-XX);实函数(26-XX);复变量函数(30-XX)…

埃德蒙兹-卡普

10篇文献引用(2016–2022)
软件作者: 彼得·兰米奇(Peter Lammich);Sefidgar,S.礼萨
相关软件: Isabelle/HOL;存档正式证据;Gabow SCC…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);概率论与随机过程(60-XX)…

BEDFix公司

9份文件引用(2003–2020)
软件作者: 斯宾塞·谢尔曼;西科尔斯基,K。
相关软件: 算法848;minpack;TENSOLVE公司
主要字段: 算子理论(47-XX);数值分析(65-XX);计算机科学(68-XX)…

基本原理第一集成

9份文件引用(2015–2022)
软件作者: Alin Bostan;奇泽·纪尧姆(Chèze,Guillaume);托马斯·克鲁索(Thomas Cluzeau);雅克·亚瑟·韦尔
相关软件: Lsolver;枫树;PSsolver…
主要字段: 几个复变量与解析空间(32-XX);常微分方程(34-XX);偏微分方程(35-XX)…

SDSL公司

9份文件引用(2013-2019)
软件作者: 约翰·巴德;蒂莫·贝勒;西蒙·高格(创作者);马提亚斯·佩特里
相关软件: github;简洁;tbwt…
主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

解算器全部

8份文件引用(2021–2024)
软件作者: Aleksander Figiel、Anne-Sophie Himmel、AndréNichterlein、Rolf Niedermeier
相关软件: SCIP公司
主要字段: 组合数学(05-XX);计算机科学(68-XX)

TiML公司

8份文件引用(2018–2022)
软件作者: Wang,P.,Wang,D.,Chlipala,A。
相关软件: TcT;z3;分离逻辑…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

RP-DeLP公司

6篇文献引用(2014–2023)
软件作者: 阿尔西内特、特蕾莎;拉蒙贝加尔;戈多,Lluís;弗朗西斯科·吉塔特
相关软件: 探测日志;NLTK;编辑…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

GroupSortFuse(分组排序保险丝)

5份文件引用(2021年-2023年)
软件作者: 都铎马诺尔;阿巴斯·哈利利
相关软件: 麦克卢斯特;混合工具;mGene…
主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

OSGA公司

5份文件引用(2016–2019)
软件作者: 马苏德·阿霍霍什
相关软件: NESUN公司;TFOCS;Matlab…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

中央共和党

3份文件引用(2009–2016)
软件作者: 维斯韦斯瓦兰,V.,佛罗伦萨,C.A
相关软件: GloMIQO;SCIP;APOGEE…
主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX)

CLiMF公司

3份文件引用(2015–2018)
软件作者: Shi,Y。;卡拉佐格鲁,A。;巴尔特鲁纳斯,L。;Larson,M。;Oliver,N。;A.Hanjalic。
相关软件: 特征秩;SibRank;护理…
主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)…

PICS公司

3份文件引用(2011–2015)
软件作者: 张学奎;戈登·罗伯逊(Gordon Robertson);Krzywinski,Martin;宁、凯达;阿诺德·德罗伊特;史蒂文·琼斯;拉斐尔·戈塔多
相关软件: FindPeaks;生物导体;R、 …
主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)

算法848

2份文件引用(2005–2011)
软件作者: 斯宾塞·D·谢尔曼。;西科尔斯基,K。
相关软件: BEDFix公司;minpack;TENSOLVE公司
主要字段: 算子理论(47-XX);数值分析(65-XX)

坎比

2份文件引用(2017–2019)
软件作者: Akhilesh Srikanth;Burak Sahin;威廉·R·哈里斯。
相关软件: 石笼SCC;CAVA LTL模型检查器;Coq…
主要字段: 计算机科学(68-XX)

FANOK公司

2份文件引用(2021–2022)
软件作者: Armin Askari、Quentin Rebjock、Alexandre d'Aspremont、Laurent El Ghaoui
相关软件: 深粉红色;击倒GAN;Knockpy…
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX)

整数复杂性

2份文件引用(2018–2019)
软件作者: 凯瑟琳·科德威尔(Katherine Cordwell);爱泼斯坦(Alyssa Epstein);阿南德·海曼迪;史蒂文·米勒(Steven J.Miller)。;伊文杜·帕尔森(Eyvindur Palsson);阿迪提亚·夏尔马;Stefan Steinerberger;Vu,Yen Nhi Truong先生
相关软件: github;组织环境信息系统
主要字段: 数论(11-XX);计算机科学(68-XX)

IQC游戏

2份文件引用(2021年-2023年)
软件作者: 张国栋;鲍旭灿;劳伦特·莱萨德;罗杰·格罗斯
相关软件: 香蒜酱;github;AlexNet…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

OTST公司

2份文件引用(2005–2007)
软件作者: 刘福来;王金宽;余、葛
相关软件: ——
主要字段: 信息与通信理论,电路(94-XX)

Warmr公司

2份文件引用(2005–2012)
软件作者: R.D.King、A.Srinivasan、L.Dehaspe
相关软件: CrossMine;TreeWiz;CloseGraph…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

阿米诺

1份文件引用(2023)
软件作者: 拉文德拉,P。;史密斯,Z。;蒂瓦里,P。
相关软件: 格鲁马克斯
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX)

cvnn泛化

1份文件引用(2023)
软件作者: 陈浩文;何凤祥;雷世业;陶大成
相关软件: CIFAR;时尚-MNIST;MNIST…
主要字段: 计算机科学(68-XX)

DetNorPos.mpl(检测正常位置)

1份文件引用(2020)
软件作者: M.Alizadeh,Benyamin;阿米尔·哈希米
相关软件: 隔离;贝尔蒂尼;克罗内克
主要字段: 交换代数(13-XX);计算机科学(68-XX)

3D验证器

1份文件引用(2023)
软件作者: 穆荣辉、阮文杰、马可利诺、倪强
相关软件: 谷歌网络;ImageNet;深度愚人…
主要字段: 计算机科学(68-XX)

枚举RankKey

1份文件引用(2016)
软件作者: 尼古拉斯·维拉特·查维伦(Nicolas Veyrat-Charvillon)
相关软件: ——
主要字段: 信息与通信理论,电路(94-XX)

Prpu_Maxflow(最大流量)

1份文件引用(2019)
软件作者: 彼得·兰米奇(Peter Lammich);S.雷扎·塞菲加
相关软件: Dijkstra最短路径;Why3;WhyML…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

SBG.jl公司

1份文件引用(2022)
软件作者: 豪尔赫·冈萨雷斯(Jorge González Cázares);Aleksandar Mijatović
相关软件: SupStable.jl;github
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

Snipperclips公司

1份文件引用(2021)
软件作者: 亚伯,扎卡里;雨果秋田;Chiu、Man-Kwon;埃里克·D·德曼(Erik D.Demaine)。;马丁·L·德曼(Martin L.Demaine)。;亚当·海斯特伯格(Adam Hesterberg);马蒂亚斯·科尔曼;杰森·林奇;范伦森,安德烈;马塞尔·罗洛夫岑
相关软件: ——
主要字段: 计算机科学(68-XX)

索引总和

1份文件引用(2003)
软件作者: 孙晓明
相关软件: ——
主要字段: 计算机科学(68-XX)

WarpDrive公司

在0个文档中引用
软件作者: D.Jünger、C.Hundt、B.Schmidt
相关软件: MetaCache;SlabHash;哈希图…
主要字段: ——

矮人代码

在0个文档中引用
软件作者: 张维哲;Albert M.K.Cheng。;贾斯帕尔·苏巴洛克
相关软件: ——
主要字段: ——

SDN-OpenFlowBackupRules

在0个文档中引用
软件作者: Niels L.M.van Adrichem、Farabi Iqbal、Fernando A.Kuipers
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件