阿格达 228篇文献引用(1999–2023) 软件作者: 乌尔夫·诺雷尔 相关软件: Coq;哈斯克尔;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
iHSP-PseRAAAC系统 16篇文献引用(2014–2019) 软件作者: 冯总理、陈伟、林浩、周朝伟 相关软件: iRSpot-PseDNC;pLoc-m动物;iSNO-PseAAC… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
COMPASS(指南针) 3份文件引用(2006–2017) 软件作者: 北格里申Sadreyev R 相关软件: PSI-爆炸;爆炸;ClustalW… 主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
夏季时间 引用于9份文件(2016–2023) 软件作者: Lee,Roman N。;基里尔·明古洛夫。 相关软件: LiteRed;表格;天秤座… 主要字段: 数值分析(65-XX);量子理论(81-XX)
瓦伦 4份文件引用(2013–2018) 软件作者: A.Apostolico、M.Comin、L.Parida 相关软件: MADMX;WordSpy;MotifMiner… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
阿博加斯特 3份文件引用(2018年至2019年) 软件作者: 伊莎贝尔·沙彭蒂埃(Isabelle Charpentier);Jens Gustedt公司 相关软件: DLMF;算法916;HOAD_MathFun… 主要字段: 实函数(26-XX);复变量函数(30-XX);特殊功能(33-XX)…
COMODE公司 3份文件引用(2003–2007) 软件作者: Sunduz Keles;范德兰,马克·L。;Sandrine的Dudoit;邢、标;迈克尔·艾森。 相关软件: TileMap;LogicReg;rpart… 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)
评估代码 3份文件引用(2021–2023) 软件作者: Ball,Taylor;营地,爱德华多;Henry Chimal-Dzul;德利奥·贾拉米洛·维莱兹;洛佩兹,希拉姆;内森·尼科尔斯(Nathan Nichols);马修·珀金斯(Matthew Perkins);伊凡·索普鲁诺夫(Ivan Soprunov);Vera-Martínez,德国;格温·惠顿 相关软件: 线性代码;编码理论.m2;麦考莱2 主要字段: 数论(11-XX);交换代数(13-XX);代数几何(14-XX)…
线性代码 3份文件引用(2021–2023) 软件作者: Ball,Taylor;爱德华多坎普斯;Henry Chimal-Dzul;德利奥·贾拉米洛·维莱兹;洛佩兹,希拉姆;内森·尼科尔斯(Nathan Nichols);马修·珀金斯(Matthew Perkins);伊凡·索普鲁诺夫(Ivan Soprunov);Vera-Martínez,德国;格温·惠顿 相关软件: 评估代码;编码理论.m2;麦考莱2 主要字段: 数论(11-XX);交换代数(13-XX);代数几何(14-XX)…
原型Quipper-M 2份文件引用(2018–2022) 软件作者: 里奥斯,弗朗西斯科;彼得·塞林格 相关软件: 奎珀;哈斯克尔 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
联邦调查局 1份文件引用(2011) 软件作者: 托马斯·霍夫曼。;Vansteelandt,Stijn;克里斯托夫·兰格;埃德温·西尔弗曼(Edwin K.Silverman)。;Demeo,Dawn L。;Nan M.莱尔德。 相关软件: fgui;无阶段;R(右) 主要字段: 统计学(62-XX)
m重量 1份文件引用(2022) 软件作者: 鲍勃·坦尼特 相关软件: 字幕;足杂项;newtx… 主要字段: 全局分析,流形分析(58-XX);相对论与引力理论(83-XX);天文学和天体物理学(85-XX)
路径_位置 1份文件引用(2024) 软件作者: 路易吉·卡普蒂;卡罗·科拉里;迪特兰尼(Di Trani),萨比诺(Sabino);杰森·史密斯。 相关软件: 组织环境信息系统;SageMath公司 主要字段: 组合数学(05-XX)
SHErrLoc公司 1份文件引用(2015) 软件作者: 安德鲁·迈尔斯(Andrew Myers)、张丹凤(Danfeng Zhang) 相关软件: OCaml;EasyOCaml;vZ… 主要字段: 计算机科学(68-XX)