LISP公司 114篇文献引用(1960–2023) 软件作者： 约翰·麦卡锡 相关软件： ACL2；NQTHM；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
前缀跨度 42篇文献引用(2004–2023) 软件作者： Pei J、Han J、Mortazavi Asl B、Pinto H、Chen Q、Dayal U、Hsu M C 相关软件： 铲刀；CloSpan；BIDE… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
衣柜 20篇文献引用(2002–2019) 软件作者： J.Pei、J.Han、R.Mao 相关软件： gSpan；CloSpan；PrefixSpan… 主要字段： 阶、格、有序代数结构（06-XX）；统计学（62-XX）；计算机科学（68-XX）
DeMat公司 29篇文献引用(2008–2023) 软件作者： Storn R、Price K、Neumaier A、Zandt合资公司 相关软件： 玉；CEC 05；ElemStatLearn… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
精益CoP 40篇文献引用(2001–2023) 软件作者： 延斯·奥顿 相关软件： 依兰CoP；TPTP；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
阿普里奥里 在11份文件中引用（2002年-2023年） 软件作者： C.博尔盖特 相关软件： 埃克拉特；UCI-ml；gSpan… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MleanCoP公司 16篇文献引用(2014–2023) 软件作者： 延斯·奥滕 相关软件： TPTP；QMLTP；E定理证明器… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
OSiL公司 10篇文献引用(2005–2022) 软件作者： 罗伯特·福勒；马军；基普·马丁 相关软件： AMPL；GAMS；LINDO… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
加拉蒙 在11份文件中引用(2019–2023) 软件作者： 圣菲省布雷伊斯；文森特·诺齐克；福斯，劳伦特 相关软件： ganja.js；GitHub；Clifford Multivector工具箱… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；几何（51-XX）…
QESTO公司 在11份文件中引用(2016–2022) 软件作者： 米科拉什·哈诺塔；若昂·西尔瓦侯爵 相关软件： DepQBF；RAReQS；CAQE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
组合学_单词 10篇文献引用(2017–2023) 软件作者： Štěpán Holub；马丁·拉什卡；Štěpán Starosta 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 计算机科学（68-XX）
TraMineR公司 2份文件引用(2010–2014) 软件作者： 斯图德，马蒂亚斯；Gilbert Ritschard；亚历克西斯·加巴丁霍；穆勒（Nicolas S。 相关软件： R；Stata公司；SADI… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
大型BWT 9份文件引用(2018–2023) 软件作者： Christina Boucher、Travis Gagie、Alan Kuhnle、Giovanni Manzini 相关软件： r指数；BWA；肥皂… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
FP-增长 7份文件引用(2013–2023) 软件作者： 克里斯蒂安·博尔盖特 相关软件： CMAR；UCI-ml；埃克拉特… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
CUDPP公司 5份文件引用(2011–2015) 软件作者： Mark Harris、Shubhabrata Sengupta、John D.Owens 相关软件： CUDA；TensorFlow；GRace… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
PTrie公司 5份文件引用(2017–2021) 软件作者： Peter Gjol Jensen；Larsen，Kim Guldstrand；吉·斯尔巴 相关软件： 塔帕尔；LoLA；zUpdate… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Readjoiner公司 5份文件引用(2016–2022) 软件作者： G.Gonnella；S.库尔茨 相关软件： 消息消息；SHREC；卡博姆… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
冲刺 1份文件引用(2014) 软件作者： 爱丁堡大学SPRINT团队；佩特鲁，萨瓦斯；特伦斯·M·斯隆。；穆里尔·梅维森（Muriel Mewissen）；托尔斯滕·福斯特（Thorsten Forster）；米查尔·彼得罗夫斯基（Michal Piotrowski）；巴托斯·多布尔泽列基（Bartosz Dobrzelecki）；彼得·加扎尔（Peter Ghazal）；特雷，亚瑟；乔恩·希尔 相关软件： R；Rmpi；多核… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
COBRA公司 4份文件引用(2015–2018) 软件作者： Andreeva，E.，Luykx，A.，Mennink，B.，Yasuda，K。 相关软件： McOE；POEx；ELmE… 主要字段： 信息与通信理论，电路（94-XX）
MONI公司 4份文件引用(2021–2023) 软件作者： 罗西，M。；奥利瓦，M。；Langmead，B。；Gagie，T。；C.鲍彻。 相关软件： r指数；最小值2；HISAT… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
MRC公司 4份文件引用(1999–2010) 软件作者： 比吉特·雷内特；德克·泽泽尔 相关软件： 伯格曼；菅直人；LEDA公司 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；群论与推广（20-XX）…
SWARM公司 4份文件引用（2010年至2016年） 软件作者： Bader，D.A。；卡纳德，V。；Madduri，K。 相关软件： OpenCL；英特尔TBB；快速流动… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
mkESA公司 2份文件引用(2014–2023) 软件作者： Robert Homann、David Fleer、Robert Giegerich、Marc Rehmsmeier 相关软件： CMU基准；BWA公司 主要字段： 计算机科学（68-XX）
ILF-设置 2份文件引用(1997) 软件作者： 安德烈亚斯·沃尔夫（Andreas Wolf）；约翰·舒曼 相关软件： SETHEO公司；E-SETHEO；HOL… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
利比加米斯 2份文件引用(2014–2015) 软件作者： 阿拉希奥提斯，北卡罗来纳州。；Berger，S。；Flouri，T。；Pissis，S.P。；斯塔马塔基斯，A。 相关软件： BWA；肥皂；EMBOSS… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
派哈塞 2份文件引用(2015–2016) 软件作者： Brüggermann，R。；沃伊格特，K 相关软件： MULTILOG；irtrees；IRTm… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
减少 2份文件引用(2017–2020) 软件作者： 汤米·琼蒂拉；马蒂·卡帕；佩特里·卡斯基（Petteri Kaski）；朱卡·科亨 相关软件： 斯普拉茨；Treengeling；弯曲… 主要字段： 计算机科学（68-XX）
eWAP-分钟 1份文件引用(2010) 软件作者： Jain，Ratnesh K。；Ramveer S.卡萨纳。；萨胡、迪帕克·库马尔；苏雷什·杰恩 相关软件： – 主要字段： 计算机科学（68-XX）
前缀匹配 1份文件引用(2015) 软件作者： 钟思辰；赵璐；梁燕；穆罕默德扎曼·扎马尼；罗布·帕特罗；雷扎尔·乔杜里；埃丝特·M·阿尔金（Esther M.Arkin）。；Joseph S.B.Mitchell。；史蒂文·斯基纳 相关软件： SCALCE；github 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
V搜索 1份文件引用(2017) 软件作者： Rognes，T.、Flouri，T.，Nichols，B.、Quince，C.、Mahé，F。 相关软件： 梨；闪光；PANDAseq… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
WORT公司 1份文件引用(2019) 软件作者： S.K.Lee、K.H.Lim、H.Song、B.Nam、S.H.Noh 相关软件： 变形杆菌；ThyNVM公司；诺瓦… 主要字段： 计算机科学（68-XX）
xkeyval公司 1份文件引用(2022) 软件作者： 亨德里·阿德里安斯 相关软件： libunistring；修剪空间；newtx… 主要字段： 全局分析，流形分析（58-XX）；相对论与引力理论（83-XX）；天文学和天体物理学（85-XX）