pcalg公司 89份文件引用(2007–2023) 软件作者: 马库斯·卡利什、马丁·梅克勒、迭戈·科伦坡 相关软件: TETRAD公司;R;bn学习… 主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…
伊甸园 23篇文献引用(2001–2018) 软件作者: U.Klusik、Y.Ortega-Mallén、R.Peña 相关软件: 哈斯克尔;胶;GHC… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
cplint公司 7份文件引用(2017–2022) 软件作者: 法布里齐奥·里古齐(Fabrizio Riguzzi);朱塞佩,科塔;埃琳娜·贝洛迪;里卡多·泽斯 相关软件: ProbLog;SWI-预测;棱镜… 主要字段: 计算机科学(68-XX)
MSO_Regex_等效性 7份文件引用(2013年至2018年) 软件作者: 德米特里·特拉泰尔(Dmitriy Traytel);托比亚斯·尼普科 相关软件: Presburger Automata;Myhill-Nerode;伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
bpbounds(bpbound) 3份文件引用(2012–2022) 软件作者: T.M.Palmer、R.R.Ramsahai、V.Didelez、N.A.Sheehan 相关软件: TETRAD公司;Stata公司;clrbound公司 主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)
分发 1份文件引用(2016) 软件作者: 伊沃·迪诺夫(Ivo D.Dinov)。;凯尔·西格里斯特;Dennis K.Pearl。;亚历山大·加里宁;尼古拉斯·克里斯托 相关软件: 维基百科矿工;社会责任;DPpackage… 主要字段: 统计学(62-XX)
FSISPH公司 1份文件引用(2022) 软件作者: 杰森·M·珀尔。;科迪·拉斯金(Cody D.Raskin)。;迈克尔·欧文,J。 相关软件: 球面;NDSPMHD;斯芬尼克斯… 主要字段: 数值分析(65-XX);流体力学(76-XX)
静脉注射工具 1份文件引用(2019) 软件作者: Arvid Sjolander、Elisabeth Dahlqwist、Torben Martinussen 相关软件: 对 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)