MapReduce 214篇文献引用(2008–2024) 软件作者： 潘杰；弗莱德里克·马古莱斯；亚恩·勒比安尼克 相关软件： Hadoop；火花；Apache Spark… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
CESAR公司 160篇文献引用(1982–2023) 软件作者： Queille，J.P。；西法基斯，J。 相关软件： 自旋蛋白；SLAM；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
易趣威胁 154份文件引用(2004–2024) 软件作者： 约翰·斯通（Iain M.Johnstone）。；西尔弗曼（Bernhard W.Silverman）。 相关软件： R；EbayesThresh；wavethresh… 主要字段： 欧氏空间（42-XX）的调和分析；概率论与随机过程（60-XX）；统计学（62-XX）…
生物-PEPA 97篇文献引用(2008–2024) 软件作者： Federica Ciocchetta、Maria Luisa Guerriero、Vashti Galpin、Jane Hillston、Giulio Caravagna、Allan Clark、Andrea Degasperi、Adam Duguid、Kanimozhi Ellavarason、Stephen Gilmore、Laurence Loewe、Dimitrios Milios 相关软件： 政治公众人物协议；棱镜；生物活性炭… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
MINL库 109篇文献引用(2002–2023) 软件作者： Michael R.Bussieck。；阿恩·斯托尔伯格（Arne Stolbjerg Drud）；亚历山大·米罗斯 相关软件： SCIP；Ipopt；BARON… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LTL2BA公司 99篇文献引用(2001–2023) 软件作者： 保罗·加斯丁（Paul Gastin）；丹尼斯·奥杜克斯 相关软件： 自旋蛋白；SPOT；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CycleGAN公司 94份文件引用(2017–2024) 软件作者： 朱俊彦（Jun-Yan Zhu）、大兴公园（Taesung Park）、通州王（Tongzhou Wang） 相关软件： 像素x像素；亚当；Wasserstein GAN… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
像素x像素 94份文件引用(2017–2024) 软件作者： 朱俊彦（Jun-Yan Zhu）、大兴公园（Taesung Park）、通州王（Tongzhou Wang） 相关软件： CycleGAN；亚当；Wasserstein GAN… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
吉布斯特 98篇文献引用(1992–2024) 软件作者： 拉弗瑞AE，刘易斯SM 相关软件： 贝叶斯DA；CODA；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
CLAPACK公司 79份文件引用(1992–2013) 软件作者： E.Anderson、Z.Bai、C.Bischof、J.Demmel、J.Dongarra、J.Du Croz、A.Greenbau S.Hammarling、A.McKenney、S.Ostrouchov和D.Sorensen。J.Demmel和Xiaoye Li的C翻译 相关软件： LAPACK；BLAS；mctoolbox… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
BLEU公司 27篇文献引用(2007–2023) 软件作者： Kishore Papineni、Salim Roukos、Todd Ward、Wei-Jing Zhu 相关软件： BERT；SRILM；Tensor2传感器… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
StarExec公司 62篇文献引用(2014–2023) 软件作者： 亚伦·斯塔姆；杰夫·萨克利夫（Geoff Sutcliffe）；塞萨尔·蒂内利 相关软件： TPTP；z3；VAMPIRE… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；凸和离散几何（52-XX）…
现场 61篇文献引用(2005–2023) 软件作者： Duret-Lutz，A。；波特雷诺。 相关软件： 自旋蛋白；LTL2BA；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ARPREC公司 56篇文献引用(2005–2022) 软件作者： David H.Bailey。；Yozo，Hida；Li，Xiaoye S。；布兰登·汤普森 相关软件： MPFR；gmp；mctoolbox… 主要字段： 数论（11-XX）；特殊功能（33-XX）；数值分析（65-XX）…
循环工具 51份文件中引用(1999–2024) 软件作者： T.哈恩 相关软件： FormCalc；FeynArts；黑帽… 主要字段： 数值分析（65-XX）；光学、电磁理论（78-XX）；量子理论（81-XX）…
米多里 46篇文献引用(2015–2023) 软件作者： 巴尼克，Subhadeep；安德烈·博格丹诺夫；Isobe，Takanori；石堤、京记；Hiwatari，Harunaga；秋田，Toru；弗朗西斯科·雷加佐尼 相关软件： 王子；极瘦的；存在… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
GNMT公司 38篇文献引用(2018–2024) 软件作者： 吴永辉、迈克·舒斯特、陈志峰、奎克·V.乐、穆罕默德·诺鲁兹、沃尔夫冈·马切里、马克西姆·克里昆、袁曹、秦高、克劳斯·马切利、杰夫·克林纳、阿普瓦·沙阿、梅尔文·约翰逊、刘晓兵、Ł卡斯凯撒、斯蒂芬·古尔斯、加藤吉事、工藤隆、川秀都、基思·史蒂文斯、乔治·库里安、尼山特·帕蒂尔、王伟、克利夫·杨、杰森·史密斯，杰森·里萨（Jason Riesa）、亚历克斯·鲁德尼克（Alex Rudnick 相关软件： ImageNet；AlexNet公司；亚当… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；计算机科学（68-XX）…
算法719 41篇文献引用(1993–2017) 软件作者： D.H.贝利。 相关软件： 算法693；Mathematica；mctoolbox… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）…
精益CoP 40篇文献引用(2001–2023) 软件作者： 延斯·奥顿 相关软件： 依兰CoP；TPTP；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
ASIFT公司 34份文件引用（2009年至2022年） 软件作者： Jean-Michel Morel，余国深 相关软件： SIFT；冲浪；PCA-SIFT… 主要字段： 微分几何（53-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GF公司 30篇文献引用(1999–2021) 软件作者： 阿恩·兰塔 相关软件： Coq；米扎尔；Isar… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
布洛克 33篇文献引用(2011–2023) 软件作者： Armin Biere、Florian Lonsing、Martina Seidl 相关软件： DepQBF；RAReQS；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
PoSSo公司 33篇文献引用(1998–2023) 软件作者： D.比尼；B.穆兰 相关软件： PHCpack；PHoM；HOM4PS… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；实函数（26-XX）…
iPro54-PseKNC 32篇文献引用(2015–2019) 软件作者： 林，H。；邓永中。；丁·H。；Chen，W。；周，K.-C。 相关软件： Pse-in-One；iRSpot-PseDNC；pSuc-Lys… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
南美林猫 23篇文献引用(2007–2022) 软件作者： 埃米娜·托拉克；丹尼尔·杰克逊 相关软件： z3；Isabelle/HOL；Nitpick… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
DACTL公司 28篇文献引用(1987–2015) 软件作者： John R.W.Glauert、Richard Kennaway、George A.Papadopoulos、Ronan Sleep 相关软件： 迭戈；进度；蒙斯特… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
CoqHammer公司 28篇文献引用(2017–2023) 软件作者： 库卡斯·扎伊卡；塞萨里·卡利西克 相关软件： Coq；E定理证明；VAMPIRE… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数几何（14-XX）…
伊甸园 23篇文献引用(2001–2018) 软件作者： U.Klusik、Y.Ortega-Mallén、R.Peña 相关软件： 哈斯克尔；胶；GHC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
摩西 11份文件引用(2012–2023) 软件作者： Koehn P、Hoang H、Birch A、Callison-Burch C、Federico M、Bertoldi N、Cowan B、Shen W、Moran C、Zens R、Dyer C、Bojar O、Constantin A、Herbst E 相关软件： BLEU；欧罗巴；SRILM… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
CCSL公司 24篇文献引用(2001–2015) 软件作者： Jan Rothe、Bart Jacobs和Hendrik Tews 相关软件： PVS；CoCasl；CASL… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
MSPASS公司 23篇文献引用(2000–2021) 软件作者： Ullrich Hustadt，Renate A.Schmidt 相关软件： TPTP；吸血鬼；E定理证明… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
算法913 24篇文献引用(2011–2022) 软件作者： M.B.van Gijzen；P.Sonneveld公司 相关软件： BiCGstab；CGS；GpBiCg… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
电子电话 18篇文献引用（2003年至2019年） 软件作者： M Tomita、K Hashimoto、K Takahashi、T S Shimizu、Y Matsuzaki、F Miyoshi、K Saito S Tanida、K Yugi、J C Venter；C A和记黄埔 相关软件： GEPASI；KEGG；虚拟单元格… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
常春藤 21篇文献引用(2017–2023) 软件作者： McMillan，K.L.，Padon，O。 相关软件： 常春藤；z3；IronFleet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
条纹 22篇文献引用(2019–2023) 软件作者： Michael Luttenberger；菲利普·梅耶（Philipp J.Meyer）。；所罗门·西克特 相关软件： 相思树+；博西；Oink… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
液体 13份文件引用(2018–2023) 软件作者： Dave Wecker、Krysta M.Svore 相关软件： qHiPSTER；项目Q；Python… 主要字段： 数论（11-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
拆分步骤资源管理器 21篇文献引用(2016–2023) 软件作者： C.Cedzich、F.A.Grünbaum、C.Stahl、L.Velázquez、A.H.Werner、R.F.Wernner 相关软件： 数学软件 主要字段： 偏微分方程（35-XX）；算子理论（47-XX）；概率论与随机过程（60-XX）…
TVOC公司 20篇文献引用(2005–2022) 软件作者： 克拉克·巴雷特；方毅；本杰明·戈德伯格（Benjamin Goldberg）；胡莹；阿米尔·普努利；勒诺尔·扎克 相关软件： CVT；Coq；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
多项式CI 18篇文献引用(1995–2022) 软件作者： 巴勃罗·维拉科塔；克里斯蒂娜·P·西森。；约瑟夫·格拉兹 相关软件： R；SAS；sison5… 主要字段： 凸和离散几何（52-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
佩特索2 19份文件引用(2005–2021) 软件作者： 亚历克斯·穆里略（Alex Murillo）；维拉，J.费尔南多；威廉·J·海瑟。 相关软件： 禁忌搜索；Tucker3-HICLAS；ez… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
SQOPT公司 19份文件引用(2003–2023) 软件作者： P.E.Gill、W.Murray、M.A.Saunders 相关软件： SNOPT；CUTEst公司；qpOASES… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
无级变速器 18篇文献引用(1998–2021) 软件作者： 普努利，A。；Shtrickman，O。；西格尔，M。 相关软件： TVOC；CVC；系统C… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；计算机科学（68-XX）…
Europarl公司 11份文件引用(2011–2022) 软件作者： 菲利普·科恩 相关软件： BLEU；摩西；Scikit… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TSPACK公司 18篇文献引用(1993–2020) 软件作者： R.J.伦卡。 相关软件： pchip；TSpack；TRIPACK… 主要字段： 组合数学（05-XX）；近似和展开（41-XX）；数值分析（65-XX）…
Matchmakereft配对 17篇文献引用(2022–2024) 软件作者： 阿德里安·卡莫纳（Adrian Carmona）、阿奇利亚斯·拉佐普洛斯（Achilleas Lazopoulos）、巴勃罗·奥尔戈索（Pablo Olgoso）、何塞·圣地亚哥（Jose Santiago） 相关软件： SuperTracer；STrEAM；CoDEx… 主要字段： 组合数学（05-XX）；偏微分方程（35-XX）；粒子力学与系统（70-XX）…
MB基础 17篇文献引用(1999–2006) 软件作者： 安德烈亚斯·弗兰克；迈克尔·科尔哈斯 相关软件： TPS；欧米茄；Nuprl… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；数学教育（97-XX）
裴楚丘 16篇文献引用(2008–2022) 软件作者： 蒂姆·斯特拉兹尼；罗兰·梅耶；斯文·林克尔 相关软件： MWB；SLMC；ByMC… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
粘合剂 14篇文献引用(2005–2022) 软件作者： J.德特雷维尔。 相关软件： DKAL；SWI-预测；鲁比… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Sheppack公司 16篇文献引用（2010年至2021年） 软件作者： 威廉·萨克（William I.Thacker）；张静伟；莱恩·T·沃森；杰弗里·伯奇（Jeffrey B.Birch）；曼朱拉·艾耶；迈克尔·W·贝里 相关软件： Matlab；算法792；QSHEP3D… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）…
STAPL公司 12份文件引用(1992–2021) 软件作者： 安平；阿林·朱拉（Alin Jula）；西尔维乌斯·罗斯（Silvius Rus）；史蒂文·桑德斯；蒂姆·史密斯；加布里埃尔·塔纳斯（Gabriel Tanase）；内森·托马斯；南希·阿马托；劳伦斯·劳希沃格 相关软件： 促进；STL；PBGL… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
戴纳 13份文件引用(2008–2022) 软件作者： 杰森·艾斯纳；埃里克·戈德鲁斯特（Eric Goldlust）；诺亚·A·史密斯；西北部菲拉多。 相关软件： ProbLog；棱镜；kProbLog… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
iTIS-SeTNC公司 15篇文献引用(2015–2019) 软件作者： Chen，W。；冯，P.-M。；邓永中。；林，H。；周，K.-C。 相关软件： iRSpot-PseDNC；iPro54PseKNC；iAMP-2L… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
PBLib（公共图书馆） 15篇文献引用(2007–2023) 软件作者： 托拜厄斯·菲利普；彼得·斯坦克 相关软件： 弯曲；MiniSat；玲玲… 主要字段： 总体主题；藏品（00-XX）；群论与推广（20-XX）；凸和离散几何（52-XX）…
Daesa公司 14篇文献引用(2015–2022) 软件作者： 约翰·普莱斯（John D.Pryce）、内迪亚科夫（Nedialkov）、内德（Ned）；谭广宁 相关软件： DAETS；Matlab；测试集IVP… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
数字 14篇文献引用(1981–2004) 软件作者： 刘杭彤 相关软件： ALGOL 60；NUMVEC公司；LINPACK… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；统计学（62-XX）…
功率因数校正 14篇文献引用（2008年至2021年） 软件作者： Itasca咨询集团 相关软件： UDEC；PFC2D；代码右侧（_B）… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；变形固体力学（74-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）…
费尔塞克 4份文件引用(2020–2022) 软件作者： Myle Ott；谢尔盖·埃杜诺夫；阿列克谢·巴耶夫斯基（Alexei Baevski）；安吉拉·范；萨姆·格罗斯；Nathan Ng；大卫·格兰杰；迈克尔·奥利 相关软件： PyTorch；BERT；Python… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
KoMeT公司 13份文件引用(1996–2012) 软件作者： 例如，Uwe；托马斯·拉特 相关软件： SETHEO公司；TPTP；OTTER… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
里昂 12份文件引用(2014–2022) 软件作者： 雷吉斯·布兰科；维克多·昆卡（Viktor Kuncak）；艾蒂安·克劳斯；菲利普·苏特 相关软件： CVC4；达夫尼；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
斯塔根 8份文件引用(2020–2023) 软件作者： Choi Yunjey、Choi Minje、Kim Munyoung、Jung-Woo-Ha、Sunghun Kim、Jaegul Choo 相关软件： Wasserstein GAN；EfficientNet；ImageNet… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；信息与通信理论，电路（94-XX）
G管道 12份文件引用(2020–2024) 软件作者： 黄延平、程友龙、安库尔·巴普纳、奥汉·菲拉特、米娅·许晨、陈德浩、李孝忠、吉全·尼亚姆、郭文乐、吴永辉、陈志峰 相关软件： CIFAR；ImageNet；PyTorch… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HACL公司* 12份文件引用(2018–2023) 软件作者： Jean Karim Zinzindohoue、Karthikeyan Bhargavan、Jonathan Protzenko、Benjamin Beurdouche 相关软件： Why3；github；茉莉花… 主要字段： 数论（11-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
OpenNMT（OpenNMT） 3份文件引用(2020–2023) 软件作者： 纪尧姆·克莱因（Guillaume Klein）；Yoon Kim；邓云田；Jean Senellart；亚历山大·拉什 相关软件： PyTorch；Tensor2传感器；摩西… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
PRocH公司 12份文件引用(2013–2018) 软件作者： Cezary Kaliszyk；约瑟夫·乌尔班 相关软件： HOL灯；Flyspeck；E定理证明… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
自动增强 7份文件引用(2021) 软件作者： Ekin D.Cubuk、Barret Zoph、Dandelion Mane、Vijay Vasudevan、Quoc V.Le 相关软件： ImageNet；亚当；AlexNet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
克拉托斯 10篇文献引用(2011–2022) 软件作者： A.Cimatti、A.Griggio、A.Micheli、I.Narasamdya、M.Roveri 相关软件： 爆炸；系统C；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
勒布劳尔 11份文件引用(2011–2023) 软件作者： 西佩里亚尼，米雷拉；丹尼尔·克拉申 相关软件： SageMath；PARI/GP；麦考利2… 主要字段： 数论（11-XX）；代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
3D切片器 5份文件引用(2016–2020) 软件作者： Fedorov A、Beichel R、Kalpathy-Cramer J、Finet J、Fillion-Robin JC、Pujol S、Bauer C、Jennings D、Fennessy F、Sonka M、Buatti J、Aylward S、Miller JV、Pieper S、Kikinis R 相关软件： 蟒蛇；数字Py；ITK… 主要字段： 偏微分方程（35-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
演示 10篇文献引用(2007–2023) 软件作者： 扬·范·埃伊克 相关软件： SMCDEL公司；MCK；MCMAS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
波乔里 10篇文献引用(2013–2019) 软件作者： Tang，Y.、Chowdhury，R.A.、Kuszmaul，B.C.、Luk，C.K.、Leiserson，C.E。 相关软件： PATUS公司；GPU验证；Coq… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
产品 8份文件引用(1996–2008) 软件作者： 苏珊娜·多纳泰利（Susanna Donatelli）；费罗、莉莉亚娜；http://www.tcs.hut.fi/Software/prod/AUTHORS网站 相关软件： 海伦娜；玛丽亚；旋转… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
战术脚趾 10篇文献引用(2017–2021) 软件作者： Gauthier，T.、Kaliszyk，C.、Urban，J。 相关软件： E定理证明；谜；MaLeCoP… 主要字段： 计算机科学（68-XX）
BERTS核心 4份文件引用(2022–2023) 软件作者： Tianyi Zhang、Varsha Kishore、Felix Wu、Kilian Q.Weinberger、Yoav Artzi 相关软件： BERT；胭脂；Tensor2传感器… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）
InKreSAT公司 9份文件引用(2013–2022) 软件作者： 马克·卡明斯基（Mark Kaminski）；托比亚斯·特比 相关软件： 斯巴达克斯；BDDTab；FaCT++… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Liquid Haskell公司 9份文件引用(2014–2024) 软件作者： 尼基·瓦祖；埃里克·塞德尔。；Jhala，Ranjit；Vytiniotis，Dimitrios；西蒙·佩顿·琼斯 相关软件： 哈斯克尔；z3；愚蠢… 主要字段： 计算机科学（68-XX）
墨西哥煎玉米卷 6篇文献引用(2013–2021) 软件作者： 胡安·加莱奥蒂（Juan P.Galeotti）；尼古拉·罗斯纳（Nicolas Rosner）；卡洛斯·洛佩斯·蓬博（Carlos G.Lopez Pombo）；马塞洛·F·弗里亚斯 相关软件： TestEra；Java PathFinder；GitHub… 主要字段： 数学逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
TSPASS公司 9份文件引用(2009–2021) 软件作者： M.路德维希 相关软件： TRP++；NuSMV；TeMP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
Vc公司 8份文件引用(2017–2021) 软件作者： M.Kretz、V.Lindenstreath 相关软件： 无人值守地面；DUNE；vcl… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
WCxf公司 7份文件引用(2018–2024) 软件作者： 贾森·埃比舍尔、伊拉丽亚·布里维奥、亚历杭德罗·塞利斯、贾里德·埃文斯、云江、杰基·库马尔、潘轩佑、沃纳·波罗德、贾努斯·罗西克、大卫·施、弗洛里安·斯塔布、大卫·布斯特劳布、丹尼·范戴克、阿维利诺·维森特 相关软件： 威尔逊；SMEFTsim；DsixTools… 主要字段： 组合数学（05-XX）；偏微分方程（35-XX）；粒子力学与系统（70-XX）…
贝叶斯OWL 7份文件引用(2008–2019) 软件作者： 钟立鼎；云鹏；Rong Pan公司 相关软件： 博客；PR-OWL；IBAL… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）
代码任务 4份文件引用(2007–2013) 软件作者： 埃尔纳尔·哈吉耶夫；马修·韦巴埃（Mathieu Verbaere）；Oege De Moor公司 相关软件： AspectJ；JHotDraw；XSB… 主要字段： 计算机科学（68-XX）
DualGAN公司 8份文件引用(2019–2023) 软件作者： 易自立、张浩、谭平、龚明伦 相关软件： 像素x像素；CycleGAN；Wasserstein GAN… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；信息与通信理论，电路（94-XX）
海斯特 7份文件引用(2015–2019) 软件作者： Stanley Bak、Sergiy Bogomolov、Taylor T.Johnson 相关软件： SpaceEx；珊瑚；C2e2… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
莫德哈特 5份文件引用(1997–2017) 软件作者： F.贾哈尼安；A.K.Mok先生 相关软件： 酯类；Uppaal；Kronos… 主要字段： 数学逻辑与基础（03-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
OP2（操作2） 8份文件引用(2016–2023) 软件作者： G.R.Mudalige、M.B.Giles、I.Reguly、C.Bertolli、P.H.J.Kelly 相关软件： Firedrake；炒作；沃尔纳… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
PALLOC公司 3份文件引用(2017–2019) 软件作者： Yun H、Mancuso R、Wu ZP、Pellizzoni R 相关软件： 第五代；RTC工具箱；乔托… 主要字段： 计算机科学（68-XX）
罗塞塔 3份文件引用(2016–2019) 软件作者： Adam Falkowski、Benjamin Fuks、Kentarou Mawatari、Ken Mimasu、Francesco Riva、Verónica sanz 相关软件： 配对工具；DsixTools；FeynRules… 主要字段： 量子理论（81-XX）；相对论和引力理论（83-XX）
SCTL-MUS公司 5份文件引用(2001–2006) 软件作者： JoséJ.Pazos Arias。；加西亚·杜克（Jorge García Duque） 相关软件： PVS；SLAM；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SGN模拟 7份文件引用(2009–2019) 软件作者： 里贝罗AS，Lloyd-Price J 相关软件： RegulonDB；sva；KLU… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
bv2epr 7份文件引用(2013–2018) 软件作者： 科瓦什奈，格格利；安德烈亚斯·弗里奇（Andreas Fröhlich）；阿明·比尔 相关软件： STP；z3；Yices… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
德拉格 7份文件引用(2017–2021) 软件作者： 米勒，大卫；所罗门·西克特 相关软件： SPOT；猫头鹰；LTL2BA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）