IMPS公司 52篇文献引用(1990–2021) 软件作者： Farmer，William M。；约书亚·D·古特曼。；哈维尔·塞耶 相关软件： 伊莎贝尔；Nuprl；Coq… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
Daikon公司 41篇文献引用(2005–2022) 软件作者： 迈克尔·D·恩斯特。；Jeff H.Perkins。；菲利普·郭（Philip J.Guo）。；斯蒂芬·麦卡曼特；卡洛斯·帕切科；马修·桑茨（Matthew S.Tschantz）。；肖，陈 相关软件： JML；胡迪尼；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
全球气候变化监测 42篇文献引用(2012–2023) 软件作者： 吉多·马萨罗托；克里斯蒂亚诺·瓦林 相关软件： R；CopulaModel；加权分数… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
bfa公司 34份文件引用(2013–2023) 软件作者： Jared S.Murray。；戴维·邓森（David B.Dunson）。；劳伦斯·卡林；约瑟夫·卢卡斯（Joseph E.Lucas）。 相关软件： R；ADVI；阿达德尔塔… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
布莱索 14篇文献引用(2011–2022) 软件作者： 克里斯·汉斯 相关软件： 奥斯卡；glmnet；ElemStatLearn… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
去梯度推理 13份文件引用(2014–2023) 软件作者： 本·麦克唐纳；弗兰克·唐德林格 相关软件： 生物贝叶斯；fda（R）；PRMLT… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
过境 8份文件引用(2015–2022) 软件作者： Udupa，A.、Raghavan，A.、Deshmukh，J.V.、Mador-Haim，S.、Martin，M.M.、Alur，R。 相关软件： CVC4；z3；简单… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
AmiCo公司 8份文件引用(2017–2023) 软件作者： Jasmin Christian布兰切特；Bouzy，艾默尔；安德烈亚斯·洛赫比勒；安德烈·波佩斯库；德米特里·特拉泰尔 相关软件： Isabelle/HOL；精益；Paco… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
蜗牛 7份文件引用(2010–2021) 软件作者： Chandra，S.、Fink，S.J.、Sridharan，M。 相关软件： 投掷；z3；STP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
AdaptFitOS（适配操作系统） 7份文件引用(2012–2020) 软件作者： Manuel Wiesenfarth；达吉亚纳·克里沃博科娃；克拉森，斯蒂芬；斯特凡·斯珀里奇 相关软件： 混乱；半标准杆；gamair… 主要字段： 统计学（62-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
佩拉科塔 5份文件引用(2008–2021) 软件作者： Yang，J.、Evans，D.、Bhardwaj，D.、Phat，T.、Das，M。 相关软件： SMArTIC；公关经理；德克萨斯州… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PICNIC公司 5份文件引用(2010–2022) 软件作者： Greenman CD、Bignell G、Butler A、Edkins S、Hinton J、Beare D、Swamy S、Santarius T、Chen L、Widaa S、Futreal PA、Stratton MR 相关软件： 血浆；R；CARAT… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
IIPS公司 6篇文献引用(1992–2008) 软件作者： 霍华德·J·汉密尔顿。；J.Michael戴克 相关软件： AS 146标准 主要字段： 统计学（62-XX）；计算机科学（68-XX）；相对论与引力理论（83-XX）…
梅林 5份文件引用(2013–2017) 软件作者： Livshits VB、Nori AV、Rajamani SK、Banerjee A 相关软件： JavaScript；萨纳尔；TAJ… 主要字段： 计算机科学（68-XX）
PolyAML公司 5份文件引用(2005–2012) 软件作者： 丹塔斯，D.S。；Walker，D。；Washburn，G。；魏里奇，S 相关软件： Aspectual凸轮；方面J；MAVEN… 主要字段： 计算机科学（68-XX）
gergm公司 在0个文档中引用 软件作者： Matthew J.Denny、James D.Wilson、Skyler Cranmer、Bruce A.Desmarais、Shankar Bhamidi 相关软件： 能量管理；R；tergm… 主要字段： –
熔岩 4份文件引用(2013–2023) 软件作者： 霍尔斯特，克劳斯·卡勒；埃斯本·巴兹·约根森 相关软件： Mplus；mvtnorm；多个（amp；M）… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）
夸蒂 4份文件引用(2014–2023) 软件作者： Vivek Nigam；Reis，Giselle；莱昂纳多·利马 相关软件： 混合的；GitHub；红杉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
特征核 3份文件引用(2019–2020) 软件作者： 田中、川崎；Hiroto Imachi；福本富也；Kuwata、Akiyoshi；原田，Yuki；富卡娅、武士；山本、优胜；武藤浩史 相关软件： 斯卡拉帕克；GitHub；ELSES… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
福尼实验室 2份文件引用(2020–2022) 软件作者： 马克·考克斯（Marco Cox）；范德拉尔（Thijs van de Laar）；贝尔·德·弗里斯 相关软件： PRMLT；PyTorch；朱莉娅… 主要字段： 计算机科学（68-XX）
蒙哥 3份文件引用(2018–2020) 软件作者： 迪米特里奥斯·库扎帕斯；奥尔内拉·达达；罗利·佩雷拉；西蒙·盖伊。 相关软件： session-ocaml；睫毛；z3（零3） 主要字段： 计算机科学（68-XX）
CSimpl公司 2份文件引用(2017) 软件作者： Sanán，D.，Zhao，Y.，Hou，Z.，Zhang，F.，Tiu，A.，Liu，Y。 相关软件： seL4；Isabelle/HOL；区域设置… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DynaMate公司 1份文件引用(2015) 软件作者： Galeotti，J.P.、Furia，C.A.、May，E.、Fraser，G.、Zeller，A 相关软件： 灵华；VAMPIRE公司；KeY… 主要字段： 计算机科学（68-XX）
国际博协 2份文件引用（2001年至2020年） 软件作者： 巴勃罗·菲洛特拉尼（Pablo R.Fillottrani）；恩里科·弗兰科尼；塞尔吉奥·特萨利斯 相关软件： KL-ONE；故障电流互感器++ 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
近五年 2份文件引用(2019–2023) 软件作者： 菲利普·阿拉斯（Philipp Arras）；Baltac、Mihai；托尔斯滕·恩斯林（Torsten A.Ensslin）。；菲利普·弗兰克；塞巴斯蒂安·赫申瑞特；雅各布·诺尔穆勒；雷马尔·雷克；Newrzella，Max-Niklas；卢卡斯普拉茨；马丁·雷内克（Martin Reinecke）；朱莉娅·斯塔德勒 相关软件： UQLab；NumPyro；螺母… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TerpreT公司 在0个文档中引用 软件作者： 亚历山大·冈特（Alexander L.Gaunt）、马克·布洛克施密特（Marc Brockschmidt 相关软件： Scikit；Clojush；按下… 主要字段： –
CURO自定义ML 1份文件引用(2022) 软件作者： Suk，Youmi；Kang、Hyunseung 相关软件： 小鼠；超级学习者；bart原因… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
ESP处理器 1份文件引用(2019) 软件作者： Cui，R.，Zhang，Z.，Zhao，K。 相关软件： GitHub；ELPS；ES模型… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
森林 在0个文档中引用 软件作者： 凯瑟琳·费希尔（Kathleen Fisher）；Nate Foster；大卫·沃克（David Walker）；Zhu，Kenny Q。 相关软件： 格拉夫维兹 主要字段： –
iBATCGH公司 1份文件引用(2016) 软件作者： 阿尔贝托·卡塞塞；米歇尔·吉尼达尼（Michele Guindani）；玛丽娜·万努奇 相关软件： PennCNV；CNVassoc；大卫… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
马尔加 1份文件引用(2008) 软件作者： 拉马纳桑、穆拉利·克里希纳；Sen，Koushik；阿南斯格拉玛；苏雷什·贾甘纳森 相关软件： 佩拉科塔；自旋蛋白；可爱的 主要字段： 计算机科学（68-XX）
NMTPY公司 在0个文档中引用 软件作者： Ozan Caglayan、Mercedes García-Martínez、Adrien Bardet、Walid Aransa、Fethi Bougares、Loíc Barrault 相关软件： 胭脂；亚当；CIDEr… 主要字段： –
pdynmc公司 在0个文档中引用 软件作者： 马库斯·弗里奇（Markus Fritsch）、约阿希姆·施努布斯（Joachim Schnurbus）、安德鲁·阿德里安·尤帕（Andrew Adrian Yu Pua） 相关软件： 朱莉娅；plm；状态… 主要字段： –
ProBO公司 在0个文档中引用 软件作者： Willie Neiswanger、Kirthevasan Kandasamy、Barnabas Poczos、Jeff Schneider、Eric Xing 相关软件： 双曲线；飞镖；GPyOpt… 主要字段： 计算机科学（68-XX）
pyGPS 1份文件引用(2015) 软件作者： 马里恩·诺伊曼（Marion Neumann）；黄珊；Daniel E.Marthaler。；克里斯蒂安·凯斯廷 相关软件： 蟒蛇；GPy；GPML… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）
PyLog软件 1份文件引用(2021) 软件作者： 黄思涛；吴坤；Jeong，Hyunmin；王成岳；陈德铭；吴文美 相关软件： AutoSA；PYNQ；PyRTL… 主要字段： 计算机科学（68-XX）