皮克特 74份文件引用(1996–2022) 软件作者： 本杰明·皮尔斯（Benjamin C.Pierce）。；大卫·N·特纳 相关软件： 乔卡姆；莫德；Oz… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
ALF公司 68篇文献引用(1993–2018) 软件作者： 莉娜·马格努森 相关软件： Coq；自动化；数字（amp；N）… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几何（51-XX）…
欧米茄 61篇文献引用(2001–2023) 软件作者： 乔治·安德鲁斯（George E.Andrews）。；保罗，彼得；里瑟、阿克塞尔 相关软件： 组织环境信息系统；LattE；数学… 主要字段： 组合数学（05-XX）；数论（11-XX）；交换代数（13-XX）…
阿贝拉 引用于57份文件(2008–2023) 软件作者： 安德鲁·加塞克 相关软件： Twelf；白鲸；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
Chebfun2号机组 45篇文献引用(2013–2023) 软件作者： 亚历克斯·汤森；劳埃德·N·特里费琴。 相关软件： 切布冯；Matlab；DLMF… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；近似和展开（41-XX）…
防抱死制动系统 32篇文献引用(2012–2022) 软件作者： Johnsen，E.B.、Hähnle，R.、Schäfer，J.、Schlatte，R.和Steffen，M。 相关软件： JCobox；中美合作所；Erlang… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
美赞臣 9份文件引用(2006–2019) 软件作者： Bierman GM、Parkinson MJ、Pitts AM 相关软件： 羽量级Java；中量级爪哇；旋风… 主要字段： 计算机科学（68-XX）
羽毛特性 6篇文献引用(2008–2023) 软件作者： 路易吉·利库里；阿诺德·斯皮瓦克 相关软件： 羽量级Java；JML；埃菲尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CCUBE公司 4份文件引用（1997年至2013年） 软件作者： A.Brodsky、V.Segal、J.Chen、P.Exarkhopoulo 相关软件： XQuery；抒情的；DEDALE… 主要字段： 计算机科学（68-XX）
MOMI公司 4份文件引用(2005–2008) 软件作者： 洛伦佐·贝蒂尼；贝蒂·文内里（Betti Venneri）；维维亚娜·博诺 相关软件： 琳达；科莱姆；克拉瓦 主要字段： 计算机科学（68-XX）
部落 4份文件引用(2010–2016) 软件作者： Clarke，D.、Drossopoulou，S.、Noble，J.、Wrigstad，T。 相关软件： Waldmeister；梅斯4；校准仪9… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
OGRe公司 1份文件引用(2023) 软件作者： 巴拉克·肖沙尼 相关软件： GitHub；CADSOL；朱莉娅… 主要字段： 偏微分方程（35-XX）；算子理论（47-XX）；流形和细胞复合体（57-XX）…