HAP公司 44篇文献引用(2008年-2023年) 软件作者: 格雷厄姆·埃利斯 相关软件: 间隙;Kenzo;CARAT… 主要字段: 代数几何(14-XX);群论与推广(20-XX);代数拓扑(55-XX)…
索纳塔 25篇文献引用(2001年-2023年) 软件作者: 埃哈德·艾辛格(Erhard Aichinger);尤尔根·埃克;克里斯托夫·诺鲍尔 相关软件: 间隙;SmallGroups库;转到BLAS… 主要字段: 组合数学(05-XX);一般代数系统(08-XX);结合环与代数(16-XX)…
BRAID公司 19份文件引用(2003–2023) 软件作者: 马加德,凯;谢尔盖·施佩托夫(Sergey Shpertov);赫尔穆特·沃尔克林 相关软件: 间隙;岩浆;SageMath… 主要字段: 数论(11-XX);场论与多项式(12-XX);代数几何(14-XX)…
ELIAS公司 8份文件引用(1996–2010) 软件作者: 科恩,A.M。;德格拉夫,W.A。 相关软件: 间隙;LiE;岩浆… 主要字段: 结合环与代数(16-XX);非结合环与代数(17-XX);群论与推广(20-XX)…
RNAforester公司 引用于7份文件(2011–2018) 软件作者: 斯基默,斯蒂芬妮;罗伯特·吉格里奇 相关软件: 哈斯克尔;CONTRAlign公司;维也纳RNA… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
SgpViz公司 引用于7份文件(2006–2020) 软件作者: 曼努埃尔·德尔加多;何塞·莫利斯 相关软件: 间隙;自动机;MuPAD… 主要字段: 一般性和全局性主题;藏品(00-XX);群论与推广(20-XX);动力系统和遍历理论(37-XX)…
IDRS选项卡 6篇文献引用(2014–2022) 软件作者: Aihara、Kensuke;Abe、Kuniyoshi;石田惠子 相关软件: BiCGstab;稀疏矩阵;CGS… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);系统论;控制(93-XX)
帕尔盖普 5份文件引用(2001–2016) 软件作者: 吉恩·库珀曼 相关软件: 间隙;STAR/MPI;伊甸园… 主要字段: 组合数学(05-XX);群论与推广(20-XX);计算机科学(68-XX)…
RepnComp公司 3份文件引用(2021–2022) 软件作者: Hymabaccut,K。;D.帕西尼克。 相关软件: 间隙;圆形包装;PESTO… 主要字段: 一般性和全局性主题;藏品(00-XX);群论与推广(20-XX);计算机科学(68-XX)…
生存BIV 3份文件引用(2020–2023) 软件作者: 安娜·莫雷拉(Ana Moreira);路易斯·马查多 相关软件: R;生存;condSURV… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX)
AWC公司 2份文件引用(2019–2020) 软件作者: 基里尔·埃菲莫夫、拉里萨·阿达米扬、弗拉基米尔·斯波科尼;威斯康星州国际机场 相关软件: Python;Scikit;UCI-ml… 主要字段: 统计学(62-XX)
交换幺半群 3份文件引用(2022–2024) 软件作者: Díaz-Ramírez,J.D。;加西亚-加西亚,J.I。;Marín-Aragón,D。;维格纳伦·特诺里奥(Vigneron-Tenorio),A。 相关软件: github;Python;带Genus;的数字半群… 主要字段: 交换代数(13-XX);群论与推广(20-XX);计算机科学(68-XX)
联合国开发计划署 3份文件引用(2000–2005) 软件作者: 小野,I。;小林,S。;吉田,K。 相关软件: 基因警察;CIXL2号机组 主要字段: 统计学(62-XX);可变形固体力学(74-XX);光学、电磁理论(78-XX)…
弗朗西 2份文件引用(2018) 软件作者: 马查多·马丁斯,曼努埃尔;马库斯·普菲弗 相关软件: 有向图;朱皮特;XGAP… 主要字段: 一般性和全局性主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)
HardTSPLIB公司 1份文件引用(2023) 软件作者: Vercesi,Eleonora;瓜兰迪、斯特凡诺;莫纳尔多Mastrolli;卢卡·玛丽亚·甘巴黛拉 相关软件: LKH;协和式飞机;TSPLIB公司 主要字段: 运筹学、数学规划(90-XX)
JGXYZ公司 1份文件引用(2019) 软件作者: Geoff Sutcliffe;弗朗西斯·杰弗里·佩利蒂埃 相关软件: MUltlog;VAMPIRE公司 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
生存资源中心 1份文件引用(2023) 软件作者: 古斯塔沃·苏提尼奥;路易斯·梅拉马查多 相关软件: condSURV;生存BIV;对 主要字段: 概率论与随机过程(60-XX);统计学(62-XX)