VAMPIRE公司 308份文件引用(1985–2023) 软件作者： 亚历山大·里亚扎诺夫；安德烈·沃伦科夫 相关软件： TPTP；E定理证明器；SPASS… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几何（51-XX）…
NeTra公司 引用于42份文件(2000–2016) 软件作者： 马维英；B.S.曼朱纳 相关软件： VisualSEEk；简单性；PicToSeek… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）…
Python Web图形生成器 41篇文献引用(2013–2023) 软件作者： 萨基特·萨特 相关软件： 就餐套房；NetLogo；invGauss… 主要字段： 组合数学（05-XX）；常微分方程（34-XX）；统计力学，物质结构（82-XX）…
XS搜索 6篇文献引用(2009–2018) 软件作者： Cohen S、Mamou J、Kanza Y、Sagiv Y。 相关软件： XPath；XIRQL；XQuery… 主要字段： 计算机科学（68-XX）
FSDA公司 23篇文献引用(2013–2022) 软件作者： Riani M、Perrotta D、Torti F 相关软件： robustbase；TCLUST；mclust… 主要字段： 统计学（62-XX）
数学Web搜索 22篇文献引用(2006–2021) 软件作者： Michael Kohlhase、Bogdan A.Matican、Corneliu-Claudiu Prodescu 相关软件： OMDoc；MMT；Mizar… 主要字段： 数学逻辑与基础（03-XX）；特殊功能（33-XX）；偏微分方程（35-XX）…
洛尔 6篇文献引用(2002–2010) 软件作者： McHugh J、Abiteboul S、Goldman R、Quass D、Widom J。 相关软件： XPath；XQuery；ViST… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
eXist公司 7份文件引用(2003–2017) 软件作者： 沃尔夫冈·迈尔 相关软件： XPath；XQuery；Globus工具包… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；生物学和其他自然科学（92-XX）
幼崽 15篇文献引用(2006–2021) 软件作者： 安德里亚·阿斯佩蒂；费鲁奇奥·吉迪；Sacerdoti Coen，Claudio；恩里科·塔西；斯特凡诺·扎奇罗利 相关软件： 米扎尔；Coq；嗯… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
斯沃格尔 2份文件引用(2011) 软件作者： Ding，L.，Finin，T.，Joshi，A.，Pan，R.，Cost，R.S.，Peng，Y.，Reddivari，P.，Doshi，V.C.，Sachs，J。 相关软件： WordNet；SPARQL；DBpedia… 主要字段： 计算机科学（68-XX）
生物门户 8份文件引用(2016–2020) 软件作者： Noy NF、Shah NH、Whetzel PL等人 相关软件： DBpedia；电锯；颗粒… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；统计学（62-XX）…
Wumpus公司 12份文件引用(2010–2024) 软件作者： 斯特凡·比彻（Stefan Büttcher）；查尔斯·L·A·克拉克 相关软件： Tensor2传感器；PMTK；BERT… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
iSAX公司 9份文件引用(2011–2022) 软件作者： 谢赫（J.Shieh）；E.J.基奥 相关软件： PhysioToolkit；CMU运动捕捉；UCI-ml… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
国家林业局 10篇文献引用(2015–2023) 软件作者： Schäfer P，Högqvist M 相关软件： 火箭；UCR套件；scmamp… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
一瞥 7份文件引用(2001–2017) 软件作者： 美国曼伯。；吴，S。 相关软件： SDSL；github；zdelta… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
GKC公司 7份文件引用(2019–2022) 软件作者： 塔内尔·塔米特 相关软件： VAMPIRE公司；SPASS；OTTER… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）
索尔 4份文件引用(2011–2019) 软件作者： Apache软件基金会 相关软件： Lucene；数学查找；ESMValTool… 主要字段： 历史与传记（01-XX）；统计学（62-XX）；计算机科学（68-XX）…
LEMP（发光二极管） 5份文件引用（2016年至2022年） 软件作者： 克里斯蒂娜·特弗卢迪；雷纳·杰穆拉 相关软件： github；福克纳；PATTY… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MPSCAN公司 4份文件引用(2010–2022) 软件作者： E.Rivals、L.Salmela、P.Kiiskinen、P.Kalsi、J.Tarhio 相关软件： BWA；通行证；Iedera… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
新加坡 4份文件引用(2014–2018) 软件作者： 拉斐尔·迪纳塔莱（Raffaele Di Natale）、阿尔弗雷多·费罗（Alfredo Ferro）、罗莎尔巴·朱格诺（Rosalba Giugno）、米塞尔·蒙吉奥夫（Misael Mongiov）、阿弗雷多·普维伦蒂（Alfred Pulvirenti） 相关软件： GraphGrep；传奇；GADDI… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
生物提示盒 1份文件引用（2010年） 软件作者： 克劳迪奥·科尔西、保罗·费拉吉纳、罗伯托·马兰贡 相关软件： 超级家族；细胞景观；clusfind… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
SErAPIS公司 2份文件引用(2021–2022) 软件作者： Stathopoulos，Y.、Koutsoukou-Argyraki，A.、Paulson，L。 相关软件： 发现事实；Isabelle/HOL；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
雅达 2份文件引用(2008–2010) 软件作者： Katarzyna Zamlynska；卢卡斯·博利科夫斯基；托马斯·罗西克 相关软件： – 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）
对数透镜 在0个文档中引用 软件作者： Debnath B.、Solaimani M.、Gulzar M.A.G.、Arora N.、Lumezanu C.、Xu J.、Zong B.、Zhang H.、Jiang G.、Khan L。 相关软件： 弹性搜索；诺多兹；AIQL… 主要字段： –
穆班迪 1份文件引用(2003) 软件作者： 赫尔墨斯，伯尔尼；马克西米利安·斯坦普福贝尔（Maximilian Stempfhuber）；卢卡·德米切利；卡洛·拉瓦莱 相关软件： – 主要字段： 统计学（62-XX）