糠 559份文件引用(2001–2023) 软件作者： Moskewicz，M.、Madigan，C.、Zhao，Y.、Zhang，L.和Malik，S 相关软件： MiniSat；BerkMin公司；SATO… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
LISP公司 114篇文献引用（1960年-2023年） 软件作者： 约翰·麦卡锡 相关软件： ACL2；NQTHM；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Reluplex公司 71篇文献引用(2017–2024) 软件作者： 盖伊·卡茨、克拉克·巴雷特、大卫·迪尔、凯尔·朱利安、米克尔·科钦德费尔 相关软件： 马拉博；AI2；NNV… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
剪辑 64篇文献引用(1992–2020) 软件作者： 加里·莱利；吉亚兰托 相关软件： 杰斯；蛋白质；马格特… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
AlphaZero（零字母） 66份文件引用(2018–2024) 软件作者： DeepMind公司；大卫·西尔弗；托马斯·休伯特；朱利安·施里特维瑟（Julian Schrittwieser）；哈萨比斯 相关软件： 亚当；GitHub；AlexNet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
算法644 58篇文献引用(1986–2023) 软件作者： D.E.阿莫斯 相关软件： DLMF；算法838；BIZ… 主要字段： 特殊功能（33-XX）；常微分方程（34-XX）；统计学（62-XX）…
MPTP 0.2毫米 55份文件引用(2006–2021) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；VAMPIRE公司；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
梯度-CAM 41篇文献引用(2018–2024) 软件作者： Ramprasaath R.Selvaraju、Michael Cogswell、Abhishek Das、Ramakrishna Vedantam、Devi Parikh、Dhruv Batra 相关软件： ImageNet；形状；AlexNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GNMT公司 38篇文献引用(2018–2024) 软件作者： 吴永辉、迈克·舒斯特、陈志峰、奎克·V.乐、穆罕默德·诺鲁兹、沃尔夫冈·马切里、马克西姆·克里昆、袁曹、秦高、克劳斯·马切利、杰夫·克林纳、阿普瓦·沙阿、梅尔文·约翰逊、刘晓兵、Ł卡斯凯撒、斯蒂芬·古尔斯、加藤吉事、工藤隆、川秀都、基思·史蒂文斯、乔治·库里安、尼山特·帕蒂尔、王伟、克利夫·杨、杰森·史密斯，杰森·里萨（Jason Riesa）、亚历克斯·鲁德尼克（Alex Rudnick 相关软件： ImageNet；AlexNet；亚当… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；计算机科学（68-XX）…
ViT公司 24篇文献引用(2021–2024) 软件作者： Alexey Dosovitskiy、Lucas Beyer、Alexander Kolesnikov、Dirk Weissenborn、Xiaohua Zhai、Thomas Unterthiner、Mostafa Deghani、Matthias Minderer、Georg Heigold、Sylvain Gelly、Jakob Uszkoreit、Neil Houlsby 相关软件： Tensor2传感器；亚当；PyTorch… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；计算机科学（68-XX）…
霍利·哈默 31份文件引用(2014–2022) 软件作者： 塞萨里·卡利西克；约瑟夫·乌尔班 相关软件： HOL灯；VAMPIRE公司；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）
MaLeCoP公司 30篇文献引用(2011–2023) 软件作者： Josef Urban、JiříVyskočil、PetrŠtěpánek 相关软件： E定理证明器；马拉雷亚；Mizar… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
钠12 29篇文献引用(1996–2022) 软件作者： 达里奥·安德里亚·比尼；美妮、比阿特丽斯 相关软件： SM溶剂；Matlab；cqt工具箱… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；概率论与随机过程（60-XX）…
AI2公司 27篇文献引用(2020–2024) 软件作者： Gehr，T.、Mirman，M.、Drachsler-Cohen，D.、Tsankov，P.、Chaudhuri，S.、Vechev，M.T。 相关软件： Reluplex；马拉博；ImageNet… 主要字段： 代数几何（14-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
国际RNA-AI 26篇文献引用(2017–2019) 软件作者： Chen，W。；冯·P。；Yang，H.等人。；丁，H。， 相关软件： iRNA-PseColl；iRSpot-EL；pLoc-mPlant… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
LARS公司 23篇文献引用(2016–2022) 软件作者： Beck，H.、Dao-Tran，M.、Eiter，T.、Fink，M。 相关软件： 克林戈；o克林戈；SPARQL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
FEMaLeCoP公司 23篇文献引用(2015–2023) 软件作者： 塞萨里·卡利西克；约瑟夫·乌尔班 相关软件： E定理证明器；MaLeCoP；精简CoP… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；几何（51-XX）…
ShapeNet公司 16篇文献引用(2018–2023) 软件作者： Angel X.Chang、Thomas Funkhouser、Leonidas Guibas、Pat Hanrahan、Qixing Huang、Zimo Li、Silvio Savarese、Manolis Savva、Shuran Song、Hao Su、Xiao、Li Yi、Fisher Yu 相关软件： PointNet；3D-R2N2；亚当… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
DeepAR（深度AR） 19份文件引用(2021–2024) 软件作者： David Salinas、Valentin Flunkert、Jan Gasthaus 相关软件： expsmooth；亚当；Tensor2传感器… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；计算机科学（68-XX）…
水 8份文件引用(2021–2023) 软件作者： 硫酸铝 相关软件： R；Auto-WEKA；Scikit… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
天秤座 18篇文献引用(2018–2023) 软件作者： 布朗，诺姆；托马斯·桑德霍姆 相关软件： DeepStack；普里巴斯；AlphaZero… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
艾伯特 10篇文献引用(2021–2023) 软件作者： 兰振中、陈明达、古德曼、金佩尔、夏尔马、索里克特 相关软件： 伯特；RoBERTa公司；手套… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
DeepProbLog（深度探测日志） 18篇文献引用(2020–2023) 软件作者： 罗宾·曼哈夫、塞巴斯蒂安·杜曼奇奇、安吉丽卡·金米格、托马斯·德梅斯特、吕克·德雷特 相关软件： ProbLog；NeurASP；亚当… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
深度数学 16篇文献引用(2017–2023) 软件作者： Alex A.Alemi、Francois Chollet、Niklas Een、Geoffrey Irving、Christian Szegedy、Josef Urban 相关软件： E定理证明器；米扎尔；谜… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；计算机科学（68-XX）
SimNet公司 16篇文献引用（2022年至2024年） 软件作者： 奥利弗·亨尼格、苏希拉·纳拉辛汉、穆罕默德·阿明·纳比安、阿克沙·苏布拉曼尼姆、考斯图布·坦萨利、马克斯·里特曼、何塞·德尔·阿吉拉·费兰迪斯、旺敏·拜翁、方志伟、桑杰·乔德利 相关软件： 深度XDE；hp-VPINN；DeepONet；…（D）… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
卡拉 10篇文献引用(2019–2024) 软件作者： 阿列克谢·多索维茨基（Alexey Dosovitskiy）、德国罗斯（German Ros）、菲利佩·科德维拉（Felipe Codevilla）、安东尼奥·洛佩兹（Antonio Lopez）、弗拉德伦·科尔顿（Vladlen Koltun） 相关软件： OpenAI健身房；LGSVL；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
PointCNN（美国有线电视新闻网） 13份文件引用(2019–2023) 软件作者： 李阳艳、卜睿、孙明超、吴伟、狄新汉、陈宝泉 相关软件： PointNet；VoxNet；VoxelNet… 主要字段： 欧氏空间（42-XX）的调和分析；数值分析（65-XX）；计算机科学（68-XX）…
PyTorch闪电 7份文件引用(2021–2024) 软件作者： William Falcon；等。 相关软件： PyTorch；Python；Scikit… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
RLlib（RL库） 8份文件引用（2020年至2024年） 软件作者： 射线团队修订；Eric Liang、Richard Liaw、Philipp Moritz、Robert Nishihara、Roy Fox、Ken Goldberg、Joseph E.Gonzalez、Michael I.Jordan、Ion Stoica 相关软件： OpenAI健身房；多巴胺；PyTorch… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
RRIA公司 16篇文献引用(2004–2020) 软件作者： 郑，郑；王国银 相关软件： UCI-ml；LERS；RSBR_… 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SenticNet公司 6篇文献引用(2017–2022) 软件作者： 坎布里亚E.、斯佩尔R.、哈瓦西C.、侯赛因A。 相关软件： SentiWordNet；概念网；WordNet… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
艾兹 15篇文献引用(2002–2017) 软件作者： Gil，Amparo；哈维尔·塞古拉；尼科·M·特姆。 相关软件： BIZ；算法838；算法644… 主要字段： 特殊功能（33-XX）；常微分方程（34-XX）；近似和展开（41-XX）…
ASlib（ASlib） 14篇文献引用(2015–2023) 软件作者： 伯恩德·比施尔；帕斯卡·科尔斯克（Pascal Kerschke）；Kotthoff，Lars；马吕斯·林道尔；尤里·马利茨基；亚历山大·弗雷谢特；胡斯，霍尔格；弗兰克·赫特（Frank Hutter）；凯文·莱顿·布朗（Kevin Leyton Brown）；凯文·蒂尔尼；华金·范肖伦 相关软件： 参数；Auto-WEKA；SATZILA… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
BIZ公司 15篇文献引用(2002–2017) 软件作者： Gil，Amparo；哈维尔·塞古拉；尼科·M·特姆。 相关软件： AIZ；算法838；算法644… 主要字段： 特殊功能（33-XX）；常微分方程（34-XX）；近似和展开（41-XX）…
弗拉维亚 13份文件引用（2014年至2021年） 软件作者： Stephen Gang Wu、Forrest Sheng Bao、Eric You Xu、Yu-Xuan Wang、Yi-Fan Chang、Qiao-Liang Xiang 相关软件： CLOVER；3DMatch；ROPTLIB… 主要字段： 一般拓扑（54-XX）；统计学（62-XX）；数值分析（65-XX）…
算法858 13份文件引用(2006–2021) 软件作者： Van Deun，J.，Cools，R。 相关软件： 贝塞林；Matlab；DLMF… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；欧氏空间的调和分析（42-XX）…
普里巴斯 14篇文献引用(2019–2023) 软件作者： 诺姆·布朗；托马斯·桑德霍姆 相关软件： 天秤座；DeepStack；AlexNet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；流体力学（76-XX）…
ACUOS2型 13份文件引用(2014–2022) 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；安吉尔·昆卡-奥尔特加；圣地亚哥埃斯科瓦尔；何塞·梅塞盖尔 相关软件： 莫德；莫德-NPA；塔马林… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
水蟒 7份文件引用(2017–2023) 软件作者： Anaconda公司。 相关软件： Python；Matplotlib；科学… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
费尔塞克 4份文件引用(2020–2022) 软件作者： Myle Ott；谢尔盖·埃杜诺夫；阿列克谢·巴耶夫斯基（Alexei Baevski）；安吉拉·范；萨姆·格罗斯；Nathan Ng；大卫·格兰杰；迈克尔·奥利 相关软件： PyTorch；伯特；Python… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
Theta公司* 12份文件引用(2010–2023) 软件作者： 肯尼·丹尼尔、亚历克斯·纳什、斯文·柯尼格、阿里尔·费尔纳 相关软件： 安雅；Matlab；MISER3… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
AIF360型 7份文件引用(2020–2023) 软件作者： Rachel K.E.Bellamy、Kuntal Dey、Michael Hind、Samuel C.Hoffman、Stephanie Houde、Kalapriya Kannan、Pranay Lohia、Jacquelyn Martino、Sameep Mehta、Aleksandra Mojsilovic、Seema Nagar、Karthikeyan Natesan Ramamurthy、John Richards、Diptikalyan Saha、Prasanna Sattigeri、Moninder Singh、Kush R.Varshney、Yunfeng Zhang 相关软件： Scikit；InterpretML；AI解释360… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
CNTK公司 4份文件引用(2018–2023) 软件作者： 微软；Frank Seide；阿加瓦尔 相关软件： TensorFlow；咖啡馆；PyTorch… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
图2vec 11份文件引用(2018–2024) 软件作者： Annamalai Narayanan、Mahinthan Chandramohan、Rajasekar Venkatesan、Lihui Chen、Yang Liu、Shantanu Jaiswal 相关软件： node2vec；DeepWalk；单词2vec… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
神经卫星 12份文件引用(2019–2023) 软件作者： 丹尼尔·塞尔萨姆；马修·拉姆（Matthew Lamm）；班尼茨，贝内迪克特；梁佩西；莱昂纳多·德·莫拉；大卫·L·迪尔。 相关软件： 萨齐拉；古罗比；亚当… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
炼金术 10篇文献引用(2012–2020) 软件作者： Kok，S.、Sumner，M.、Richardson，M.，Singla，P.、Poon，H.、Lowd，D.、Domingos，P 相关软件： ProbLog；RockIt；塔菲… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）
AutoKeras公司 5份文件引用(2021–2022) 软件作者： 金海峰、宋清泉、夏虎 相关软件： 自动学习；Auto-WEKA；Python… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；量子理论（81-XX）…
ReCirq公司 11份文件引用(2020–2023) 软件作者： 谷歌AI Quantum 相关软件： QISKit；Q电路；OpenFermion… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
3D-R2N2型 8份文件引用(2019–2021) 软件作者： Christopher B.Choy、Danfei Xu、JunYoung Gwak、Kevin Chen、Silvio Savarese 相关软件： ShapeNet；PointNet；亚当… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
法斯塔 4份文件引用(2021–2023) 软件作者： Jeremy Howard等人。 相关软件： PyTorch；TensorFlow；亚当… 主要字段： 数论（11-XX）；统计学（62-XX）；计算机科学（68-XX）…
HOList公司 10篇文献引用(2020–2023) 软件作者： 克什蒂吉·班萨尔、莎拉·卢斯、马库斯·拉贝、克里斯蒂安·塞格迪、斯图尔特·威尔科克斯 相关软件： 谜；E定理证明器；FEMaLeCoP… 主要字段： 群论与推广（20-XX）；数值分析（65-XX）；计算机科学（68-XX）
KnowRob公司 9份文件引用(2016–2020) 软件作者： 莫里茨·特诺思（Moritz Tenorth）；迈克尔·贝茨 相关软件： 博客；贝叶斯OWL；PR-OWL… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；统计学（62-XX）…
磅/平方英寸 8份文件引用(2018–2023) 软件作者： Randal S.Olson、William La Cava、Patryk Orzechowski、Ryan J.Urbanowicz、Jason H.Moore 相关软件： Scikit；UCI-ml；GitHub… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
海狮 7份文件引用(2012–2019) 软件作者： Johannes Oetsch、Jörg Pührer、Hans Tompits 相关软件： 天基信息平台；卡拉；APE… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）；数学教育（97-XX）
AIspace公司 7份文件引用（2010年至2022年） 软件作者： Knoll，B.，Kisynski，J.，Carenini，G.，Conati，C.，Mackworth，A.，Poole，D 相关软件： GOSDT；HgMUS；形状… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
集群-GCN 9份文件引用(2021–2024) 软件作者： 蒋伟林、刘宣清、司思、杨丽、萨米·本吉奥、谢卓绝 相关软件： 快速GCN；DeepWalk；亚当… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
EB序列 9份文件引用(2015–2023) 软件作者： Leng N、Dawson JA、Thomson JA、Ruotti V、Rissman AI、Smits BM、Haag JD、Gould MN、Stewart RM、Kendziorski C 相关软件： 边缘R；生物导体；DEseq… 主要字段： 一般性和全局性主题；藏品（00-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
RelNN公司 9份文件引用(2020–2023) 软件作者： 塞耶德·梅赫兰·卡泽米（Seyed Mehran Kazemi）、大卫·普尔（David Poole） 相关软件： ProbLog；亚当；DeepProbLog… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
SFO公司 8份文件引用（2010年至2022年） 软件作者： 安德烈亚斯·克劳斯 相关软件： GitHub；Matlab；SSD… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
资产负债管理 8份文件引用(2012–2020) 软件作者： Daniela Inclezan、Michael Gelfond 相关软件： 人民；VerbNet；CCalc… 主要字段： 计算机科学（68-XX）
大地——甘露 4份文件引用(2002–2004) 软件作者： 安吉拉·苏丹。 相关软件： 口齿不清；西尔克；NAS并行基准… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
inteff公司 8份文件引用(2008–2022) 软件作者： E.C.Norton、H.Wang、C.Ai 相关软件： Stata公司；Z树；RobStatTM… 主要字段： 统计学（62-XX）；数值分析（65-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
MLP-混合器 8份文件引用(2022–2023) 软件作者： 伊利亚·托尔斯蒂金、尼尔·霍尔斯比、亚历山大·科尔斯尼科夫、卢卡斯·拜尔、翟小华、托马斯·恩特提纳、杰西卡·容格、安德烈亚斯·施泰纳、丹尼尔·凯泽斯、雅各布·乌斯科雷特、马里奥·卢西奇、阿列克谢·多索维茨基 相关软件： 伯特；GPT-3；Tensor2传感器… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
NumPyro编号 6篇文献引用(2021–2023) 软件作者： 杜凡、尼拉杰·普拉丹、马丁·扬科维亚克 相关软件： 坚果；高温；JAX… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
雷 5份文件引用(2021–2022) 软件作者： 菲利普·莫里茨（Philipp Moritz）、罗伯特·西哈拉（Robert Nishihara）、斯蒂芬妮·王（Stephanie Wang 相关软件： TensorFlow；Python；OpenAI健身房… 主要字段： 动力系统与遍历理论（37-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
藏红花 8份文件引用(2019–2024) 软件作者： 阿迪蒂亚·拉姆达斯、蒂亚娜·兹尼克、马丁·温赖特、迈克尔·乔丹 相关软件： 在线FDR；自适应MT；AdaPT… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）
验证 6篇文献引用（2021年至2024年） 软件作者： 托马索·德罗西（Tommaso Dreossi）、丹尼尔·弗雷蒙特（Daniel J.Fremont）、施洛蒙娜·戈什（Shromona Ghosh）、爱德华·金（Edward Kim）、哈迪·拉文巴赫（Hadi Ravanbakhsh）、马塞尔·巴斯奎兹·香拉特（Marcell Vazque 相关软件： Reluplex；NNV；阿波罗… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
AI解释360 2份文件引用(2021) 软件作者： V.Arya、R.K.E.Bellamy、P.-Y.Chen、A.Dhurandhar、M.Hind、S.C.Hoffman、S.Houde、Q.V.Liao、R.Luss、A.Mojsilovic、S.Mourad、P.Pedemonte、R.Raghavendra、J.T.Richards、P.Sattigeri、K.Shanmugam、M.Singh、K.R.Varshney、D.Wei、Y.Zhang 相关软件： TensorFlow；InterpretML；不在场证明… 主要字段： 计算机科学（68-XX）
海外建筑运营管理局 7份文件引用(2019–2023) 软件作者： 杨成润、秋本裕二、金大元、马德琳·尤德尔 相关软件： 超波段；自动学习；SMAC… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）…
人民 6篇文献引用(2019–2021) 软件作者： 杨芳凯、吕道明、刘波、史蒂文·古斯塔夫森 相关软件： REBA；BWIBots；ALM… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
Sever公司 7份文件引用(2019–2023) 软件作者： 迪亚科尼科拉斯，伊利亚斯；高塔姆·卡马特；丹尼尔·凯恩（Daniel M.Kane）。；李杰瑞；雅各布·斯坦哈特；阿利斯泰尔·斯图尔特 相关软件： UCI-ml；查找；Scikit… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；计算机科学（68-XX）…
波浪辉光 5份文件引用(2021–2022) 软件作者： Ryan Prenger、Rafael Valle、Bryan Catanzaro 相关软件： 辉光；亚当；nsf… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Captum公司 1份文件引用(2021) 软件作者： Narine Kokhlikyan、Vivek Miglani、Miguel Martin、Edward Wang、Bilal Alsallakh、Jonathan Reynolds、Alexander Melnikov、Natalia Kliushkina、Carlos Araya、Siqi Yan、Orion Reblitz-Richardson 相关软件： PyTorch；不在场证明解释；Python… 主要字段： 计算机科学（68-XX）
深超（Deep Hyper） 6篇文献引用(2019–2022) 软件作者： P.Balaprakash、M.Salim、T.Uram、V.Vishwanath、S.Wild 相关软件： 亚当；PyTorch；Scikit… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
探测器 1份文件引用(2020) 软件作者： Girshick，R.，Radosavovic，I.，Gkioxari，G.，DolláR，P.，He，K。 相关软件： PyTorch；MMDetection；TensorFlow… 主要字段： 计算机科学（68-XX）
拨号 3份文件引用(2008–2015) 软件作者： 费雷；Y.Ponty；W.A.Lorenz；彼得·克洛特 相关软件： 艺术；哺乳动物；FRASS… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
通用包装器4AC 6篇文献引用(2019–2024) 软件作者： 凯萨琳娜·艾根斯佩格；马吕斯·林道尔；弗兰克·哈特 相关软件： irace；参数；EGO… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
图RNN 6篇文献引用(2020–2023) 软件作者： 尤嘉轩、英力士、任翔、威廉·汉密尔顿、朱尔·莱斯科维奇 相关软件： DeepWalk；node2vec；NetGAN… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
limSolve（极限解算） 5份文件引用(2011–2022) 软件作者： Karline Soetaert；卡雷尔·范登·密尔谢；迪克·范·奥夫伦 相关软件： R；VIM；匹配… 主要字段： 统计学（62-XX）；数值分析（65-XX）；经典热力学，传热（80-XX）…
SigWGAN公司 6篇文献引用(2023–2024) 软件作者： 倪浩；斯普鲁奇、卢卡斯；Sabate-Vidales，马克；肖宝仁；Wiese，Magnus；廖树建 相关软件： Wasserstein GAN；亚当；广安… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
TORCS公司 5份文件引用（2010年至2022年） 软件作者： Wymann B、Dimitrakakis C、Sumner A、Espie E、Guionneau C、Coulom R 相关软件： OpenAI健身房；AirSim；卡拉… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
流浪汉 4份文件引用(2021–2022) 软件作者： Luigi Bellomarini、Georg Gottlob、Emanuel Sallinger 相关软件： 数据日志；RDFox；LUBM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CVD网 2份文件引用(2023) 软件作者： Ouchicha，Chaimae；阿莫尔，瓦法埃；穆罕默德·梅克纳西 相关软件： 冠状病毒网络；GitHub；新冠病毒CXNet… 主要字段： 测量和集成（28-XX）；常微分方程（34-XX）；数值分析（65-XX）…
埃科勒 3份文件引用(2021–2023) 软件作者： Antoine Prouvost、Justin Dumouchelle、Maxime Gasse、Didier Chételat、Andrea Lodi 相关软件： MIPLIB公司；PyTorch；古罗比… 主要字段： 一般性和全局性主题；藏品（00-XX）；运筹学、数学规划（90-XX）
精灵 2份文件引用(2018–2022) 软件作者： 田远东、龚曲成、尚文玲、吴宇欣、C·劳伦斯·齐特尼克 相关软件： OpenAI健身房；TensorFlow；MuJoCo… 主要字段： 计算机科学（68-XX）；统计力学，物质结构（82-XX）；生物学和其他自然科学（92-XX）
GEMMA公司 5份文件引用(2017–2021) 软件作者： 周，向 相关软件： PLINK；glmnet；GitHub… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
LogiKEy公司 5份文件引用(2020–2022) 软件作者： Christoph Benzmüller、Xavier Parent、Leendert van der Torre 相关软件： Isabelle/HOL；Nitpick公司；拓扑语义… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Pykg2vec公司 2份文件引用(2021) 软件作者： Shih Yuan Yu、Sujit Rokka Chhetri、Arquimedes Canedo、Palash Goyal、Mohammad Abdullah Al-Faruque 相关软件： OpenKE；AmpliGraph；Python… 主要字段： 计算机科学（68-XX）
量子计算书 5份文件引用(2019–2023) 软件作者： 嗨，杰克·D。 相关软件： Penny巷；兰贝克；TensorFlow… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；量子理论（81-XX）…
皮肤损伤分析仪 4份文件引用(2022–2023) 软件作者： Philipp Tschandl、Cliff Rosendahl、Harald Kittler 相关软件： ImageNet；U-Net；AlexNet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
催化剂。RL公司 2份文件引用(2021) 软件作者： 谢尔盖·科列斯尼科夫（Sergey Kolesnikov）、奥列克西·赫林楚克（Oleksii Hrinchuk） 相关软件： RLlib；多巴胺；rlpyt… 主要字段： 计算机科学（68-XX）
核心50 3份文件引用(2019–2022) 软件作者： 文森佐·洛莫纳科（Vincenzo Lomonaco）、戴维德·马尔托尼（Davide Maltoni） 相关软件： iCaRL；PyTorch；CIFAR… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）
水晶球 4份文件引用(2019–2022) 软件作者： 马特·索斯；拉加夫·库尔卡尼；Kuldeep S.梅尔。 相关软件： 糠；MiniSat；水獭… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）