PHC包 250篇文献引用(1999–2024) 软件作者： Jan Verschelde公司 相关软件： 贝尔蒂尼；麦考利2号；HOM4PS… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
LattE公司 134篇文献引用(2003–2024) 软件作者： De Loera，J.A.，Hemmecke，R.，Tauzer，J.，Yoshida，R；科普先生 相关软件： Normaliz；多品牌；4ti2… 主要字段： 组合数学（05-XX）；数论（11-XX）；凸和离散几何（52-XX）…
肌肉 54篇文献引用(2005–2023) 软件作者： R.C.埃德加 相关软件： ClustalW；MAFFT；T-咖啡… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
夏普SAT 32篇文献引用(2011–2023) 软件作者： M·瑟利。 相关软件： 夏普；GANAK公司；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
深色SUSY 29篇文献引用(2006–2022) 软件作者： P缆车；J Edsjö；乌利奥；L Bergström；M Schelke；E A巴尔茨 相关软件： 微囊藻；柔软；PYTHIA8… 主要字段： 代数几何（14-XX）；偏微分方程（35-XX）；量子理论（81-XX）…
图尔巴尔2 引用于27份文件(2007–2023) 软件作者： 托马斯·希克斯；西蒙·德·吉夫里（Simon de Givry）；大卫·阿洛奇 相关软件： mplp2；数字插孔；MaxHS… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
隔离 25篇文献引用(2005–2023) 软件作者： 塞德尔，雷蒙德；尼古拉·沃尔珀特 相关软件： 隔离；枫树；阿克塞尔… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
二叉树 24篇文献引用(2010–2023) 软件作者： 埃里克·罗兰。 相关软件： 组织环境信息系统；GJsqfree；GJSAW… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；数论（11-XX）…
addreg（添加注册表） 22篇文献引用(2004–2023) 软件作者： 哈拉尔德·费克贾尔和奥德·奥阿伦 相关软件： R；invGauss；timereg… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
皇家卫星 18篇文献引用(2008–2016) 软件作者： 结Pipatsrisawat；阿德南·达尔维什 相关软件： MiniSat；糠；PicoSAT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ROTA公司 18篇文献引用(2000–2022) 软件作者： 多龙·泽尔伯格 相关软件： 梅利斯；USAW公司；USAP… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；交换代数（13-XX）…
紫苏 14篇文献引用(2007–2022) 软件作者： 马库斯·贝勒 相关软件： Matlab；Normaliz；PPL… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
巴维诺克 12份文件引用(2007–2017) 软件作者： Verdoolaege S；英里亚 相关软件： LattE；多品牌；cdd… 主要字段： 组合数学（05-XX）；数论（11-XX）；凸和离散几何（52-XX）…
CAV汽车 13份文件引用(2011–2023) 软件作者： 布莱恩·纳卡穆拉 相关软件： GJsqfree；GJSAW；GJ系列… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；代数几何（14-XX）…
卡沃什 10篇文献引用(2012–2021) 软件作者： Kashani ZR、Ahrabian H、Elahi E、Nowzari-Dalini A、Ansari ES、Asadi S、Mohammadi S、Schreiber F、Masoudi-Nejad A 相关软件： FANMOD公司；国防部；NeMoFinder… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
DOULION公司 12份文件引用(2011–2020) 软件作者： C.E.Tsourakakis、U.Kang、G.L.Miller、C.Faloutsos 相关软件： MapReduce；5桶；六个子图… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
Mahonian统计 12份文件引用(2011–2020) 软件作者： 坎菲尔德，E.罗德尼；斯万特·简森；多龙·泽尔伯格 相关软件： 查找统计信息；SageMath；F12345… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
KMC公司 10篇文献引用(2016–2022) 软件作者： Deorowicz，S.、Kokot，M.、Grabowski，S.和Debudaj，A 相关软件： GitHub；海怪；最小值2… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
甘纳克语 9份文件引用(2020–2023) 软件作者： 沙尔马、舒巴姆；罗伊，苏巴吉特；马特·索斯；Kuldeep S.梅尔。 相关软件： sharpSAT；htd；Dsharp… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
La Jolla差集 9份文件引用(2006–2023) 软件作者： 丹尼尔·戈登（Daniel M.Gordon）。 相关软件： 间隙；SageMath；bn学习 主要字段： 组合数学（05-XX）；场论与多项式（12-XX）；群论与推广（20-XX）…
bs3np 8份文件引用(2008–2023) 软件作者： 辛国策；张特伦斯·Y·J。 相关软件： 组织环境信息系统；枫树；罗宾斯 主要字段： 组合数学（05-XX）；交换代数（13-XX）；结合环与代数（16-XX）
HT序列 7份文件引用(2016–2018) 软件作者： 西蒙·安德斯（Simon Anders）、保罗·西奥多·派尔（Paul Theodor Pyl）、沃尔夫冈·胡贝尔（Wolfgang Huber） 相关软件： 生物导体；边缘R；TopHat… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
马特朗 8份文件引用(2018–2022) 软件作者： 弗洛里斯·吉尔茨 相关软件： LaraDB；APL；xarray… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
舒伯特2 7份文件引用(2015–2022) 软件作者： 丹尼尔·格雷森（Daniel R.Grayson）、迈克尔·斯蒂尔曼（Michael E.Stillman）、斯坦·斯特罗姆（Stein A.Strömme）、大卫·艾森巴德（David Eisenbud）、查理·克里斯曼（Charley Crissman） 相关软件： 麦考利2号；3264册示例；GitHub… 主要字段： 代数几何（14-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CADbot 7份文件引用(2020–2023) 软件作者： 萨恩多·费科特。；罗伯特·格梅尔（Robert Gmyr）；萨布丽娜·雨果；菲利普·凯尔德尼奇（Phillip Keldenich）；谢弗（Christian Scheffer）；阿恩·施密特 相关软件： AmoebotSim公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
Regexpcount公司 6篇文献引用(2003–2014) 软件作者： 尼科德梅，皮埃尔 相关软件： 枫树；RSEARCH；fastDNAml… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
拉迪巴格 4份文件引用(2007–2014) 软件作者： Michael Hoehle、Ulrike Feldmann、Sebastian Meyer 相关软件： R；阿美；CODA… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
计数器QH。米 5份文件引用(2017–2021) 软件作者： 加西亚，贝伦；伦巴德罗；Pérez del Río，Jesús s。 相关软件： Matlab公司 主要字段： 场论与多项式（12-XX）；特殊功能（33-XX）；常微分方程（34-XX）…
FC公司++ 5份文件引用(2002–2011) 软件作者： 布莱恩·麦克纳马拉（Brian McNamara）；亚尼斯·斯马拉格达基斯 相关软件： STL；Lambda库C++；Python… 主要字段： 代数拓扑（55-XX）；计算机科学（68-XX）
功能计数 5份文件引用(2016–2018) 软件作者： 廖毅（Liao Y）、斯密思（Smyth GK）、史伟（Shi W） 相关软件： R；生物导体；edgeR… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
MAS公司 5份文件引用（1997年至2015年） 软件作者： Kredel，H.，Pesch，M 相关软件： 菅直人；伯格曼；费利克斯… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；非结合环与代数（17-XX）…
RazerS（剃须刀） 4份文件引用(2010–2022) 软件作者： 韦斯，D.，霍尔特格鲁，M.，雷内特，K。 相关软件： BWA；SeqAn；蝴蝶结2… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
SARAG公司 5份文件引用(2003–2008) 软件作者： 法布里西奥·卡鲁索 相关软件： QEPCAD；RAGlib；FGb… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）…
字谍 3份文件引用（2013-2016） 软件作者： 王G1，于泰，张伟。 相关软件： MotifMiner公司；网络MOTIFS；减少… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
欺诈风险区块链交易 4份文件引用(2019–2022) 软件作者： 皮埃尔·奥·戈法德。 相关软件： DLMF；LIS；github 主要字段： 场论与多项式（12-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
猜猜Hol2 4份文件引用(2007–2011) 软件作者： 多伦·齐尔伯格 相关软件： qGeneratingFunctions；猜测；速率… 主要字段： 组合数学（05-XX）；数论（11-XX）；特殊功能（33-XX）…
ADZE公司 2份文件引用(2011–2014) 软件作者： Zachary A.Szpiech、Mattias Jakobsson、Noah A.Rosenberg 相关软件： iGLASS；FTEC公司 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
计数基序 3份文件引用(2016–2019) 软件作者： Nuel，G。；德洛斯，V。 相关软件： fsaLib；BWA；R（右） 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
DWE公司 3份文件引用（2007-2012） 软件作者： Sumazin P、Chen G、Hata N、Smith AD、Zhang T和Zhang MQ 相关软件： WebLogo；ClustalW；BioProspector… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
FLOPS（浮动） 3份文件引用(2018–2020) 软件作者： 钱，H。 相关软件： PolyMesher公司；METIS公司 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
FreeSquares（自由平方） 3份文件引用(2005–2009) 软件作者： M.卡兹曼 相关软件： 组织环境信息系统；麦考利2 主要字段： 历史与传记（01-XX）；组合数学（05-XX）；交换代数（13-XX）
Gc平移 3份文件引用(2007–2011) 软件作者： 丹尼尔·赫希科夫（Daniel Hirschkoff）；Damien Pous；戴维·桑吉奥吉 相关软件： SLMC；OCaml；科莱姆… 主要字段： 计算机科学（68-XX）
光速 3份文件引用(2011–2022) 软件作者： T.明卡 相关软件： 量子浓缩咖啡；晶体；CheFSI… 主要字段： 数值分析（65-XX）；量子理论（81-XX）；生物学和其他自然科学（92-XX）…
O配置文件 2份文件引用(2016–2018) 软件作者： J.莱文。 相关软件： 瓦尔格林德；ADIFR；AMPI… 主要字段： 计算机科学（68-XX）；地球物理学（86-XX）；运筹学、数学规划（90-XX）
客房步行 3份文件引用(2011–2022) 软件作者： 多伦·齐尔伯格 相关软件： MultiZeilberger；CTcong.txt文件；OEIS… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
rootsur.lib公司 3份文件引用(2015–2020) 软件作者： 托比斯，E。 相关软件： 单一；realclassify.lib；rootisolation.lib… 主要字段： 代数几何（14-XX）
总结 1份文件引用(2017) 软件作者： E.霍维·C·Y·林 相关软件： WordNet；开放式NMT；GluonNLP… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
AMIKS公司 2份文件引用(2017–2019) 软件作者： 米哈伊尔·阿列克桑德罗维奇（Mikhail Aleksandrovich）；伊万诺夫（Ivanov），Aleksandr Aleksandrovich；德米特里·德米特里耶维奇·斯米尔诺夫 相关软件： – 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；概率论与随机过程（60-XX）…
CA计数 1份文件引用(2023) 软件作者： Shalosh B.Ekhad、N.J.A.Sloane、Doron Zeilberger 相关软件： 组织环境信息系统；艾哈德；gfun… 主要字段： 数论（11-XX）
基因组比对 2份文件引用(2014–2021) 软件作者： Lawrence M、Huber W、Pagès H、Aboyoun P、Carlson M、Gentleman R、Morgan M、Carey V 相关软件： 基因组范围；生物导体；R、 … 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
薄荷 2份文件引用(2013–2023) 软件作者： Lee，Roman N。；安德烈·波梅兰斯基。 相关软件： TiGERS；格凡；麦考利2… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；量子理论（81-XX）
mir工具 1份文件引用(2012) 软件作者： Zhu，E.，Zhao，F.，Xu，G.，Hou，H.，Zhou，L.，Li，X.，Sun，Z.，Wu，J。 相关软件： DEGseq；星基；BSMAP… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
莫克津 2份文件引用(2021–2022) 软件作者： 阿杰·布 相关软件： MotkzinClever；枫树；组织环境信息系统 主要字段： 组合数学（05-XX）；特殊功能（33-XX）；计算机科学（68-XX）
逆戟鲸 1份文件引用(2021) 软件作者： 托马日·霍奇瓦尔；珍妮斯·德姆沙尔 相关软件： R；GraphCrunch；愤怒… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
乌龟 2份文件引用(2016–2019) 软件作者： Roy，R.S.、Bhattacharya，D.、Schliep，A。 相关软件： KMC；MetaProbe公司；SAKEIMA… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
投票 1份文件引用(2021) 软件作者： Hana Sevcikova、Bernard Silverman、Adrian Raftery 相关软件： esap；rcv；最高中值规则… 主要字段： 统计学（62-XX）
克索罗 2份文件引用(2019–2020) 软件作者： 弗拉维奥·埃弗拉多；汤米·詹胡宁；罗兰·卡明斯基（Roland Kaminski）；托尔斯滕·绍布 相关软件： 克林戈；格林戈；天基信息平台… 主要字段： 计算机科学（68-XX）
生物西班牙 1份文件引用(2021) 软件作者： Chris Eliasmith、Jan Gosmann、Xuan Choo 相关软件： SpiNNaker公司；能戈；OSQP… 主要字段： 生物学和其他自然科学（92-XX）