PVS公司 617文件引用(1993–2023) 软件作者： Sam Owre、Natarajan Shankar、John Rushby 相关软件： Coq；Isabelle/HOL；HOL… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
帕斯卡声码 99篇文献引用(2010–2023) 软件作者： Everingham，M.、Eslami，S.M.A.、Van Gool，L.、Williams，C.K.I.、Winn，J.、Zisserman，A 相关软件： SIFT；图像网络；MS-COCO… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
伊萨尔 156篇文献引用(2000–2024) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
NESTA公司 146篇文献引用(2010–2023) 软件作者： 斯蒂芬·贝克尔（Stephen Becker）；杰罗姆·博宾（Jerome Bobin）；伊曼纽尔·坎迪斯。 相关软件： PDCO；SPGL1；TFOCS… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
雅高 52篇文献引用(2009–2023) 软件作者： J.Hoffart、F.Suchanek、K.Berberich、G.Weikum、G.Kasneci 相关软件： DBpedia；自由基；WordNet… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；统计学（62-XX）…
SDP包 50篇文献引用(1998–2015) 软件作者： Nayakakuppam M V、Overton M L、Schemta S。 相关软件： SDPT3；塞杜米；CSDP… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
水母 37篇文献引用(2013–2023) 软件作者： 本杰明·雷赫特（Benjamin Recht）；克里斯托弗·雷 相关软件： softImpute；传奇；SDPLR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
GraRep公司 32篇文献引用(2017–2023) 软件作者： S.Cao、W.Lu、Q.Xu 相关软件： node2vec；DeepWalk；线路… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
光束-ACO 22篇文献引用(2004–2022) 软件作者： 克里斯蒂安·布鲁姆 相关软件： AntNet；MACS-VRPTW；糖… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CCLS公司 26篇文献引用(2015–2023) 软件作者： 罗，C。；蔡，S。；Wu，W。；杰，Z。；苏，K。 相关软件： MaxHS；周六4j；QMaxSAT… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
迪巴普 15篇文献引用(2008–2021) 软件作者： 亨宁·梅耶亨克；博克哈德·莫尼恩（Burkhard Monien）；托马斯·索尔瓦尔德 相关软件： 气泡-FOS/C；KaFFPa；梅蒂斯… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
通用汽车公司 9份文件引用(2012–2021) 软件作者： Mostafavi，S.、Ray，D.、Warde-Farley，D.、Grouios，C.、Morris，Q。 相关软件： 细胞景观；字符串；生物网格… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
分裂 在11份文件中引用(2018–2023) 软件作者： S.Smith、N.Ravindran、N.D.Sidiropoulos、G.Karypis 相关软件： 张量工具箱；DFacTo；算法862… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
拓扑网络 在11份文件中引用(2020–2023) 软件作者： 仓子轩、魏国伟 相关软件： 裂土器；持久性图像；TDA… 主要字段： 组合数学（05-XX）；代数拓扑（55-XX）；流形和细胞复合体（57-XX）…
iDHS EL公司 10篇文献引用(2016–2019) 软件作者： 刘，B。；朗·R。；周，K.-C。 相关软件： Pse-in-One；pSuc-Lys；Prnam-PC… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
紧缩 10篇文献引用(2013–2021) 软件作者： Haury，A.C.、Mordelte，F.、Vera-Licona，P.、Vert，J.P。 相关软件： 阿拉伯国家石油公司；SIRENE公司；JASPAR… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
JCI公司 9份文件引用(2020–2023) 软件作者： Joris M.Mooij。；Sara Magliabane；汤姆·克拉森 相关软件： TETRAD公司；pcalg；bn学习… 主要字段： 组合数学（05-XX）；范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）…
EdgeRewire公司 8份文件引用(2016–2023) 软件作者： Chan，Hau；莱曼·阿科格鲁 相关软件： 科内克特；网络通信；帕耶克… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
ils-mwis系统 8份文件引用(2018–2021) 软件作者： 布鲁诺·诺盖拉；皮涅罗（Rian G.S.Pinheiro）。；阿南德苏布拉曼尼亚语 相关软件： gpuls-mwcp；CUDA；DIMACS… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
CA基因 7份文件引用(2020–2023) 软件作者： Wagner，M.、Kleine，K.、Simos，D.E.、Kuhn，R.、Kacker，R。 相关软件： 行为；AETG；准确指出 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GMNN公司 7份文件引用(2020–2023) 软件作者： 孟曲、约舒亚·本吉奥、简唐 相关软件： NetKit；结构；DeepWalk… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
动态记录仪2vec 5份文件引用(2020–2023) 软件作者： 帕拉什·戈亚尔（Palash Goyal）、苏吉特·罗卡·切特里（Sujit Rokka Chhetri）、阿基米德斯·卡内多（Arquimedes Canedo） 相关软件： DynGEM；节点2vec；DeepWalk… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
GEDEVO公司 2份文件引用（2013年至2022年） 软件作者： 伊布拉基莫夫、拉希德；马利克，马克西米利安；郭炯；鲍姆巴赫，Jan 相关软件： C-GRAAL公司；伟大的；生物网格… 主要字段： 组合数学（05-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
NetRAX公司 3份文件引用(2022–2024) 软件作者： 卢特罗普，S。；斯科纳瓦卡，C。；科兹洛夫，AM；莫雷尔，B。；斯塔马塔基斯，A。 相关软件： PhyloNetworks；MSC四重奏；SVD四重奏… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；生物学和其他自然科学（92-XX）…
尼日利亚货币基金组织 2份文件引用(2021) 软件作者： 马林卡？伊特尼克；布拉日·祖潘 相关软件： UCI-ml；NetworkX公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SibRank公司 3份文件引用(2016–2018) 软件作者： Shams，Bita；萨曼哈拉提扎德 相关软件： 护理；PathRank；特征秩… 主要字段： 组合数学（05-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
标志 3份文件引用(2022–2023) 软件作者： 法布里奇奥·弗雷斯卡（Fabrizio Frasca）、伊曼纽尔·罗西（Emanuele Rossi）、大卫·伊纳德（Davide Eynard）、本·张伯伦（Ben Chamberlain）、迈克尔·布朗斯坦（Michael Bronstein）、费德里科·蒙蒂 相关软件： 亚当；github；群集-GCN… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
DyOS公司 2份文件引用(2006–2012) 软件作者： 克劳斯·斯托克曼 相关软件： CapeML；ADiCape；gPROMS… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）
SpEagle公司 2份文件引用(2017–2020) 软件作者： S.Rayana；L.阿科鲁 相关软件： 糕点；欺诈；和弦… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
ACME公司 引用于1份文件(2015) 软件作者： Sahli M、Mansour E、Kalnis P 相关软件： KEGG；HAPLO公司；MAVisto… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
KPlex池 引用于1份文件(2021) 软件作者： 大卫·巴丘；阿莱西奥·孔蒂；罗伯托·格罗西；弗朗切斯科·兰多尔菲；安德烈亚·马里诺 相关软件： TU数据集；格拉克勒斯；布伦达… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）