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)…
Warmr公司 2份文件引用(2005–2012) 软件作者: R.D.King、A.Srinivasan、L.Dehaspe 相关软件: CrossMine;TreeWiz;CloseGraph… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
DetNorPos.mpl(检测正常位置) 1份文件引用(2020) 软件作者: M.Alizadeh,Benyamin;阿米尔·哈希米 相关软件: 隔离;贝尔蒂尼;克罗内克 主要字段: 交换代数(13-XX);计算机科学(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)
SDN-OpenFlowBackupRules 在0个文档中引用 软件作者: Niels L.M.van Adrichem、Farabi Iqbal、Fernando A.Kuipers 相关软件: —— 主要字段: ——