SVM灯 214篇文献引用(2000–2023) 软件作者: 托尔斯滕·约阿希姆斯 相关软件: LIBSVM;UCI-ml;SVMTorch… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
HypE公司 94份文件引用(2010–2023) 软件作者: Bader,J.、Zitzler,E。 相关软件: MOEA/D;SPEA2;SMS-EMOA… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
半群 37篇文献引用(2011–2023) 软件作者: J.D.米切尔。 相关软件: 间隙;组织环境信息系统;Smallsemi… 主要字段: 组合数学(05-XX);结合环与代数(16-XX);范畴理论;同调代数(18-XX)…
希格斯信号 25篇文献引用(2014–2023) 软件作者: P.Bechtle、S.Heinemeyer、O.Stál、T.Stefaniak、G.Weiglein 相关软件: 希格斯边界;莎拉;斯费诺… 主要字段: 概率论与随机过程(60-XX);粒子和系统力学(70-XX);量子理论(81-XX)…
VESTA公司 22篇文献引用(2007–2021) 软件作者: Koushik Sen、Mahesh Viswanathan、Gul Agha 相关软件: 棱镜;莫德;HOL… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);统计学(62-XX)…
GenSSI公司 引用于20份文件(2013年-2023年) 软件作者: Chis O、Banga J、Balsa-Canto E 相关软件: 雏菊;西安;COMBOS… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…
小支票 18篇文献引用(2010–2022) 软件作者: Runciman,C.、Naylor,M.、Lindblad,F。 相关软件: 快速检查;哈斯克尔;Nitpick… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
偏序集 19份文件引用(1996–2019) 软件作者: J.R·斯坦布里奇 相关软件: 考克斯仪;SF;OEIS… 主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…
YOGI公司 13份文件引用(2010–2022) 软件作者: Aditya V.Nori、Sriram K.Rajamani、SaiDeep Tetali、Adityas V.Thakur 相关软件: z3;投掷;可爱… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MCFDR公司 8份文件引用(2014–2022) 软件作者: Sandve,G.和Ferkingstad,E。;南尼加德 相关软件: MMC测试;原产地;bootlib… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
快速鸡 7份文件引用(2015–2022) 软件作者: Paraskevopoulou,佐伊;Hriţcu,科特林;邓内斯,马克西姆;莱昂尼达斯·兰普罗普洛斯;本杰明·皮尔斯。 相关软件: 快速检查;PVS;Coq… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
DIMSEM公司 4份文件引用(1996–2016) 软件作者: Robert F.Enenkel、Kenneth R.Jackson 相关软件: XBraid;PyPFASST;GitHub… 主要字段: 历史与传记(01-XX);常微分方程(34-XX);数值分析(65-XX)
GLINTS公司 4份文件引用(2019年-2023年) 软件作者: 玛丽亚·阿尔普特(María Alpunte)、安吉尔·昆卡-奥尔加(Angel Cuenca-Ortega)、圣地亚哥·埃斯科瓦尔(Santiago Escobar)、朱莉娅·萨皮尼亚(Julia Sapiña) 相关软件: 莫德;ABETS;MTT… 主要字段: 一般代数系统(08-XX);计算机科学(68-XX)
幸运 4份文件引用(2017年至2021年) 软件作者: 莱昂尼达斯·兰普罗普洛斯;戴安·加洛瓦·旺;Hriţcu,科特林;约翰·休斯;本杰明·皮尔斯(Benjamin C.Pierce)。;夏、李耀 相关软件: 快速检查;PVS;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
MONOiD系列 4份文件引用(2001–2019) 软件作者: 詹姆斯·米切尔;戈茨·普费弗(Götz Pfeiffer);Steve A.Linton、Edmund F.Robertson;尼克·鲁斯科 相关软件: 间隙;岩浆;半群… 主要字段: 群论与推广(20-XX);计算机科学(68-XX)
PrologCheck(序言检查) 3份文件引用(2014–2022) 软件作者: 阿马拉尔(Cláudio);马里奥弗洛里多;维托尔·桑托斯·科斯塔 相关软件: K校准仪;K工具;快速检查… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
hCKSAAP_网站 3份文件引用(2019–2022) 软件作者: 陈,Z。;周,Y。;宋,J。;Zhang。 相关软件: 堡垒3;mAHT红色;iBitter-SCM… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
西塔 2份文件引用(2015–2021) 软件作者: 乔蒂莫·德斯穆赫(Jyotirmoy Deshmukh);金小青;詹姆斯·卡宾斯基(James Kapinski);奥德·马勒 相关软件: 违约;S-TaLiRo;自适应压力测试.jl… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
Ask-Elle公司 在0个文档中引用 软件作者: Alex Gerdes;海仁,巴斯蒂安;Johan Jeuring;范·宾斯贝根,L.托马斯 相关软件: 哈斯克尔;ELM-ART;闪闪发光… 主要字段: –
计算代数 2份文件引用(2018–2021) 软件作者: 石井裕美 相关软件: github;DoCon公司;ghc-typelits-presburger… 主要字段: 交换代数(13-XX);全局分析,流形分析(58-XX);数值分析(65-XX)…
高斯-林特尔 2份文件引用(2021–2023) 软件作者: 阿卜杜拉·汗;阿列克谢·利西萨;阿列克谢·弗尼茨基 相关软件: SWI-预测;组织环境信息系统 主要字段: 代数几何(14-XX);流形和细胞复合体(57-XX)
肉汁 1份文件引用(2020年) 软件作者: Arlt,S.、Rubio-González,C.、Rümmer,P.、Schäf,M.、Shankar,N。 相关软件: Rust2Viper;蝰蛇;SMACK… 主要字段: 计算机科学(68-XX)
校样板 1份文件引用(2018) 软件作者: Caleb Eggensperger公司 相关软件: ACL2;ACuLa博士;DrJava… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
PTTAC公司 2份文件引用(2017–2018) 软件作者: 卡马乔(Camacho),文学硕士,梅拉约(Merayo),医学博士,麦地那-布洛(Medina-Bulo) 相关软件: – 主要字段: 计算机科学(68-XX)
VBF公司 2份文件引用(2016–2017) 软件作者: 何塞·安东尼奥·阿尔瓦雷斯-库贝罗,佩德罗·祖菲里亚 相关软件: KASUMI;SageMath;VBFlib… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)
BAMD公司 1份文件引用(2012) 软件作者: 李震;维克内斯瓦兰·戈帕尔;李晓波;约翰·戴维斯(John M.Davis)。;乔治·卡塞拉 相关软件: 结构;MISA;tsbridge… 主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)
HDLSSkST公司 1份文件引用(2022) 软件作者: Biplab Paul、Shyamal K.De、Anil K.Ghosh 相关软件: 能量;ElemStatLearn;MNM… 主要字段: 统计学(62-XX)
图书馆短文本 1份文件引用(2014) 软件作者: Yu,H.-F.,Ho,C.-H.,Juan,Y.C.,Lin,C.-J 相关软件: 时间ML;HunPos;GULP… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
快速恢复 在0个文档中引用 软件作者: Stefan Karlsson、Adnan Causevic、Daniel Sundmark 相关软件: RESTler公司;PostgreSQL;科特林… 主要字段: –