MPTP 0.2 55份文件引用(2006–2021) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；VAMPIRE公司；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
折扣 31份文件引用(1996–2023) 软件作者： Denzinger，J。；Kronenburg，M。；舒尔茨，S。 相关软件： TPTP；VAMPIRE公司；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
通用KADS 26篇文献引用(1994–2014) 软件作者： 范德维尔德·布鲁克 相关软件： NeuroGaz；github；投票Sim… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
PYTHIA公司 28篇文献引用(1996–2018) 软件作者： 埃利亚斯·霍斯蒂斯。；Catlin，Ann C。；赖斯（John R.Rice）。；瓦西里奥斯·维里基奥斯（Vassilios S.Verykios）。；纳伦罗摩克里希南；霍斯蒂斯（Houstis）、凯瑟琳（Catherine E.）、维拉瓦拉纳（Weerawarana）、桑吉瓦（Sanjiva）；埃利亚斯·霍斯蒂斯。；赖斯（John R.Rice）。；Joshi，Anupam；侯斯蒂斯，凯瑟琳·E。 相关软件： 珍珠包；高斯；PYTHIA8… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
简历 9份文件引用(1997–2023) 软件作者： 尤瓦尔·沙哈尔；马克·穆森 相关软件： 蛋白质；前缀跨度；铲… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ODEXPERT公司 9份文件引用(1992–2018) 软件作者： 卡梅尔，M.S。；马，K.S。；W.H.恩赖特。 相关软件： PYTHIA公司；罗德斯；算法687… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；统计学（62-XX）…
BousiProlog公司 6篇文献引用(2017–2023) 软件作者： 伊兰佐、帕斯夸尔·朱利安、克莱门特·鲁比奥·曼扎诺 相关软件： Likelog；SWI-预测；快速… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
安倍硫磷 3份文件引用(1998–2010) 软件作者： Lowry，M.R.，Philpot，A.，Pressburger，T.，Underwood，I 相关软件： 火花；蛤；牡蛎… 主要字段： 计算机科学（68-XX）
第1类 3份文件引用(2011–2016) 软件作者： 迪亚哥Fabregat-Traver；保罗·比伦蒂内西 相关软件： BLAS；LAPACK；火焰… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
GLIMPSE公司 2份文件引用(1992–2004) 软件作者： 大卫·E·沃尔斯滕霍尔姆（David E.Wolstenholme）；卡尔·M·奥布莱恩（Carl M.O'Brien）；约翰·尼尔德 相关软件： GLIM；税务；GenStat公司 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
ICOT公司 2份文件引用(1998–2002) 软件作者： Yang，Hyung Jeong；Yang，Jae Dong；金永浩（Kim，Yeongho） 相关软件： —— 主要字段： 计算机科学（68-XX）
智能政府 3份文件引用(2002–2003) 软件作者： Georgiadis，Panagiotis；Lepouras，G。；瓦西拉基斯，C。；布基斯，G。；铃鼓、Efhimios；Gorilas，S。；达文波特，E。；安·麦金托什（Ann Macintosh）；弗雷泽，J。；Lochhead，D。 相关软件： —— 主要字段： 计算机科学（68-XX）
法西尔 2份文件引用（2020年-2023年） 软件作者： 帕斯夸尔·朱利安·伊兰佐；莫雷诺、吉纳斯；何塞·安东尼奥·里亚扎 相关软件： BousiProlog；FRIL；XPath… 主要字段： 计算机科学（68-XX）
核心 2份文件引用(2002–2013) 软件作者： 卡斯特拉诺，G。；Castiello，C。；法内利，A.M。 相关软件： Matlab；支持向量机；代理… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
OPTRANS公司 2份文件引用(1998–2001) 软件作者： 皮耶里，乔瓦尼；米歇尔·克莱恩（Michel R.Klein）。；马里奥·米兰尼斯 相关软件： —— 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
AlexSys公司 1份文件引用（2017年） 软件作者： Aniba，M.R.，Poch，O.，Marchler-Bauer，A.，Thompson，J.D。 相关软件： 指南2；罢工；蛋白石… 主要字段： 生物学和其他自然科学（92-XX）
阿瓦特里 1份文件引用(2022) 软件作者： 努西亚斯，S。；Zacharaki，E.I。；K.穆斯塔卡斯。 相关软件： 双血管；CGAL公司 主要字段： 可变形固体力学（74-XX）；生物学和其他自然科学（92-XX）
捷运局 在0个文档中引用 软件作者： Versley，Y.、Ponzetto，S.、Poesio，M.、Eidelman，V.、Jern，A.、Smith，J.、Yang，X.、Moschitti，A。 相关软件： —— 主要字段： ——
KB-VISION公司 1份文件引用(2001) 软件作者： 托尔斯滕·利比希；迪特尔·芬肯泽勒（Dieter Finkenzeller）；马可·路德 相关软件： —— 主要字段： 计算机科学（68-XX）
RecBole公司 在0个文档中引用 软件作者： Wayne Xin Zhao、Shanlei Mu、Yubeng Hou、Zihan Lin、Kaiyuan Li、Yushuo Chen、Yujie Lu、Hui Wang、Changxin Tian、Xingyu Pan、Yingqian Min、Zhichao Feng、Xian Fan、Xu Chen、Pengfei Wang、Wendi Ji、Yaliang、Xiaoling、Ji-Rong Wen 相关软件： 山茱萸；RiVal公司；DeepStyle… 主要字段： ——
TESS公司 1份文件引用(2000) 软件作者： 阿尔伯特·普拉特；维克托·戈麦斯（Victor Gomez）；索莱、伊格纳西；乔塞普·卡托特（Josep M.Catot）。 相关软件： 力4/R 主要字段： 统计学（62-XX）