TetGen公司 212篇文献引用(2006–2024) 软件作者： 汉斯 相关软件： 三角形；Gmsh；CGAL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
传奇 173篇文献引用(2015–2024) 软件作者： Aaron Defazio、Francis Bach、Simon Lacoste-Julien 相关软件： 阿达格拉德；LIBSVM；菲尼托… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
克林戈 140篇文献引用(2009–2024) 软件作者： 马丁·格布瑟；罗兰·卡明斯基；本杰明·考夫曼；托尔斯滕·绍布 相关软件： 格林戈；卡环；黄蜂… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
格林戈 110篇文献引用(2007–2023) 软件作者： 马丁·格布瑟、罗兰·卡明斯基、本杰明·考夫曼、马克斯·奥斯特罗斯基、托尔斯滕·绍布、斯文·蒂勒 相关软件： 克林戈；卡环；黄蜂… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
帕拉梅什 110篇文献引用(2000–2024) 软件作者： P.MacNeice、K.M.Olson、C.Mobarry、R.de Fainchtein、C.Packer 相关软件： Chombo；闪光；Gerris… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
DeepWalk公司 115篇文献引用(2017–2024) 软件作者： 布莱恩·佩罗齐（Bryan Perozzi）、拉米·阿尔罗福（Rami Al-Rfou）、史蒂文·斯基纳（Steven Skiena） 相关软件： node2vec；线路；单词2vec… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
模糊ARTMAP 44篇文献引用(1994–2023) 软件作者： Carpenter，G.A.，Grossberg，S.，Markuzon，N.，Reynolds，J.H.，Rosen，D.B。 相关软件： UCI-ml；艺术3；C4.5… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
弹丸 引用于71份文件(2006–2023) 软件作者： Sirin，E.，Parsia，B.，Grau，B.C.，Kalyanpur，A.，Katz，Y。；Clark&Parsia有限责任公司 相关软件： FaCT++；赛车手；赫密特… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
版次 87份文件引用(1984–2023) 软件作者： 皮埃尔·莱斯坎 相关软件： RRL；AProVE；蒂罗尔… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
可爱的 50篇文献引用(2003–2022) 软件作者： Koushik Sen；达科·马里诺夫；古尔·阿加 相关软件： 投掷；z3；KLEE… 主要字段： 数理逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
数学SAT 59篇文献引用(2005–2023) 软件作者： 罗伯特·布鲁托梅索、亚历山德罗·西马蒂、安德斯·弗兰森、阿尔贝托·格里乔、罗伯托·塞巴斯蒂亚尼 相关软件： z3；Yices；SMT-LIB… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
DENFIS公司 32篇文献引用(2004–2022) 软件作者： Kasabov NK、Song Q 相关软件： ANFIS；UCI-ml；ElemStatLearn… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
蛋糕ML 60篇文献引用(2014–2023) 软件作者： 拉马纳库马尔；玛格努斯·奥·米林（Magnus O.Myreen）。；迈克尔·诺里什（Michael Norrish）；斯科特·欧文斯 相关软件： Isabelle/HOL；Coq；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
路易斯安那州 24篇文献引用(2002–2023) 软件作者： 罗伯托·伊鲁萨利姆希；Waldemar Celes；路易斯·恩里克·德菲格雷多 相关软件： 蟒蛇；R；鲁比… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SATIRE（饱和） 36篇文献引用(2003–2021) 软件作者： Whittemore J、Kim J、Sakallah K 相关软件： 糠；MiniSat；伯克敏… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
美国公共广播电视公司 38篇文献引用(2003–2014) 软件作者： Aloul，F.A.、Ramani，A.、Markov，I.L.和Sakallah，K.A。 相关软件： 糠；MiniSat；伯克敏… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
水母 37篇文献引用(2013–2023) 软件作者： 本杰明·雷赫特（Benjamin Recht）；克里斯托弗·雷伊 相关软件： softImpute；传奇；SDPLR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
Poly1305-AES公司 34份文件引用(2005–2023) 软件作者： 丹尼尔·伯恩斯坦。 相关软件： MMH；恰恰；Salsa20… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；计算机科学（68-XX）…
英国 16篇文献引用(2003–2021) 软件作者： 麦地那A、拉基纳A、马塔I、拜尔斯J 相关软件： 和弦；Globus工具包；脚本… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ITP公司 31份文件引用(2005–2023) 软件作者： Clavel，M。；帕洛米诺，M。；A.里斯科。 相关软件： 莫德；SCC；咖啡OBJ… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
iPro54-PseKNC 32篇文献引用(2015–2019) 软件作者： Lin，H。；邓永中。；丁，H。；Chen，W。；周，K.-C。 相关软件： Pse-in-One；iRSpot-PseDNC；pSuc-Lys… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
条纹 31份文件引用(1997–2023) 软件作者： 罗伯特·伦卡。 相关软件： SSRFPACK；CGAL；champ… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；数值分析（65-XX）…
COOLCAT公司 22篇文献引用(2006–2024) 软件作者： Barbará，D.，Li，Y.，Couto，J。 相关软件： UCI-ml；岩石；clusfind… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
LTSmin公司 25篇文献引用(2011–2023) 软件作者： 阿尔芬斯·拉阿尔曼（Alfons Laarman）；雅各·范德波尔；迈克尔·韦伯；斯特凡·布洛姆 相关软件： 自旋蛋白；Uppaal；迪文尼… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
开放式SMT 26篇文献引用(2010–2018) 软件作者： 罗伯特·布鲁托梅索；埃德加·佩克（Edgar Pek）；娜塔莎·莎莉吉娜；阿里亚克西·齐托维奇 相关软件： z3；数学SAT5；CVC4… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
菲尼托 27篇文献引用(2015–2023) 软件作者： Defazio，A.，Domke，J.，Caetano，T。 相关软件： 传奇；LIBSVM；SpiderBoost… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
帕科 25篇文献引用(2013–2021) 软件作者： Chung-Kil Hur、Georg Neis、Derek Dreyer、Viktor Vafeiadis 相关软件： Coq；Isabelle/HOL；Agda… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
iNuc-PhysChem 24篇文献引用(2013–2019) 软件作者： Chen，W。；林，H。；冯，P.M。；丁，C。；Zuo，Y.C。；周，K.C。 相关软件： iRSpot-PseDNC；iSNO-PseAAC；iRSpot-TNCPseAAC… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
帕拉库巴 24篇文献引用(2020–2023) 软件作者： 马克西米利安·海辛格；马蒂亚斯·弗勒里；阿明·比尔 相关软件： CaDiCaL；基萨特；MiniSat… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
本地化程序 21篇文献引用(1999–2021) 软件作者： 劳伦特·米歇尔（Laurent Michel）；帕斯卡·范·亨特利克 相关软件： 彗星；SALSA；EasyLocal++… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；通用拓扑（54-XX）…
伊普森 20篇文献引用(1991–2010) 软件作者： 安迪·舒尔 相关软件： mctoolbox；LAPACK；PostgreSQL… 主要字段： 历史与传记（01-XX）；线性代数和多线性代数；矩阵理论（15-XX）；算子理论（47-XX）…
莫扎特 15篇文献引用(1999–2018) 软件作者： 彼得·范罗伊；塞夫·哈里迪 相关软件： 奥兹；CPLEX；芯片… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
立方厘米（FD） 18篇文献引用(1998–2022) 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；维杰·萨拉斯瓦特；伊夫·迪维尔 相关软件： CPLEX；彗星；Choco… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PROPhESY公司 17篇文献引用（2015年至2022年） 软件作者： Dehnert，C.，Junges，S.，Jansen，N.，Corzilius，F.，Volk，M.，Bruintjes，H.，Katoen，J.-P.，Al braháM，E。 相关软件： 棱镜；风暴；参数… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
荷鲁斯 14篇文献引用（1995年至2019年） 软件作者： Robbert Van Renesse、Takako M.Hickey、Kenneth P.Birman 相关软件： Nuprl；PVS；Verdi… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
TRIPACK（行程） 16篇文献引用(1996–2021) 软件作者： R.J.伦卡。 相关软件： SRFPACK；算法761；TSPACK… 主要字段： 凸和离散几何（52-XX）；统计学（62-XX）；数值分析（65-XX）…
AddIntent（添加意向） 15篇文献引用(2004–2021) 软件作者： 范德梅尔，院长；谢尔盖·奥比耶德科夫；德瑞克·库里 相关软件： UCI-ml；FCALGS；SearchSleuth… 主要字段： 阶、格、有序代数结构（06-XX）；统计学（62-XX）；计算机科学（68-XX）…
协处理器 12份文件引用(2015–2021) 软件作者： 诺伯特·曼泰 相关软件： 玲玲；MiniSat；弯曲… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
瑞亚 16篇文献引用(2004–2020) 软件作者： 郑，郑；王国银 相关软件： UCI-ml；LERS；RSBR_… 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
HyFIS公司 9份文件引用(2002–2022) 软件作者： Kim J、Kasabov N 相关软件： ANFIS；DENFIS；树… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
iClingo公司 12份文件引用（2009年至2022年） 软件作者： 罗兰·卡明斯基 相关软件： 克林戈；卡环；格林戈… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
MAFRA公司 14篇文献引用(2002–2015) 软件作者： 亚历山大·马德奇（Alexander Maedche）；Boris Motik；努诺·席尔瓦；拉斐尔·沃尔兹 相关软件： 泡沫；及时；yOWL… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；相对论和引力理论（83-XX）
PBLib（公共图书馆） 15篇文献引用(2007–2023) 软件作者： 托拜厄斯·菲利普；彼得·斯坦克 相关软件： 弯曲；MiniSat；玲玲… 主要字段： 总体主题；藏品（00-XX）；群论与推广（20-XX）；凸和离散几何（52-XX）…
MEKA公司 在11份文件中引用(2016–2023) 软件作者： 瑞德，杰西；彼得·鲁特曼（Peter Reutemann）；伯恩哈德·普法林格；杰夫·霍尔姆斯 相关软件： MULAN；ML-KNN；科学-多媒体… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
优化数学卫星 14篇文献引用(2016–2023) 软件作者： 塞巴斯蒂亚尼，R.，特伦丁，P。 相关软件： vZ；z3；SMT-LIB… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
AMT公司 12份文件引用(2008–2018) 软件作者： D.尼科维奇，O.马勒 相关软件： Uppaal；SpaceEx；棱镜… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
iCaRL公司 在11份文件中引用（2019年-2023年） 软件作者： Sylvestre-Alvise Rebuffi、Alexander Kolesnikov、Georg Sperl、Christoph H.Lampert 相关软件： ImageNet；亚当；PyTorch… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
LMHS公司 12份文件引用(2016–2022) 软件作者： 保罗·赛科（Paul Saikko）；杰里米亚斯·伯格（Jeremias Berg）；马蒂·Järvisalo 相关软件： QMaxSAT；周六4j；Open-WBO… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
PRONTO 2D系列 13份文件引用(1987–2015) 软件作者： L.M.泰勒。；弗拉纳根，D.P。 相关软件： DYNA3D；LS-DYNA；DYNA2D… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
卡西沃里 10篇文献引用(2005–2022) 软件作者： Greg J.Badros、Alan Borning、Peter J.Stuckey 相关软件： QOCA；HiRise；天蓝色… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SA集群 12份文件引用(2012–2022) 软件作者： 程红；周，杨；黄欣；余，Jeffrey Xu 相关软件： 集群内；GraRep；节点2vec… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
阿尔迪斯 在11份文件中引用(2013–2022) 软件作者： 亚历山德罗·维内齐亚尼（Alessandro Veneziani）；别墅，翁贝托 相关软件： FEATFLOW；FEniCS；CSparse… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
山猫 10篇文献引用(2013–2021) 软件作者： Ganesh，V.、O'Donnell，C.W.、Soos，M.、Devadas，S.、Rinard，M.C.、Solar-Lezama，A。 相关软件： 数学检查；枫树；FFTW… 主要字段： 组合数学（05-XX）；数论（11-XX）；几何（51-XX）…
天蓝色 8份文件引用(1998–2021) 软件作者： 迈克尔·桑内拉 相关软件： QOCA；HiRise；食火鸡… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
布莱斯 10篇文献引用（2009年至2022年） 软件作者： 基思·博纳维茨（Keith Bonawitz）、维卡什·曼辛加（Vikash Mansinghka）、博·克罗宁（Beau Cronin） 相关软件： bnsoft；推断。网络；R、 … 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
iSAM2系统 9份文件引用(2015–2023) 软件作者： 凯斯，M。；约翰松，H。；罗伯茨，R。；伊拉，V。；Leonard，J。；Dellaert，F。 相关软件： g2o；MonoSLAM；SE同步… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
学习++ 5份文件引用(2010–2022) 软件作者： R.Polikar、L.Upda、S.S.Upda和V.Honavar 相关软件： DENFIS；ElemStatLearn；学习++。NC… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
扣 9份文件引用(2012–2021) 软件作者： 马丁·格布瑟（Martin Gebser）；罗兰·卡明斯基（Roland Kaminski）；穆拉特·奈赫特（Murat Knecht）；托尔斯滕·绍布 相关软件： PDDL；克林戈；ROSoClingo… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
CoCo公司 6篇文献引用(2002–2018) 软件作者： Badsberg JH公司 相关软件： MIM；R；mclust… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
GenSoFNN公司 4份文件引用(2006–2012) 软件作者： 东，W.L。；C.奎克。 相关软件： ANFIS；DENFIS；RSPOP公司 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
InKreSAT公司 9份文件引用(2013–2022) 软件作者： 马克·卡明斯基（Mark Kaminski）；托比亚斯·特比 相关软件： 斯巴达克斯；BDDTab；FaCT++… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
IPSep-CoLa公司 7份文件引用(2007–2016) 软件作者： Dwyer，T.，Koren，Y.，Marriott，K。 相关软件： 邓纳特；PyGtk；XGobi… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）
PALS系统 9份文件引用（2001年至2016年） 软件作者： 维拉韦德，K。；彭泰利，E。；郭，H。；G.古普塔。 相关软件： YapOr；YAP-Prolog；pCMALib… 主要字段： 偏微分方程（35-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
熊猫 9份文件引用(2014–2021) 软件作者： 普拉塔马，M。；阿纳瓦蒂，S.G。；Angelov，P.P。；鲁霍费尔，E。 相关软件： DENFIS；ANFIS；ElemStatLearn… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；计算机科学（68-XX）…
随机UTV 9份文件引用（2019年至2024年） 软件作者： Martinsson，P.G。；金塔纳-奥尔蒂，G。；北卡罗来纳州希夫纳。 相关软件： UTV；rsvd；算法971… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
TMG公司 9份文件引用(2006–2017) 软件作者： D.泽Impukis；E.加洛普洛斯 相关软件： Matlab；JDQZ；PROPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
奈亚德 7份文件引用(2017–2022) 软件作者： D.G.Murray、F.McSherry、R.Isaacs、M.Isard、P.Barham、M.Abadi 相关软件： StreamQRE；LOLA；哈斯克尔… 主要字段： 计算机科学（68-XX）
nlme单位 7份文件引用(2013–2023) 软件作者： Andrzej Galecki、Tomasz Burzykowski 相关软件： R；S-PLUS；SAS… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
PKind公司 8份文件引用(2013–2020) 软件作者： Kahsai T，Tinelli C公司 相关软件： SeaHorn；CTIGAR；注册会计师检查程序… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
RDFox公司 5份文件引用(2020–2023) 软件作者： Nenov，Y.、Piro，R.、Motik，B.、Horrocks，I.、Wu，Z.、Banerjee，J。 相关软件： DBpedia；SPARQL；LUBM… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
YapOr公司 8份文件引用(2001–2022) 软件作者： 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 相关软件： YAP-Prolog；OPTYap；PALS… 主要字段： 计算机科学（68-XX）
DOCK（码头） 6篇文献引用(2003–2015) 软件作者： 托德·尤因（Todd J.A.Ewing）、信戈·马基诺（Shingo Makino）、A.杰弗里·斯基尔曼（A.Geoffrey Skillman）、欧文·D·昆茨（Irwin D.Kuntz） 相关软件： AutoDock；尼姆罗德/G；麦克尔… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
电子音量检查 7份文件引用(2013–2022) 软件作者： 格里戈里·费德尤科维奇；Ondrej Sery；娜塔莎·莎莉吉娜 相关软件： 佩里普洛；FunFrog；SymDiff… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
标签等级T 6篇文献引用(2016–2021) 软件作者： 谢杰瑞、陈明明、博莱斯瓦夫·西曼斯基 相关软件： C索引器；SELP；GitHub… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
诺以太.lib 7份文件引用(2008–2019) 软件作者： 阿米尔·哈希米 相关软件： 单一；枫树；投影Noether… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；计算机科学（68-XX）
序号mifs 引用于3份文件(2015–2021) 软件作者： 凯莉·J·阿彻、侯佳怡、青洲、凯尔·费伯、约翰·G·莱恩、阿曼达·金特里 相关软件： R；VGAM；ordinalNet… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
SpaceTwist（空间扭曲） 4份文件引用(2011–2022) 软件作者： Man Lung Yiu；克里斯蒂安·詹森（Christian S.Jensen）。；黄雪刚；卢，华 相关软件： 卡斯珀*；LocLok；MaPIR… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
阿达根 6篇文献引用(2019–2022) 软件作者： 伊利亚·托尔斯蒂金、西尔万·盖利、奥利维尔·博斯克、卡尔·约翰·西蒙·加布里埃尔、伯恩哈德·舍尔科夫 相关软件： Wasserstein GAN；像素x像素；CycleGAN… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；计算机科学（68-XX）…
直觉 6篇文献引用（2015年至2022年） 软件作者： 科恩·克莱森；丹·罗森 相关软件： IntHistGC；fCube；ILTP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
MBT公司 5份文件引用（1999-2005年） 软件作者： Daelemans，W.，Zavrel，J.，Berck，P.，Gillis，S。 相关软件： 宾夕法尼亚树银行；树标记器 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
PSNO公司 6篇文献引用(2015–2019) 软件作者： 张杰。；X.赵。；Sun，P。；马，Z。 相关软件： iHyd-PseAAC；邻硝基-Tyr；iSNO-PseAAC… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
Quickhull磁盘 6篇文献引用(2019–2022) 软件作者： 阮桂林；Song，Chanyoung；Ryu、Joonghyun；潘成安；Hoang，Nam-Dũng；Kim、Deok-Soo 相关软件： MinPerim公司；Qhull；VOROPACK-D… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
买办 5份文件引用(2010–2019) 软件作者： 霍利·詹斯、加里·朗顿、玛格丽特·佩佩 相关软件： Stata公司；加迈尔；引导… 主要字段： 统计学（62-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
CONISS公司 引用于3份文件(2018–2021) 软件作者： E.C.格林。 相关软件： 里奥哈；ggplot2；R、 … 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
加深切割 引用于3份文件(2018–2022) 软件作者： 埃尔达尔·因萨福丁诺夫（Eldar Insafutdinov）、列奥尼德·皮舒林（Leonid Pishchulin）、比约恩·安德烈斯（Bjoern Andres）、米哈伊洛·安德里卢卡（Mykhaylo Andriluka）、伯恩特·席勒 相关软件： MS-COCO；MultiPoseNet；个人实验室… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）…
增量CCS 4份文件引用(2015–2020) 软件作者： 马耳他州洛豪；Stephan门尼克；Hauke Baller；拉尔斯·里贝克 相关软件： VMC；自旋蛋白；莫德… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
DILS公司 5份文件引用(2020–2023) 软件作者： 德国González-Almagro；朱利安·卢恩戈；José-Ramón卡诺；萨尔瓦多加西亚 相关软件： SOS-SDP；k-均值++；AS 136… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
功能C++ 2份文件引用(2010–2018) 软件作者： Apel，S.、Leich，T.、Rosenmüller，M.、Saake，G。 相关软件： 凯撒J；方面J；分类框/J… 主要字段： 计算机科学（68-XX）
Inc群集 5份文件引用（2012年至2020年） 软件作者： 程红；周，杨；黄欣；余，Jeffrey Xu 相关软件： SA集群；线路；apcluster… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
StreamQRE（流QRE） 5份文件引用（2019年-2023年） 软件作者： 马穆拉斯，K。；拉戈塔曼，M。；阿鲁尔（Alur，R.）。；艾夫斯，Z.G。；南卡罗来纳。 相关软件： LOLA；蒙保利；奈德… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
核心50 引用于3份文件(2019–2022) 软件作者： 文森佐·洛莫纳科（Vincenzo Lomonaco）、戴维德·马尔托尼（Davide Maltoni） 相关软件： iCaRL；PyTorch；CIFAR… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）
国际数据管理 2份文件引用(2022) 软件作者： Alfonso Iodice D’Enza、Angelos Markos、Davide Buttarazzi 相关软件： 在线PCA；厄尔巴；R、 … 主要字段： 统计学（62-XX）