卡拉卡拉 79份文件引用(2004–2022) 软件作者： 马奇，C。；Paulin Mohring，C.教授。；X·乌尔班。 相关软件： Why3；Caduceus；JML… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
梅蒂斯_ 58篇文献引用(1987–2023) 软件作者： Joe Leslie-Hurd；metis-users@gilith.com 相关软件： Isabelle/HOL；E定理证明器；TPTP… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
BWA公司 51篇文献引用(2010–2022) 软件作者： 李宏。；杜宾·R。 相关软件： 肥皂；鲍蒂2；Samtools… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
GNU并联 45篇文献引用(2016–2024) 软件作者： O.切线 相关软件： GitHub；nauti；痕迹… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
算法719 41篇文献引用（1993年至2017年） 软件作者： D.H.贝利。 相关软件： 算法693；Mathematica；mctoolbox… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）…
香皂 28篇文献引用(2010–2021) 软件作者： 李瑞强；李英瑞；卡斯滕·克里斯蒂安森（Karsten Kristiansen）；王军（Jun Wang） 相关软件： BWA；Samtools；BLAT… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
美国公共广播电视公司 38篇文献引用(2003–2014) 软件作者： Aloul，F.A.、Ramani，A.、Markov，I.L.和Sakallah，K.A。 相关软件： 糠；MiniSat；伯克敏… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CCSTM公司 34份文件引用(2010) 软件作者： N.G.Bronson，H.Cha。，K.Olukotun公司 相关软件： – 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
天鹅绒 26篇文献引用(2012–2022) 软件作者： D.R.Zerbino和E.Birney 相关软件： ALLPATHS公司；深渊；SPAdes… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；统计学（62-XX）…
SMT互联网 29篇文献引用(2015–2023) 软件作者： Jochen Hoenike、Jürgen Christ、Alexander Nutz 相关软件： z3；数学SAT5；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
DSDP5型 30篇文献引用(2004–2023) 软件作者： 史蒂文·本森（Steven J.Benson）；银鱼叶 相关软件： SDPT3；SeDuMi公司；SDPA… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
石化 26篇文献引用(2001–2023) 软件作者： Cortadella，J.、Kishinevsky，M.、Kondratyev，A.、Lavagno，L.、Yakovlev，A。 相关软件： 基因；GitHub；APT… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）…
斯坦福·塔格 20篇文献引用(2009–2023) 软件作者： 克里斯蒂娜·图塔诺娃 相关软件： 单词2vec；WordNet；手套… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
LanHEP项目 24篇文献引用(1998–2022) 软件作者： A.V.塞梅诺夫 相关软件： CalcHEP；费恩规则；FeynArts… 主要字段： 偏微分方程（35-XX）；经典热力学，传热（80-XX）；量子理论（81-XX）…
蝴蝶结2 23篇文献引用(2015–2022) 软件作者： Langmead，B.，S.L.Salzberg 相关软件： BWA；肥皂；HISAT… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
SPAdes系列 24篇文献引用(2015–2023) 软件作者： 安东·班克维奇（Anton Bankevich）、谢尔盖·努克（Sergey Nurk）、德米特里·安蒂波夫（Dmitry Antipov 相关软件： 天鹅绒；仪表；ABySS… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
顶帽 21篇文献引用(2011–2022) 软件作者： Kim D、Pertea G、Trapnell C等人 相关软件： 生物导体；边缘R；R、 … 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
MOIP_AIRA公司 22篇文献引用(2014–2024) 软件作者： 梅利赫·奥兹伦；本杰明·伯顿（Benjamin A.Burton）。；Cameron A.G.麦克雷。 相关软件： CPLEX；苯解；NBI… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SONET公司 22篇文献引用(1996–2013) 软件作者： – 相关软件： SNDlib；TSPLIB；蜘蛛… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
内部控制系统 19份文件引用(2001–2016) 软件作者： Jean-Christophe Filliátre；Owre，Sam；哈拉尔德街；Natarajan Shankar 相关软件： CVC-Lite；CVC；箔条… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；场论与多项式（12-XX）…
梅根 6篇文献引用(2010–2023) 软件作者： Daniel H.Huson、Alexander F.Auch、Ji Qi、Stephan C.Schuster 相关软件： 四；TACOA；爆炸… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
第三章 在11份文件中引用(2001–2020) 软件作者： 黄小秋；阿努普·马丹 相关软件： 爆炸；PSI-爆炸；ClustalW… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
RSEM（RSEM） 16篇文献引用(2015–2023) 软件作者： 中国·杜威·李B 相关软件： 生物导体；R；edgeR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
STAR公司 15篇文献引用(2015–2023) 软件作者： Alexander Dobin、Carrie A.Davis、Felix Schlesinger、Jorg Drenkow、Chris Zaleski、Sonali Jha、Philippe Batut、Mark Chaisson、Thomas R.Gingeras 相关软件： R；顶帽；edgeR… 主要字段： 组合数学（05-XX）；常微分方程（34-XX）；统计学（62-XX）…
vg（vg） 16篇文献引用(2017–2024) 软件作者： E.Garrison等人。 相关软件： HISAT；BWA；r-指数… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
ABySS公司 14篇文献引用(2012–2021) 软件作者： Simpson，J.T.、Wong，K.、Jackman，S.D.、Schein，J.E.、Jones，S.J.、Birol，I。 相关软件： 天鹅绒；SPAdes；QUAST… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
ALLPATHS公司 10篇文献引用(2011–2018) 软件作者： J.Butler、I.MacCallum、M.Kleber、I.A.Shlyakhter、M.K.Belmonte、E.S.Lander、C.Nusbaum、D.B.Jaffe 相关软件： 天鹅绒；SHARCGS公司；仪表… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
虾 10篇文献引用(2010–2017) 软件作者： 隆布尔SM、拉克鲁特P、Dalca AV、Fiume M、Sidow A、Brudno M 相关软件： PatternHunter；肥皂；BWA… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；数论（11-XX）…
B平滑 14篇文献引用(2016–2023) 软件作者： Hansen，K.，B.Langmead，R.Irizarry 相关软件： 生物导体；甲基试剂盒；HMM-DM… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
HISAT公司 12份文件引用(2017–2024) 软件作者： D.Kim、B.Langmead、S.L.Salzberg 相关软件： vg；鲍蒂2；三文鱼… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
快速-dm 10篇文献引用(2008–2023) 软件作者： 安德烈亚斯·沃斯（Andreas Voss）、乔森·沃斯（Jochen Voss） 相关软件： DMAT；R；HDDM… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
CNV-序列 9份文件引用(2011–2019) 软件作者： C.Xie、M.T.Tammi 相关软件： rSW-seq；读取深度；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
KMC公司 10篇文献引用(2016–2022) 软件作者： Deorowicz，S.、Kokot，M.、Grabowski，S.和Debudaj，A 相关软件： GitHub；海怪；最小值2… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
阿拉伯 6篇文献引用(2007–2019) 软件作者： Batzoglou S、Jaffe DB、Stanley K、Butler J、Gnerre S、Mauceli E、Berger B、Mesirov JP、Lander ES 相关软件： 天鹅绒；深渊；BLAT… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
艺术 9份文件引用(2017–2023) 软件作者： 黄伟春、李乐平、杰森·迈尔斯、加博尔·马思 相关软件： BWA；鲍蒂2；GitHub… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
美洲开发银行 7份文件引用(2016–2022) 软件作者： 彭宇；Henry C.M.Leung。；Yiu，S.M。；Chin、Francis Y.L。 相关软件： SPAdes；MEGAHIT公司；天鹅绒… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
鲑鱼 9份文件引用(2017–2022) 软件作者： Rob Patro、Geet Duggal、Michael I Love、Rafael A Irizarry、Carl Kingsford 相关软件： HISAT；RSEM；edgeR… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SOAPdenovo公司 9份文件引用(2015–2021) 软件作者： R Luo、B Liu、Y Xie、Z Li、W Huang等。 相关软件： 天鹅绒；SPAdes；ABySS… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
HT序列 7份文件引用(2016–2018) 软件作者： 西蒙·安德斯（Simon Anders）、保罗·西奥多·派尔（Paul Theodor Pyl）、沃尔夫冈·胡贝尔（Wolfgang Huber） 相关软件： 生物导体；边缘R；TopHat… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
IDBA-UD公司 8份文件引用(2015–2022) 软件作者： Y.Peng、H.C.Leung、S.M.Yiu、F.Y.Chin 相关软件： SPAdes；深渊；天鹅绒… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
海怪 8份文件引用(2018–2023) 软件作者： 井架E木材；史蒂文·L·萨尔茨伯格 相关软件： 离心机；GitHub；MetaPhlAn… 主要字段： 组合数学（05-XX）；生物学和其他自然科学（92-XX）
MEGAHIT公司 8份文件引用(2017–2022) 软件作者： 李定华、刘志曼、罗瑞邦、沙达根、林德华 相关软件： SPAdes；MaxBin；IDBA… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
苹果机 8份文件引用（2002年至2022年） 软件作者： Matsen，F.A.，R.B.Kodner等人。 相关软件： FastTree；蛾类；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
宣称 8份文件引用(2010–2023) 软件作者： Linda Hung；黄、陈；Shin，Ilgyou；Ho，Gregory S。；Lignères，Vincent L。；艾米丽·卡特（Emily A.Carter）。 相关软件： COMSOL公司；量子浓缩咖啡；种姓… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
SHARCGS公司 2份文件引用(2012–2017) 软件作者： Dom，J.C.、Lottaz，C.、Borodina，T。 相关软件： 天鹅绒；ALLPATHS公司；萨克… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
SOPRA公司 7份文件引用(2015–2021) 软件作者： A.Dayarian、T.P.Michael、A.M.Sengupta 相关软件： 草地；SCARPA；Bambus 2… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
BS搜索器 6篇文献引用(2012–2022) 软件作者： Chen，P.Y.、S.J.Cokus、M.Pellegrini 相关软件： BSMAP；俾斯麦；B平滑… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
FindPeaks公司 3份文件引用(2012–2013) 软件作者： Fejes AP、Robertson G、Bilenky M等人。 相关软件： 贝叶斯峰；DEGseq；KEGG… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
剑道 4份文件引用(2011–2018) 软件作者： Olszewski，M。；Ansel，J。；阿马拉辛格，S。 相关软件： ParaSCIP；CapoOne；MIPLIB2003… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
RNA子点 7份文件引用(2012–2023) 软件作者： Ivo L Hofacker、Stefan Wuchty、Walter Fontana、Ronny Lorenz 相关软件： RNA折叠；维也纳RNA；多重… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）…
SCARPA公司 7份文件引用(2009–2021) 软件作者： N.Donmez，M.Brudno 相关软件： 草地；SOPRA；Bambus 2… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
seqCBS公司 7份文件引用(2012–2023) 软件作者： Jeremy J.Shen、Nancy R.Zhang 相关软件： glmnet；半标准杆；Pindel… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；天文学和天体物理学（85-XX）…
萨克 4份文件引用(2015–2019) 软件作者： RenéL.Warren、Granger G.Sutton、Steven J.M.Jones、Robert A.Holt 相关软件： 天鹅绒；SHARCGS公司；ABySS… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
缩放 5份文件引用(2010–2018) 软件作者： 郝琳、张泽峰、迈克尔·Q·张、马斌、李明 相关软件： 肥皂；虾；BWA… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
算法898 6篇文献引用(2010–2022) 软件作者： 阿尔布雷希特，马丁；格雷戈里·巴德（Gregory Bard）；威廉·哈特 相关软件： M4RI；岩浆；SageMath… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；群论与推广（20-XX）；数值分析（65-XX）…
BSMAP公司 5份文件引用(2012–2022) 软件作者： Xi，Y。；W.李 相关软件： BS搜索器；俾斯麦；蝴蝶结2… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
云爆发（CloudBurst） 2份文件引用(2013–2018) 软件作者： 迈克尔·C·沙茨 相关软件： 肥皂；RF女士；MapReduce… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
MapSplice（贴图拼接） 6篇文献引用(2016–2019) 软件作者： 王、达珊·辛格、郑曾、斯蒂芬·科尔曼、黄燕、格列布·萨维奇、夏平·何、彼得·米茨科夫斯基、萨拉·格里姆、查尔斯·佩罗、詹姆斯·麦克劳德、德里克·蒋、杨·普林斯、刘进泽 相关软件： RSEM；STAR；R、 … 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
MetaProb公司 6篇文献引用(2017–2022) 软件作者： 萨缪尔·吉罗托；科明，马泰奥；辛齐亚·皮齐 相关软件： 克拉克；海怪；SpEED… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
发抖 6篇文献引用(2011–2021) 软件作者： D.R.Kelley、M.C.Schatz、S.L.Salzberg 相关软件： KmerStream；SHREC；爬行动物… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
环STM 5份文件引用(2010–2022) 软件作者： Spear，M.F.、Michael，M.M.、von Praun，C。 相关软件： NOrec；印章；TLRW… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
RNA折叠 6篇文献引用(2012–2023) 软件作者： Ivo L Hofacker、Walter Fontana、Sebastian Bonhoeffer、Peter F Stadler、Ronny Lorenz 相关软件： RNAsubopt；多重折叠；维也纳RNA… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）…
TRNSYS公司 5份文件引用(2001–2019) 软件作者： 热能系统专家有限责任公司 相关软件： Matlab；EnergyPlus公司 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
BEETL公司 5份文件引用(2012–2021) 软件作者： 安东尼·考克斯（Anthony J.Cox）。；托拜厄斯·雅科比；乔瓦娜·罗森（Giovanna Rosone）；舒尔兹·特里格拉夫（Ole B.Schulz-Trieglaff）。 相关软件： BWA；SCALCE；SlimGene… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
离心机 5份文件引用(2018–2023) 软件作者： Daehwan Kim、Li Song、Florian P Breitwieser、Steven L Salzberg 相关软件： 海怪；MaxBin；MetaBAT… 主要字段： 组合数学（05-XX）；生物学和其他自然科学（92-XX）
克拉克 5份文件引用(2017–2023) 软件作者： 乌尼特，R。；Wanamaker，S。；Close，T.J。；Lonardi，S.公司。 相关软件： MetaProbe公司；海怪；SpEED… 主要字段： 组合数学（05-XX）；生物学和其他自然科学（92-XX）
DSP生成器 4份文件引用(2008–2021) 软件作者： Altera公司 相关软件： Matlab；Simulink；gpuls-mwcp… 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
DTREG公司 2份文件引用(2010–2022) 软件作者： 谢罗德PH 相关软件： 神经网络工具箱；KernSmooth；基因组学… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
功能计数 5份文件引用(2016–2018) 软件作者： 廖毅（Liao Y）、斯密思（Smyth GK）、史伟（Shi W） 相关软件： R；生物导体；edgeR… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
FragGene扫描 5份文件引用(2012–2022) 软件作者： Rho M、Tang H、Ye Y 相关软件： ClustalW；SPAdes；JBROWSE… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；运筹学，数学规划（90-XX）…
草地 5份文件引用(2015–2021) 软件作者： A.A.Gritsenko、J.F.Nijkamp、M.J.T.Reinders、D.de Ridder 相关软件： SCARPA；高音；Bambus 2… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MaxBin（最大箱子） 5份文件引用(2020–2022) 软件作者： Wu，Y.W.，Simmons，文学学士，Singer，S.W。 相关软件： MetaBAT；MEGAHIT公司；离心机… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
MOABS公司 5份文件引用(2016–2017) 软件作者： Sun，D.、Y.Xi、B.Rodriguez、H.J.Park、P.Tong、M.Meong、M.A.Goodell、W.Li 相关软件： IMA；甲基试剂盒；B平滑… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
莫尔登 2份文件引用(2006–2016) 软件作者： G.Schaftenaar、J.H.Noordik 相关软件： 查姆；Gabedit；WebMO… 主要字段： 统计力学，物质结构（82-XX）；生物学和其他自然科学（92-XX）
MPSCAN公司 4份文件引用(2010–2022) 软件作者： E.Rivals、L.Salmela、P.Kiiskinen、P.Kalsi、J.Tarhio 相关软件： BWA；通过；Iedera… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
ORA公司 5份文件引用(2009–2017) 软件作者： 凯萨琳·M·卡利；尤尔根·普费弗；杰夫·雷明加（Jeff Reminga）；乔恩·斯托里克（Jon Storrick）；戴夫·哥伦布 相关软件： Matlab；MatlabBGL；MATPOWER… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
RazerS（剃须刀） 4份文件引用(2010–2022) 软件作者： 韦斯，D.，霍尔特格鲁，M.，雷内特，K。 相关软件： BWA；SeqAn；蝴蝶结2… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
Readjoiner公司 5份文件引用(2016–2022) 软件作者： G.Gonnella；S.库尔茨 相关软件： 消息消息；SHREC；卡博姆… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
ScaffMatch（ScaffMatch） 4份文件引用(2016–2021) 软件作者： 曼德里克，I。；泽利科夫斯基，A。 相关软件： 最佳；草地；Bambus 2… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Tmix公司 2份文件引用(2015–2019) 软件作者： M.C.Weigle、P.Adurthi、F.Hernandez-Campos、K.Jeffay、F.D.Smith 相关软件： ns-3；QKDNetSim；QKD… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
发生了什么 4份文件引用(2017–2018) 软件作者： Patterson M、Marschall T、Pisanti N、van Iersel L、Stougie L、Klau GW、Schönhuth A 相关软件： HapCol；OpenDMAP；NoFold… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
AgsyHOL公司 4份文件引用（2013-2015） 软件作者： F.林布拉德。 相关软件： TPTP；Nitpick公司；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
最佳 4份文件引用(2016–2021) 软件作者： Sahlin，K。；韦齐，F。；Nystedt，B。；伦德伯格，J。；阿维斯塔德，L。， 相关软件： 草地；班布斯2；ScaffMatch… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
BFAST公司 3份文件引用(2010–2017) 软件作者： 霍默，N.，梅里曼，B.，纳尔逊，S.F。 相关软件： 虾；PatternHunter；BWA… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
去BGA 4份文件引用(2017–2022) 软件作者： B.Liu、H.Guo、M.Brudno、Y.Wang 相关软件： BrownieAligner；vg；HISAT… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
番石榴 1份文件引用(2005) 软件作者： David F.Bacon、Robert E.Strom、Ashis Tarafdar 相关软件： 调制；OCaml；AtomCaml… 主要字段： 计算机科学（68-XX）
HiTEC公司 3份文件引用(2011–2023) 软件作者： 伊利·L·、法扎耶利·F·、伊利·S·。 相关软件： SHREC；爬行动物；地震… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
H峰值 4份文件引用(2012–2016) 软件作者： 秦泽斯，于杰，沈杰，等。 相关软件： 贝叶斯峰；CLIPZ公司；计数… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
MetaSim公司 2份文件引用(2017–2018) 软件作者： 哥伦比亚特区里希特。；奥特·F。；A.F.奥赫。；施密德，R。；哈森，D.H。 相关软件： 一个；梅根；爆炸… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
扁圆 4份文件引用(2020–2022) 软件作者： 阿努拉达·维克拉马拉奇；林，于 相关软件： 离心机；MaxBin；MetaBAT… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
PBSIM卡 4份文件引用(2017–2023) 软件作者： Y.Ono、K.Asai、M.Hamada 相关软件： SPAligner；lra；图形对齐器… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
烫发 2份文件引用(2010–2014) 软件作者： Y.Chen、T.Souaiaia、T.Chen 相关软件： 缩放；PatternHunter；SHRiMP… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
平德尔 2份文件引用(2016–2017) 软件作者： Kai Ye、Marcel H.Schulz、Quan Long、Rolf Apweiler、Zemin Ning 相关软件： 德利；LUMPY；wgsim… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
波尔卡 4份文件引用(2002–2007) 软件作者： 约翰·斯塔斯科（John T.Stasko）。；约瑟夫·F·韦尔利 相关软件： 探戈；利奥纳多；Pavane… 主要字段： 计算机科学（68-XX）
读取深度 4份文件引用(2015–2018) 软件作者： Miller，CA等人。 相关软件： CNV序列；R；ExomeWalker… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
SEPP公司 4份文件引用（2002年至2022年） 软件作者： S Mirarab、N Nguyen、T Warnow 相关软件： MLTreeMap；FastTree；pplacer… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
SHREC公司 3份文件引用(2011–2018) 软件作者： 施罗德·J、施罗德·H、普格利西·S·J、辛哈·R、施密特·B。 相关软件： 爬行动物；HiTEC；地震… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）