拔管器 258篇文献引用(2005–2024) 软件作者: 阿德里安·巴德利、罗尔夫·特纳、埃格·鲁巴克;等 相关软件: R;pyuvdata;空间… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
伊萨尔 156篇文献引用(2000年至2024年) 软件作者: 马卡里乌斯·温泽尔 相关软件: 伊莎贝尔;Isabelle/HOL;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
PyMC公司 62篇文献引用(2010–2024) 软件作者: Chris Fonnesbeck、Anand Patil、David Huard、John Salvatier 相关软件: 斯坦;坚果;Python… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…