琳达 77份文献引用(1985–2020) 软件作者: 大卫·盖伦特 相关软件: 科莱姆;石灰;重新规范… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
重新规范 13份文件引用(2001年至2022年) 软件作者: 乔瓦尼·西亚托;斯特凡诺·马里亚尼;安德烈亚·奥米西尼 相关软件: 琳达;TuCSoN;莫德… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
保形块 11份文件引用(2012–2019) 软件作者: 瓦列里·阿列克谢夫;安吉拉·吉布尼;David Swinarski:法赫鲁丁 相关软件: 麦考利2;数字Py;JuliBootS… 主要字段: 代数几何(14-XX);非结合环与代数(17-XX);数值分析(65-XX)…
有罪不罚 4份文件引用(1998年至2008年) 软件作者: 戈曼,H.J.M。;Kok,J.N。;塞雷,K。;Udink,R.T.ti:《有罪不罚框架中的协调》。 相关软件: – 主要字段: 偏微分方程(35-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…
DDMOA2公司 1份文件引用(2014) 软件作者: Denysiuk,罗马人;科斯塔、利诺;伊莎贝尔·埃斯普·桑托{i} 里托 相关软件: PISA;MSOPS-II;j金属 主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX)
RBSURFpred公司 1份文件引用(2018) 软件作者: 苏米特·塔拉福德;马里兰州托基尔·艾哈迈德。;伊克巴尔,苏梅亚;马里兰州Tamjidul Hoque;Sohel Rahman,M。 相关软件: NETASA;OnD-CRF;Hum-mPLoc… 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)