禁忌搜索 1027份文件引用(1991–2022) 软件作者： 弗雷德·格洛弗（Fred Glover）；埃里克·泰勒；多米尼克·德韦拉 相关软件： 分散搜索；CPLEX；VRP… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
糠 559份文件引用(2001–2023) 软件作者： Moskewicz，M.、Madigan，C.、Zhao，Y.、Zhang，L.和Malik，S 相关软件： MiniSat；伯克敏；SATO… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
基础知识 290份文件引用(2007–2023) 软件作者： 卡拉博加、德尔维斯；巴斯图尔克，巴赫里耶 相关软件： GSA；GWO；WOA… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
LISP公司 114篇文献引用(1960–2023) 软件作者： 约翰·麦卡锡 相关软件： ACL2；NQTHM；哈斯克尔… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CCalc公司 77份文件引用(2003–2023) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；Lee，Joohyung；弗拉基米尔·利夫希茨；诺曼·麦凯恩；哈德森·特纳 相关软件： 平滑；考拉；高尔夫… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
Reluplex公司 引用于71份文件(2017–2024) 软件作者： 盖伊·卡茨、克拉克·巴雷特、大卫·迪尔、凯尔·朱利安、米克尔·科钦德费尔 相关软件： 马拉博；AI2；NNV… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
剪辑 64篇文献引用(1992–2020) 软件作者： 加里·莱利；吉亚兰托 相关软件： 杰斯；蛋白质；马格特… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
阿尔法零 66份文件中引用(2018–2024) 软件作者： DeepMind；大卫·西尔弗；托马斯·休伯特；朱利安·施里特维瑟（Julian Schrittwieser）；哈萨比斯 相关软件： 亚当；github；AlexNet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
梯度-CAM 42篇文献引用(2018–2024) 软件作者： Ramprasaath R.Selvaraju、Michael Cogswell、Abhishek Das、Ramakrishna Vedantam、Devi Parikh、Dhruv Batra 相关软件： ImageNet；形状；AlexNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
火炬 30篇文献引用(2003–2023) 软件作者： R.Collobert、S.Bengio、J.Mariethoz 相关软件： TensorFlow；咖啡馆；Theano… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FRIL公司 38篇文献引用(1987–2022) 软件作者： 鲍德温，J.F。；马丁·T·P。；B.W.皮尔斯沃思。 相关软件： Likelog；FPROLOG；XPath… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
GNMT公司 38篇文献引用(2018–2024) 软件作者： 吴永辉、迈克·舒斯特、陈志峰、奎克·V.乐、穆罕默德·诺鲁兹、沃尔夫冈·马切里、马克西姆·克里昆、袁曹、秦高、克劳斯·马切利、杰夫·克林纳、阿普瓦·沙阿、梅尔文·约翰逊、刘晓兵、Ł卡斯凯撒、斯蒂芬·古尔斯、加藤吉事、工藤隆、川秀都、基思·史蒂文斯、乔治·库里安、尼山特·帕蒂尔、王伟、克利夫·杨、杰森·史密斯，杰森·里萨（Jason Riesa）、亚历克斯·鲁德尼克（Alex Rudnick 相关软件： ImageNet；AlexNet公司；亚当… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；计算机科学（68-XX）…
AOA公司 42篇文献引用(2021–2024) 软件作者： Abualigah，莱思；阿里·迪亚巴特（Ali Diabat）；米尔贾利利、塞耶达利；穆罕默德·阿卜德·埃拉齐兹（Abd Elaziz，Mohamed）；Amir H.甘多米。 相关软件： GWO；WOA；SSA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
Python Web图形生成器 41篇文献引用(2013–2023) 软件作者： 萨基特·萨特 相关软件： 就餐套房；NetLogo；invGauss… 主要字段： 组合数学（05-XX）；常微分方程（34-XX）；统计力学，物质结构（82-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传感器；BERT；亚当… 主要字段： 偏微分方程（35-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
NESTOR公司 27篇文献引用(1985–2017) 软件作者： G.F.库珀。 相关软件： TETRAD公司；几何导师；DENDRAL… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
QUBE公司 26篇文献引用(2001–2018) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；马西莫·纳里扎诺；阿曼多·塔切拉 相关软件： QuBE++；Quaffle；箔条… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
DeepStack公司 27篇文献引用(2017–2024) 软件作者： 莫拉夫切克，马泰吉；马丁·施密德（Martin Schmid）；尼尔·伯奇；维利亚姆·利西；达斯汀·莫里尔；诺兰·巴德；特雷弗·戴维斯；Waugh，Kevin；迈克尔·约翰逊（Michael Johanson）；迈克尔·保龄球 相关软件： 天秤座；普里巴斯；ImageNet… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
德洛雷斯 21篇文献引用(2000–2022) 软件作者： 迈克尔·马赫（Michael Maher）；特里斯坦·米勒 相关软件： DR-Prolog；法律规则ML；swrl… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
图尔巴尔2 27篇文献引用(2007–2023) 软件作者： 托马斯·希克斯；西蒙·德·吉夫里（Simon de Givry）；大卫·阿洛奇 相关软件： mplp2；数字插孔；MaxHS… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
海绵体 23篇文献引用(2001–2021) 软件作者： A.P.道伊德 相关软件： TETRAD公司；HdBCS；玻璃… 主要字段： 组合数学（05-XX）；范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）…
SOMA公司 21篇文献引用(2002–2023) 软件作者： 伊凡·泽林卡；朱妮·兰皮宁 相关软件： GSA；GWO；irace… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
爱德华 17篇文献引用(2017–2024) 软件作者： Tran，D.，Kucukelbir，A.，Dieng，A.B.，Rudolph，M.，Liang，D.，Blei，D.M。 相关软件： 斯坦；TensorFlow；PyMC… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）…
形状网络 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）…
太阳能 19份文件引用(1993–2022) 软件作者： Hidetomo Nabeshima、Koji Iwanuma、Katsumi Inoue、Oliver Ray 相关软件： E定理证明；SPASS；SCIFF… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
兹恰夫2004 16篇文献引用(2005–2016) 软件作者： Yogesh S.Mahajan。；傅朝辉；沙拉德·马利克 相关软件： MiniSat；糠；伯克敏… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；凸和离散几何（52-XX）…
美国心脏协会 20篇文献引用(2022–2024) 软件作者： 赵卫国；王丽英；塞耶达利·米尔贾利利 相关软件： WOA；GWO；GSA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
DeepAR（深度AR） 19份文件引用(2021–2024) 软件作者： David Salinas、Valentin Flunkert、Jan Gasthaus 相关软件： expsmooth；XGBoost；预测… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；计算机科学（68-XX）…
CIXL2号机组 17篇文献引用(2005–2014) 软件作者： Ortiz-Boyer，D。；埃尔瓦斯·马丁内斯，C。；北卡罗来纳州加西亚·佩德拉哈斯。 相关软件： 基因组学；ABC；LIBSVM… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
EOlib（EOlib） 13份文件引用(2002–2015) 软件作者： Keijzer，M。；梅雷洛，J.J。；罗梅罗，G。；马克·肖纳（Marc Schoenauer）；Johann Dréo，Caner Candan 相关软件： ParaDisEO；欧洲法院；MAFRA… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）…
利伯图斯 18篇文献引用(2018–2023) 软件作者： 诺姆·布朗；托马斯·桑德霍姆 相关软件： DeepStack；普里巴斯；AlphaZero… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
艾伯特 10篇文献引用(2021–2023) 软件作者： 兰振中、陈明达、古德曼、金佩尔、夏尔马、索里克特 相关软件： BERT；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）
HARP（HARP） 15篇文献引用(1990–2020) 软件作者： Opacher，F。；苏恩，E 相关软件： SETHEO公司；TPTP；3TAP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
Agena风险 14篇文献引用(2013–2023) 软件作者： 诺曼·芬顿；尼尔、马丁 相关软件： R；TETRAD公司；Elicitator… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
卡拉 10篇文献引用（2019年至2024年） 软件作者： Alexey Dosovitskiy，德国罗斯，Felipe Codevilla，Antonio Lopez，Vladlen Koltun 相关软件： OpenAI健身房；LGSVL；GitHub… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
DLV-EX公司 16篇文献引用(2007–2021) 软件作者： 弗朗西斯科·卡利默里；苏珊娜·科萨；乔瓦姆巴蒂斯塔·伊安尼 相关软件： 克林孔；克林戈；接通DLV… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
全球投资银行 14篇文献引用(2001–2019) 软件作者： 俄勒冈州大学 相关软件： 古罗比；MCTS解决方案；伙计 主要字段： 组合数学（05-XX）；非结合环与代数（17-XX）；群论与推广（20-XX）…
轨道库 16篇文献引用（2008年至2021年） 软件作者： 安德烈·普拉泽 相关软件： z3；凯伊迈拉；QEPCAD… 主要字段： 数理逻辑与基础（03-XX）；交换代数（13-XX）；代数几何（14-XX）…
PointCNN（美国有线电视新闻网） 13份文件引用（2019年-2023年） 软件作者： 李阳彦、吕布、孙明超、吴伟、狄新翰、陈宝全 相关软件： PointNet；VoxNet；VoxelNet… 主要字段： 欧氏空间（42-XX）的调和分析；数值分析（65-XX）；计算机科学（68-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）…
FPROLOG公司 13份文件引用(1985–2023) 软件作者： T.P.马丁。；鲍德温，J.F。；B.W.皮尔斯沃思。 相关软件： FRIL；Ciao；BousiProlog… 主要字段： 数理逻辑与基础（03-XX）；群论与推广（20-XX）；统计学（62-XX）…
监狱 14篇文献引用(2004–2023) 软件作者： F.古拉德。 相关软件： 剖面/偏差；filib++；INTLAB… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
MEBN公司 在11份文件中引用(2008–2018) 软件作者： 凯瑟琳·布莱克蒙·拉斯基 相关软件： 博客；PR-OWL；IBAL… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；统计学（62-XX）…
隐马尔可夫模型 12份文件引用（2004年至2020年） 软件作者： K墨菲 相关软件： R；Matlab；大脑连接工具箱… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
普里巴斯 14篇文献引用（2019年-2023年） 软件作者： 诺姆·布朗；托马斯·桑德霍姆 相关软件： 天秤座；DeepStack；AlexNet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；流体力学（76-XX）…
阳光 13份文件引用(2014–2023) 软件作者： 罗伯托·阿马迪尼；毛里齐奥·加布里埃利；雅各布·毛罗 相关软件： 萨齐拉；微量锌；变形杆菌… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
崔弟 14篇文献引用(2016–2023) 软件作者： 蒂姆，M。 相关软件： DiArg；LARS；Clingo… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
ACUOS2号机组 13份文件引用(2014–2022) 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；安吉尔·昆卡-奥尔特加；圣地亚哥埃斯科瓦尔；何塞·梅塞盖尔 相关软件： 莫德；莫德-NPA；塔马林… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）
生物爪哇 5份文件引用(2009–2017) 软件作者： 安德烈亚斯·普里奇；安德鲁·耶茨（Andrew Yates）；斯宾塞·E·布利文；彼得·罗斯（Peter W.Rose）；朱利叶斯·雅各布森；Peter V.Troshin；马克·查普曼；高建炯；川可可；西尔万·福西；理查德·霍兰德（Richard Holland）；格迪米亚斯·里姆萨；迈克尔·豪尔（Michael L.Heuer）；H.Brandstatter-Muller；菲利普·伯恩（Philip E.Bourne）；滑板车威利斯 相关软件： 生物蟒蛇；生物钟；MMTK… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
iCaRL公司 在11份文件中引用（2019年-2023年） 软件作者： Sylvestre-Alvise Rebuffi、Alexander Kolesnikov、Georg Sperl、Christoph H.Lampert 相关软件： ImageNet；亚当；PyTorch… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
Theta公司* 12份文件引用（2010年-2023年） 软件作者： 肯尼·丹尼尔、亚历克斯·纳什、斯文·柯尼格、阿里尔·费尔纳 相关软件： 安雅；Matlab；MISER3… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CTADEL公司 12份文件引用(1998–2020) 软件作者： 范恩格伦，罗伯特·亚历山大 相关软件： Mathematica；手指；SciNapse… 主要字段： 总体主题；藏品（00-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
graph2vec（图形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篇文献引用（2005年至2011年） 软件作者： 乔瓦尼·佩祖洛（Giovanni Pezzulo）；Gianguglielmo·卡尔维 相关软件： 古巴国防部；CoCoA公司；黛安娜… 主要字段： 总体主题；藏品（00-XX）；数论（11-XX）；场论与多项式（12-XX）…
克莱沃 9份文件引用(2020–2023) 软件作者： 贾斯汀·约翰逊（Justin Johnson）、巴拉斯·哈里哈兰（Bharath Hariharan）、劳伦斯·范德马滕（Laurens van der Maaten）、李菲菲（Li Fei-Fei）、C.劳伦斯·齐特尼克（C.Lawrence Zitnick）、罗斯·吉希克（Ross Girshick） 相关软件： CLEVR数据集；VQA；GitHub… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
CLEVR数据集 9份文件引用(2020–2023) 软件作者： 贾斯汀·约翰逊（Justin Johnson）、巴拉斯·哈里哈兰（Bharath Hariharan）、劳伦斯·范德马滕（Laurens van der Maaten）、李菲菲（Li Fei-Fei）、C.劳伦斯·齐特尼克（C.Lawrence Zitnick）、罗斯·吉希克（Ross Girshick） 相关软件： CLEVR；github；VQA… 主要字段： 统计学（62-XX）；计算机科学（68-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）…
HOList公司 10篇文献引用(2020–2023) 软件作者： 克什蒂吉·班萨尔、莎拉·卢斯、马库斯·拉贝、克里斯蒂安·塞格迪、斯图尔特·威尔科克斯 相关软件： 谜；E定理证明；FEMaLeCoP… 主要字段： 群论与推广（20-XX）；数值分析（65-XX）；计算机科学（68-XX）
莱拉 9份文件引用(2002–2011) 软件作者： 安娜·齐安波里尼（Anna Ciampolini）；伊芙琳娜·拉姆；梅洛，保拉；保罗·托罗尼 相关软件： KQML；Qu-Prolog；数据日志… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；系统论；控制（93-XX）
PMLB公司 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）…
PyBrain公司 6篇文献引用(2011–2016) 软件作者： T.Schaul、J.Bayer、D.Wierstra、Y.Sun、M.Felder、F.Sehnke、T.Rückstieß、J.Schmidhuber 相关软件： 蟒蛇；SHOGUN公司；橙色… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；量子理论（81-XX）…
足球服务器 3份文件引用(2007–2010) 软件作者： 野田佳彦，H.松原，K.平木，I.弗兰克。 相关软件： 社会可视化者；岛国；CCalc… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
维基百科矿工 4份文件引用(2012–2019) 软件作者： 大卫·米尔恩（David Milne）；伊恩·维滕 相关软件： DBpedia；曼陀罗；BabelNet… 主要字段： 统计学（62-XX）；计算机科学（68-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）…
RealPlan（实际计划） 9份文件引用(2001–2008) 软件作者： 斯利瓦斯塔瓦，比普拉夫；Subbarao Kombhampati；做，明B。 相关软件： 图形平面图；STAN；CPlan… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
TransG公司 9份文件引用（2019年至2024年） 软件作者： 韩晓、黄敏烈、于浩、朱晓燕 相关软件： 旋转E；单词2vec；DBpedia… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
资产负债管理 8份文件引用（2012年至2020年） 软件作者： Daniela Inclezan、Michael Gelfond 相关软件： 人民；VerbNet；CCalc… 主要字段： 计算机科学（68-XX）
hABCDE 8份文件引用(2014–2023) 软件作者： 向万里；马寿峰；安美清 相关软件： ABC；玉；WOA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
MLP-混合器 8份文件引用(2022–2023) 软件作者： 伊利亚·托尔斯蒂金、尼尔·霍尔斯比、亚历山大·科尔斯尼科夫、卢卡斯·拜尔、翟小华、托马斯·恩特提纳、杰西卡·容格、安德烈亚斯·施泰纳、丹尼尔·凯泽斯、雅各布·乌斯科雷特、马里奥·卢西奇、阿列克谢·多索维茨基 相关软件： BERT；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；蟒蛇；OpenAI健身房… 主要字段： 动力系统与遍历理论（37-XX）；概率论与随机过程（60-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）
cplint（cplint） 7份文件引用(2017–2022) 软件作者： 法布里齐奥·里古齐（Fabrizio Riguzzi）；朱塞佩·科塔；埃琳娜·贝洛迪；里卡多·泽斯 相关软件： ProbLog；SWI-预测；棱镜… 主要字段： 计算机科学（68-XX）
海外建筑运营管理局 7份文件引用（2019年-2023年） 软件作者： 杨成润、秋本裕二、金大元、尤德尔 相关软件： 双曲线；自动学习；SMAC… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）…
人民 6篇文献引用(2019–2021) 软件作者： 杨芳凯、吕道明、刘波、史蒂文·古斯塔夫森 相关软件： REBA；BWIBots；ALM… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
割断 7份文件引用（2019年-2023年） 软件作者： 迪亚科尼科拉斯，伊利亚斯；高塔姆·卡马特；丹尼尔·M·凯恩。；李杰瑞；雅各布·斯坦哈特；阿利斯泰尔·斯图尔特 相关软件： 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 Alsalakh、Jonathan Reynolds、Alexander Melnikov、Natalia Kliushkina、Carlos Araya、Siqi Yan、Orion Reblitz Richardson 相关软件： PyTorch；不在场证明解释；Python… 主要字段： 计算机科学（68-XX）
通用包装器4AC 6篇文献引用（2019年至2024年） 软件作者： 凯萨琳娜·艾根斯佩格；马吕斯·林道尔；弗兰克·哈特 相关软件： irace；帕拉米尔斯；EGO… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
图RNN 6篇文献引用(2020–2023) 软件作者： 尤嘉轩、英力士、任翔、威廉·汉密尔顿、朱尔·莱斯科维奇 相关软件： DeepWalk；node2vec；NetGAN… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
NESVM公司 5份文件引用(2012–2019) 软件作者： 周天一；大成涛；吴新东 相关软件： LIBSVM；UCI-ml；Pegasos… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
牛顿 5份文件引用(1997–2013) 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；米歇尔·洛朗；Benhamou，F。 相关软件： 太阳神；PASCAL-XSC；COMET… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
流浪汉 4份文件引用(2021–2022) 软件作者： Luigi Bellomarini、Georg Gottlob、Emanuel Sallinger 相关软件： 数据日志；RDFox；LUBM… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
链条RL 2份文件引用(2021) 软件作者： 藤田康宏、片冈敏树、永拉詹（Prabhat Nagarajan）、石川隆弘（Takahiro Ishikawa） 相关软件： RLlib；rlpyt；多巴胺… 主要字段： 计算机科学（68-XX）
CVD网 2份文件引用(2023) 软件作者： Ouchicha，Chaimae；阿马尔，瓦法伊；穆罕默德·梅克纳西 相关软件： 冠状病毒网络；github；Xception… 主要字段： 测量和集成（28-XX）；常微分方程（34-XX）；数值分析（65-XX）…
国内流离失所者 5份文件引用(2008–2017) 软件作者： DTAI-KU鲁汶；Wittocx，J.，Marién，M.，Denecker，M 相关软件： 平滑；MiniSat；本质… 主要字段： 计算机科学（68-XX）
利比亚 5份文件引用(2016–2018) 软件作者： 彼得·米尔斯 相关软件： PRMLT；SPOT；iACP… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；统计学（62-XX）…
纳萨里 5份文件引用(2016–2022) 软件作者： JoséCamacho-Collados；穆罕默德·塔赫尔·皮莱瓦尔（Mohammad Taher Pilehvar）；罗伯特·纳维利 相关软件： 单词2vec；BabelNet；WordNet… 主要字段： 计算机科学（68-XX）
Pykg2vec公司 2份文件引用(2021) 软件作者： Shih Yuan Yu、Sujit Rokka Chhetri、Arquimedes Canedo、Palash Goyal、Mohammad Abdullah Al-Faruque 相关软件： OpenKE；AmpliGraph；Python… 主要字段： 计算机科学（68-XX）