×

找到9个软件包(结果1-9)

琳达

77份文献引用(1985–2020)
软件作者: 大卫·盖伦特
相关软件: 科莱姆;石灰;重新规范…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

石灰

10篇文献引用(2002–2016)
软件作者: G.Picco、A.Murphy、G.-C.Roman
相关软件: 琳达;科莱姆;TuCSoN…
主要字段: 计算机科学(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)…

彗星G

1份文件引用(2006)
软件作者: 李震;马尼什·帕拉沙尔
相关软件: 弦;琳达;缎面…
主要字段: 计算机科学(68-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)

ConfE公司

在0个文档中引用
软件作者: 赵瑜;侯家岳;于宗建;张云;李清
相关软件:
主要字段:

筛选结果依据…