AGG公司 引用于71份文件(1994–2023) 软件作者： 加布里埃尔·坦泽尔 相关软件： 沟槽；进度；AToM3… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
美国铝业公司 22篇文献引用(2000–2023) 软件作者： Jackson，D。；谢赫特，I。；我·什利亚克特。 相关软件： 合金；自旋蛋白；箔条… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
SBA公司 23篇文献引用(2007–2022) 软件作者： Manolis I.A.Lourakis；安东尼斯·阿吉罗斯（Antonis A.Argyros） 相关软件： SIFT；MonoSLAM；PCA-SIFT… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
DCVALID公司 16篇文献引用(2001–2022) 软件作者： P.潘迪亚 相关软件： MONA；IDLVALID；Uppaal… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
DEX公司 12份文件引用(1995–2023) 软件作者： 博哈内克M 相关软件： proDEX；提示；DEXi… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
检查VML 8份文件引用(2004–2019) 软件作者： Ákos Schmidt，Dániel Varró 相关软件： 自旋蛋白；沟槽；茂物… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
ECDAR公司 9份文件引用(2011–2022) 软件作者： 亚历山大·戴维；金·拉森。G。；Legay，Axel；乌尔里克·奈曼；安德烈·索夫斯基 相关软件： Uppaal；MIO工作台；UPPAAL TIGA… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
MASTRO公司 8份文件引用(2018–2021) 软件作者： Calvanee，D.等人。 相关软件： Ontop；SPARQL；扣… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
TDDS公司 10篇文献引用（2019年-2023年） 软件作者： 弗拉基米尔·普·格特（Vladimir P.Gerdt）、马库斯·兰盖·赫格曼（Markus Lange-Hegermann）、丹尼尔·罗伯茨（Daniel Robertz） 相关软件： 差异托马斯；枫树；珍妮特… 主要字段： 交换代数（13-XX）；常微分方程（34-XX）；概率论与随机过程（60-XX）…
ConArg2公司 8份文件引用(2014–2022) 软件作者： 比斯塔雷利，S。；罗西，F。；F.桑蒂尼。 相关软件： AFRA；MiniSat；邓金… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
电子几何教科书 7份文件引用(2010–2020) 软件作者： 陈晓宇 相关软件： Intergeo；GCLC；GeoGebra… 主要字段： 几何（51-XX）；计算机科学（68-XX）；数学教育（97-XX）
UMM公司 6篇文献引用(2007–2016) 软件作者： Yang Y、Gopalakrishnan G、Lindstrom G 相关软件： Coq；方格网；TSOTool… 主要字段： 计算机科学（68-XX）
ECCO工具包 4份文件引用(1996–2020) 软件作者： PDTec公司 相关软件： NATools；GIZA++；quanteda… 主要字段： 数理逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；统计学（62-XX）…
产量 5份文件引用(2007–2021) 软件作者： 瓦法卡鲁伊；Marie-JoséHuguet；皮埃尔·洛佩兹（Pierre Lopez）；Wady Naanaa 相关软件： 自由裁量权；帝国；CPLEX… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
CoqMTU公司 4份文件引用(2013–2020) 软件作者： 布鲁诺·巴拉斯（Bruno Barras）、珍妮·皮埃尔·朱安诺（Jean-Pierre Jouannaud）、皮埃尔·伊夫·斯特鲁布（Pierre-Yves Strub）、钱旺（Qian Wang） 相关软件： CoqMT；Coq；GitHub… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CSTNU公司 2份文件引用(2022–2023) 软件作者： 罗伯托·波塞纳托 相关软件： 时间感知BPMN-js；bpmn-js；Uppaal… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
PaSAT公司 引用于3份文件(2009–2020) 软件作者： Sinz，C.，Blochinger，W.，Küchlin，W。 相关软件： 帕米拉；PSATO；玲玲… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
CD2合金 1份文件引用（2018年） 软件作者： 沙哈尔·毛兹；简·奥利弗·林格特（Jan Oliver Ringert）；伯恩哈德·伦普 相关软件： MiniSat；WhyLine；Kodkod… 主要字段： 计算机科学（68-XX）
欧洲广告标准 2份文件引用(2001–2005) 软件作者： Vivek K.Shanbhag。；Gopinath，K。；马尔库·图伦；阿里·阿赫蒂安；马蒂·卢克凯宁 相关软件： —— 主要字段： 计算机科学（68-XX）
网络DSL 1份文件引用(2011) 软件作者： 赫梅尔，泽夫；Danny M.Groenewegen。；Lennart C.L.Kats。；埃尔科·维瑟 相关软件： 红宝石；孢子虫；链接… 主要字段： 计算机科学（68-XX）
芹菜 1份文件引用(2012) 软件作者： 尼科莱塔·德·弗朗西斯科；朱塞佩·莱蒂埃里（Giuseppe Lettieri）；卢卡·马蒂尼 相关软件： Pedcheck（跟踪检查） 主要字段： 计算机科学（68-XX）
磁类 在0个文档中引用 软件作者： 简·菲利普·迪特里希（Jan Philipp Dietrich）、本杰明·博德斯基（Benjamin Bodersky）、米斯科·斯特瓦诺维奇（Misko Stevanovic）、拉维尼亚·鲍姆斯塔克（Lavinia Baumstark）、克里斯托夫·伯特伦（Christoph Bertram）、马库斯·邦什（Markus Bonsch）、阿纳斯塔斯·吉安娜斯塔斯·贾诺萨基斯（Anastis Giannousak 相关软件： —— 主要字段： ——