阿达·布斯特。MH公司 引用于409份文件(1995–2022) 软件作者： 弗伦德（Yoav Freund）；罗伯特·夏皮雷（Robert E.Schapire）。 相关软件： UCI-ml；C4.5；ElemStatLearn… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SQEMA公司 40篇文献引用(2005–2021) 软件作者： 威廉·康雷迪（Willem Conradie）；瓦伦丁·戈兰科 相关软件： Isabelle/HOL；认识逻辑；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
凯伊迈拉X 26篇文献引用(2015–2024) 软件作者： Fulton，N.、Mitsch，S.、Quesel，J.、Völp，M.、Platzer，A。 相关软件： 凯伊迈拉；Isabelle/HOL；Bellerophon… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
阿达 14篇文献引用(1994–2023) 软件作者： 乔治·米查利德斯、谢尔·约翰逊、马克·卡尔普 相关软件： R；rpart；gbm… 主要字段： 历史与传记（01-XX）；偏微分方程（35-XX）；统计学（62-XX）…
同意 19份文件引用(2015–2023) 软件作者： Corradini，A.、Duval，D.、Echahed，R.、Prost，F.、Ribeiro，L。 相关软件： Verigraph公司；AGG；Isabelle/HOL… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
ANCFIS公司 14篇文献引用(2012–2023) 软件作者： 陈志飞；萨拉·阿格哈尼；詹姆斯·曼；斯科特·迪克 相关软件： ANFIS；TISEAN公司；FLANN… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
粗糙集 12份文件引用(2016–2024) 软件作者： Andrzej Janusz、Lala Septem Riza、DominikŚlęzak、Chris Cornelis、Francisco Herrera、Jose Manuel Benitez、Christoph Bergmeir、Sebastian Stawicki 相关软件： UCI-ml；威卡；模糊粗糙度… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
FisPro公司 6篇文献引用(2008–2022) 软件作者： 纪尧姆，S。；Charnomodic，B。 相关软件： R；C4.5；AS 136… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
A3PAT飞机 9份文件引用(2010–2023) 软件作者： Contejean，E.，Paskevich，A.，Urbain，X.，Courtieu，P.，Pons，O.，Forest，J。 相关软件： Isabelle/HOL；Coq；CoLoR… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
数据日志MTL 6篇文献引用(2022–2023) 软件作者： Wałȩga，P.A。；Cuenca Grau，B。；卡明斯基，M。；科斯特列夫，E。 相关软件： LARS；克林戈；Graal… 主要字段： 计算机科学（68-XX）
dCAQE公司 6篇文献引用(2019–2022) 软件作者： Tentrup，Leander；马库斯·拉贝。 相关软件： HQPre；iProver；CAQE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
增量CCS 4份文件引用(2015–2020) 软件作者： 马耳他州洛豪；Stephan Mennicke；Hauke Baller；拉尔斯·里贝克 相关软件： VMC；自旋蛋白；莫德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
EXTEND（扩展） 5份文件引用（1989年至2018年） 软件作者： T.N.L.帕特森。 相关软件： OPQ；奥特波尔；QUADPACK… 主要字段： 特殊功能（33-XX）；近似和展开（41-XX）；数值分析（65-XX）
预DeLo 2份文件引用(2015) 软件作者： 佐丹诺，L.，格利奥齐，V.，贾拉尔，A.，奥利维蒂，N.和波扎托，G.L 相关软件： DysToPic；精益TAP 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
色度 2份文件引用(2018–2022) 软件作者： 霍诺拉托·齐梅尔（Honorato Zimmer），里卡多（Ricardo）；安德鲁·米勒（Andrew J.Millar）。；戈登·普洛金（Gordon D.Plotkin）。；扎迪利斯，阿格里斯 相关软件： PySB；BioNetGen；eBCSgen… 主要字段： 生物学和其他自然科学（92-XX）
斯帕特金 1份文件引用(2019) 软件作者： 科钦奇克，M。；拉瓦切克，WS；T·利普尼亚基。 相关软件： GitHub；KappaTools；TRuML… 主要字段： 生物学和其他自然科学（92-XX）