WordNet（文字网） 引用于222份文件(1996–2023) 软件作者： 普林斯顿大学；乔治·米勒（George A.Miller）；克里斯蒂安·费尔鲍姆 相关软件： 单词2vec；概念网；雅高… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；统计学（62-XX）…
Z轴 237篇文献引用(1958–2023) 软件作者： 吉姆·伍德科克；吉姆·戴维斯 相关软件： 马戏团；电源保护；罗丹… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
单词2vec 264篇文献引用(2015–2024) 软件作者： 托马斯·米科洛夫等人。 相关软件： 全球；node2vec；DeepWalk… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
BERT（误码率） 179份文件引用(2019–2024) 软件作者： 雅各布·德夫林、张明伟、肯顿·李、克里斯蒂娜·图塔诺娃 相关软件： Tensor2传感器；亚当；RoBERTa… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Flyspeck飞点 132份文件引用(2004–2023) 软件作者： 托马斯·黑尔斯（Thomas C.Hales）。；Tankink，Carst公司；卡利西克，Cezary；约瑟夫·乌尔班（Josef Urban）；赫尔曼·格乌弗斯 相关软件： HOL灯；Isabelle/HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
CVXPY公司 115篇文献引用(2016–2024) 软件作者： 史蒂文·戴蒙德；斯蒂芬·博伊德 相关软件： CVX；ECOS；Mosek… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
欧兹 110篇文献引用(1994–2023) 软件作者： Henz，M.、Smolka，G.和Würtz，J。 相关软件： 炸薯条；莫扎特；克莱尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
腿 116篇文献引用(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： 辅酶q；Nuprl；自动… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
LEO-II型 52篇文献引用(2008–2021) 软件作者： Benzmüller，C.，Paulson，L.，Theiss，F.，Fietzke，A 相关软件： 沙达拉；TPTP；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
CDuce公司 在48份文件中引用(2003–2020) 软件作者： 本扎肯，维罗尼克；朱塞佩·卡斯塔尼亚；阿兰·弗里希 相关软件： XDouce；XQuery；XPath… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
NLTK公司 30篇文献引用(2005–2023) 软件作者： 史蒂文·伯德；Ewan Klein；爱德华·洛珀 相关软件： 蟒蛇；Scikit；WordNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
P-语言 41篇文献引用(2010–2023) 软件作者： 伊格纳西奥·佩雷斯·赫塔多 相关软件： MeCoSim公司；CUDA；pLinguaCore… 主要字段： 历史与传记（01-XX）；组合数学（05-XX）；计算机科学（68-XX）…
变压器 17篇文献引用(2021–2023) 软件作者： 托马斯·沃尔夫（Thomas Wolf）、莱桑德尔（Lysandre）首次亮相、维克托·桑（Victor Sanh）、朱利安·肖蒙德（Julien Chaumond）、克莱门特·德兰吉（Clement Delangue）、安东尼·莫伊（Anthony Moi）、皮尔里克·西斯塔斯（Pierric Cistac）、蒂姆·劳特（Tim Ra 相关软件： BERT；RoBERTa公司；Python… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
概念网 19份文件引用(2007–2023) 软件作者： Liu H，Singh P；哈瓦西，C.，斯佩尔，R.，阿隆索，J。 相关软件： WordNet；BERT；雅高… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
GF公司 30篇文献引用(1999–2021) 软件作者： 阿恩·兰塔 相关软件： 辅酶q；米扎尔；Isar… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
CVXR公司 29篇文献引用(2019–2024) 软件作者： 傅安琪（Anqi Fu）、巴拉苏布拉曼尼亚人（Balasubramanian Narasimhan）、斯蒂芬·博伊德（Stephen Boyd） 相关软件： CVX；CVXPY；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
柔性PDE 33篇文献引用(2006–2023) 软件作者： SoilVision系统有限公司。 相关软件： Matlab；枫树；NLEVP… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
自动教程 5份文件引用(2001–2021) 软件作者： 亚瑟·C·格雷瑟。；卢、舒兰；乔治·坦纳（George Tanner）·杰克逊（Jackson）；米切尔、希瑟·海特；马修·文图拉；安德鲁·奥尼（Andrew Olney）；马克斯·路易斯。 相关软件： LIBSVM；汗学院；科姆特… 主要字段： 计算机科学（68-XX）；数学教育（97-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）…
陆军装备司令部 26篇文献引用(2007–2022) 软件作者： 安德烈亚斯·波德尔斯基（Andreas Podelski）、安德烈·里巴尔琴科（Andrey Rybalchenko） 相关软件： SLAM；跟踪器；匕首… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
XLNet公司 17篇文献引用(2020–2023) 软件作者： 杨志林（Zhilin Yang）、戴子航（Zihang Dai）、杨一鸣（Yiming Yang 相关软件： BERT；RoBERTa公司；手套… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
斯坦福·塔格 20篇文献引用(2009–2023) 软件作者： 克里斯蒂娜·图塔诺娃 相关软件： 单词2vec；WordNet；手套… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
锌 28篇文献引用(2005–2022) 软件作者： Kim万豪酒店；尼赫科特，尼古拉斯；雷扎·拉斐；Peter J.Stuckey。；玛丽亚·加西亚·德拉·班达；马克·华莱士 相关软件： 本质；微量锌；Gecode… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
羟醛 26篇文献引用(1997–2014) 软件作者： aldor.org；曼纽尔·布朗斯坦 相关软件： AXIOM；枫树；SageMath… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；范畴理论；同调代数（18-XX）…
本质 引用于27份文件(2008–2023) 软件作者： 艾伦·M·弗里希（Alan M.Frisch）。；沃里克·哈维；克里斯·杰斐逊（Chris Jefferson）；马丁内斯·埃尔南德斯（Martínez-Hernández），伯纳黛特（Bernadette）；伊恩·米格尔 相关软件： 微量锌；锌；ESRA… 主要字段： 结合环与代数（16-XX）；计算机科学（68-XX）；量子理论（81-XX）…
乔坎尔 26篇文献引用(2000–2022) 软件作者： Fornet，塞德里克；Le Fessant，Fabrice公司；Luc Maranget；阿兰·施密特 相关软件： 皮克特；OCaml；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
StanfordCoreNLP公司 17篇文献引用(2017–2023) 软件作者： 曼宁、克里斯托弗·D、米海·苏尔德努、约翰·鲍尔、詹妮·芬克尔、史蒂文·贝瑟德、大卫·麦克洛斯基 相关软件： NLTK；蟒蛇；GitHub… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CoCasl公司 26篇文献引用(2003–2014) 软件作者： 莫萨科夫斯基（Till Mossakowski）；马库斯·罗根巴赫（Markus Roggenbach）；卢茨施罗德 相关软件： CASL；莫德；Hets… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
ELIZA公司 12份文件引用(1972–2023) 软件作者： 约瑟夫·魏岑鲍姆 相关软件： 联邦政府；GitHub；cuDNN… 主要字段： 历史与传记（01-XX）；群论与推广（20-XX）；统计学（62-XX）…
毛坯 15篇文献引用(2008–2022) 软件作者： Andrew McCallum等人。 相关软件： 威卡；C4.5；LIBSVM… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
GELUs公司 19份文件引用(2020–2024) 软件作者： 丹·亨德里克斯（Dan Hendrycks）、凯文·金佩尔（Kevin Gimpel） 相关软件： 亚当；PyTorch；GitHub… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CP逻辑 20篇文献引用(2009–2023) 软件作者： Joost Vennekens；马克·德内克（Marc Denecker）；莫里斯·布吕诺格 相关软件： ProbLog；PITA；棱镜… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
周期 12份文件引用(2002–2013) 软件作者： Cycorp公司 相关软件： WordNet；SWI-预测；三重… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
莫扎特 15篇文献引用(1999–2018) 软件作者： 彼得·范·罗伊；塞夫·哈里迪 相关软件： 奥兹；CPLEX；芯片… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
珍珠包 18篇文献引用(1998–2008) 软件作者： 霍斯蒂斯，E.N。；赖斯，J.R。；Weerawarana，S。；Catlin，A.C.公司。；Papachiou，P。；Wang，K.-Y。；盖塔茨，M。 相关软件： ELLPACK；皮西亚；LAPACK… 主要字段： 总体主题；藏品（00-XX）；偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）…
立方厘米（FD） 18篇文献引用(1998–2022) 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；维杰·萨拉斯瓦特；伊夫·迪维尔 相关软件： CPLEX；彗星；Choco… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
艾伯特 10篇文献引用(2021–2023) 软件作者： 兰振中、陈明达、古德曼、金佩尔、夏尔马、索里克特 相关软件： BERT；RoBERTa公司；手套… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
德尔芬 17篇文献引用(2003–2020) 软件作者： Schürmann，C.、Fontana，R.、Liao，Y.、Poswolsky，A。 相关软件： Twelf；辅酶q；白鲸… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
打开Fst 18篇文献引用（2007年至2024年） 软件作者： 西里尔·阿劳赞（Cyril Allauzen）；迈克尔·莱利；Johan Schalkwyk；沃伊切赫·斯科特；梅赫里亚·莫赫里 相关软件： Vaucanson；自由演讲；卡尔迪… 主要字段： 结合环与代数（16-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
文本排名 16篇文献引用(2007–2023) 软件作者： Rada Mihalcea；保罗·塔劳 相关软件： 胭脂；BERT；RoBERTa… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
spaCy公司 1份文件引用(2023) 软件作者： spaCy股份有限公司；Matthew Honnibal；伊内斯·蒙塔尼 相关软件： 蟒蛇；BERT；变形金刚… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
胶水 7份文件引用(2021–2023) 软件作者： Wang，A.、Singh，A.、Michael，J.、Hill，F.、Levy，O.、Bowman，S.R。 相关软件： BERT；RoBERTa公司；SkuAD… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
那不勒斯 14篇文献引用(2010–2021) 软件作者： Cramer，M.，Koepke，P.，Schröder，B。 相关软件： 米扎尔；对于TheL；Flyspeck… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
灵丹妙药 16篇文献引用(1982–2005) 软件作者： Ramakrishnan，K.G。；密特拉·D·。 相关软件： FIDIL；GENTRAN公司；阿尔巴 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SenticNet公司 6篇文献引用(2017–2022) 软件作者： 坎布里亚E.、斯佩尔R.、哈瓦西C.、侯赛因A。 相关软件： SentiWordNet；概念网；WordNet… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
小爪哇 13份文件引用(2005–2020) 软件作者： 阿兰·杰弗里（Alan Jeffrey）；朱利安·拉特克 相关软件： Z；埃菲尔；多重显示… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
图菲 14篇文献引用(2013–2022) 软件作者： Feng Niu、Christopher Ré、AnHai Doan、Jude W.Shavlik 相关软件： RockIt；ProbLog；PRMLT… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
捷运局 在11份文件中引用(2022–2023) 软件作者： 迈克·刘易斯（Mike Lewis）、刘银汉（Yinhan Liu）、纳曼·戈亚尔（Naman Goyal）、马詹·加兹维尼尼亚德（Marjan Ghazvininejad）、阿卜杜勒拉赫曼·穆罕默德（Abdelrahman Mohamed）、奥马尔·利维（Omer Levy 相关软件： BERT；RoBERTa公司；GPT-3… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
生物门户 8份文件引用(2016–2020) 软件作者： Noy NF、Shah NH、Whetzel PL等人 相关软件： DBpedia；链锯；颗粒… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；统计学（62-XX）…
迪蒂尔伯特 6篇文献引用(2021–2023) 软件作者： Victor Sanh、Lysandre首次亮相、Julien Chaumond、Thomas Wolf 相关软件： BERT；RoBERTa公司；变形金刚… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
对于TheL 12份文件引用(2002–2021) 软件作者： Vershinin，K.，Paskevich，A。 相关软件： 米扎尔；SAD；定理… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
希尔伯特类库 10篇文献引用(1996–2022) 软件作者： Gockenbach，医学硕士。；西姆斯，W.W。 相关软件： LAPACK；L-BFGS；ADIFOR… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
LFLC 2000型 13份文件引用(2004–2022) 软件作者： 伊朗空军 相关软件： ETPS；fclust；Juzzy… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
安全Dpi 13份文件引用(2004–2011) 软件作者： 轩尼诗，马修；朱利安·拉特克（Julian Rathke）；吉田、Nobuko 相关软件： 乔卡姆；MJ；Jif… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
鹅 10篇文献引用(2002–2013) 软件作者： 雨果·刘、亨利·利伯曼、特德·塞尔克 相关软件： ProBase公司；WordNet；DBpedia… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
米兹3 12份文件引用(2012–2020) 软件作者： 弗里克·威迪杰克 相关软件： 辅酶q；米扎尔；Isar… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
Myhill-Nerode公司 12份文件引用(2011–2020) 软件作者： 吴春汉；张兴元；城市，基督教 相关软件： 辅酶q；存档正式证据；常规集… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
PICOS公司 12份文件引用(2013–2023) 软件作者： 纪尧姆·萨格诺；邮政编码 相关软件： YALMIP；塞杜米；CVX… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GENIA语料库 2份文件引用(2008–2014) 软件作者： Kim，J.D。；Ohta，T。；Tateisi，Y·。；津井，J。 相关软件： 基因标签；OpenDMAP；ABNER… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
洛伊 9份文件引用(2002–2021) 软件作者： J.Siekmann、S.Hess、C.Benzmüller、L.Cheikhrouhou、A.Fiedler、H.Horacek、M.Kohlhase、K.Konrad、A.Meier、E.Melis、M.Pollet、V.Sorge 相关软件： TPTP；辅酶q；PVS… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）
穆斯卡迪特 10篇文献引用(1989–2021) 软件作者： 多米尼克·帕斯特 相关软件： 水獭；自动化；伊莎贝尔/采埃孚… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
夸特达 1份文件引用(2020) 软件作者： Benoit K、Watanabe K、Wang H、Nulty P、Obeng A、Müller S、Matsuo A 相关软件： R；stm；data.table… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
旋转 在11份文件中引用(2000–2015) 软件作者： W.W.科恩。 相关软件： C4.5；XPath；SSE… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
数据日志LITE 9份文件引用(2002–2019) 软件作者： 乔治·戈特洛布（Georg Gottlob）；Erich Grädel；赫尔穆特·维思 相关软件： XPath；Ltur；计算TW… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
语法矩阵 2份文件引用(2006–2019) 软件作者： Bender E.、Flickinger D.、Oepen S。 相关软件： LKB；Prolog；GF… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
维基百科矿工 4份文件引用(2012–2019) 软件作者： 大卫·米尔恩（David Milne）；伊恩·维滕 相关软件： DBpedia；曼陀罗；BabelNet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
ICF3D 9份文件引用(2000–2020) 软件作者： 谢斯塔科夫，A.I。；Prasad，M.K。；Milovich，J.L。；Gentile，N.A。；画家J.F。；家具，G。 相关软件： TRHD；芝麻；心情… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
PowerGraph（功率图） 8份文件引用(2015–2022) 软件作者： J.E.Gonzalez、Y.Low、H.Gu、D.Bickson、C.Guestrin 相关软件： 普雷格尔；图X；图形实验室… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
DualGAN公司 8份文件引用(2019–2023) 软件作者： 易自立、张浩、谭平、龚明伦 相关软件： 像素x像素；CycleGAN；Wasserstein GAN… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；信息与通信理论，电路（94-XX）
FlashMeta软件 6篇文献引用(2017–2021) 软件作者： 奥列克桑德·波洛佐夫；苏米特·古尔瓦尼 相关软件： FlashExtract；运输；FlashRelate… 主要字段： 计算机科学（68-XX）
Jnurbs公司 7份文件引用(2007–2017) 软件作者： 张雪峰，Ganesh Subbarayan 相关软件： ISOGAT；NLPQL公司 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；经典热力学，传热（80-XX）
法律规则ML 5份文件引用(2017–2020) 软件作者： Lam、Ho-Pun；穆斯塔法·哈什米；塔拉，阿山；圭多总督府；莫妮卡·帕尔米拉尼；阿德里安·帕施克（Adrian Paschke）；亚当·怀纳 相关软件： GitHub；精益；逻辑键… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LogiMOO公司 8份文件引用(1997–2012) 软件作者： 保罗·塔劳（Paul Tarau）；De Bosschere，科恩；达尔，维罗妮卡；斯蒂芬·罗什福特 相关软件： 奥兹；SICStus公司；序言… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
地图制作者 5份文件引用(2000–2007) 软件作者： Lander，E.S.、Green，P.、Abrahamson，J.等人。 相关软件： R；onemap；JoinMap… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
MUSCOP公司 8份文件引用(2001–2023) 软件作者： 安德烈亚斯·波茨赫卡 相关软件： 纽顿图书馆；ADOL-C；区块SQP… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；整体分析，流形分析（58-XX）…
occam-pi型 6篇文献引用(2005–2021) 软件作者： 彼得·韦尔奇。；弗雷德里克·巴恩斯。 相关软件： 皮克特；韩国石油公司；Boids… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
样品 8份文件引用(2008–2022) 软件作者： 巴伦特，克里斯蒂安；乔塔姆·米特拉；穆斯塔法·萨奇；福勒，罗伯特 相关软件： MSLiP；古罗比；PySP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿尔巴 7份文件引用(1991–2020) 软件作者： Grant O.jun.库克。；Jeffrey F.画家。 相关软件： GENTRAN公司；PDEQSOL；CTADEL… 主要字段： 总体主题；藏品（00-XX）；积分方程（45-XX）；数值分析（65-XX）…
自动装置 7份文件引用(1990–2010) 软件作者： 迈克尔·W·塞耶斯。 相关软件： Matlab公司 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；系统论；控制（93-XX）
苹果汁 3份文件引用(2022–2023) 软件作者： Ramakrishna Vedantam、C.Lawrence Zitnick、Devi Parikh 相关软件： BLEU；胭脂；VQA… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
MEGA4公司 6篇文献引用(2009–2018) 软件作者： 田村小一郎；乔尔·达德利；内正俊；苏迪尔·库马尔 相关软件： MEGA；肌肉；clusfind… 主要字段： 场论与多项式（12-XX）；统计学（62-XX）；数值分析（65-XX）…
Pcoq公司 6篇文献引用(2007–2023) 软件作者： 艾哈迈德·阿默卡德；伊夫·贝托特（Yves Bertot），洛伊克·波蒂埃（Loíc Pottier）；劳伦斯·里多 相关软件： 辅酶q；MMP/Geometer；GEX… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
收件人：GAN 3份文件引用(2019–2021) 软件作者： 徐涛、张鹏川、黄秋元、张翰、江哲、黄晓蕾、何晓东 相关软件： 比根；Wasserstein GAN公司；CIFAR… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
BioBERT公司 5份文件引用(2022–2023) 软件作者： Jinhyuk Lee、Wonjin Yoon、Sungdong Kim、Donghyeon Kim、Sunkyu Kim、Chan Ho So、Jaewoo Kang 相关软件： BERT；SciBERT公司；巴特… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
代码BERT 1份文件引用(2022) 软件作者： 冯章寅、郭大雅、唐杜玉、段楠、冯晓成、龚铭、寿林军、秦冰、刘婷、蒋大新、周明 相关软件： BERT；CodeXGLUE；设计… 主要字段： 计算机科学（68-XX）
密度盖 3份文件引用(2018–2022) 软件作者： 贾斯汀·约翰逊、安德烈·卡佩西、李菲菲 相关软件： ImageNet；MS-COCO；Flickr30K… 主要字段： 计算机科学（68-XX）；统计力学，物质结构（82-XX）；生物学和其他自然科学（92-XX）…
GluonNLP公司 2份文件引用(2022–2023) 软件作者： DMLC公司 相关软件： BERT；GluonCV；Tensor2传感器… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
HyPhy公司 3份文件引用(2017–2022) 软件作者： Kosakovsky Pond SL、Frost SDW、Muse SV 相关软件： 数据猴子；蟒蛇；物理… 主要字段： 总体主题；藏品（00-XX）；量子理论（81-XX）；生物学和其他自然科学（92-XX）
INTEX公司 6篇文献引用(2000–2006) 软件作者： 马克斯·西尔伯兹坦 相关软件： FASTUS公司；ANELL公司 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
OpenNLP（开放NLP） 3份文件引用(2011–2018) 软件作者： 鲍德里奇，J.，莫顿，T.，比纳，G。 相关软件： R；lsa；鞠躬… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
彼得布里克斯 4份文件引用(2014–2023) 软件作者： Ansel，J.、Chan，C.、Wong，Y.L.、Olszewski，M.、Zhao，Q.、Edelman，A.、Amarasinghe，S。 相关软件： OSKI；ATLAS；FFTW… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
乌龟 4份文件引用（2013-2016） 软件作者： Beckett，D.，Berners-Lee，T。 相关软件： SPARQL；蛋白质；dlvhex-sparql… 主要字段： 计算机科学（68-XX）