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