北极的 7份文件引用(1996–2023) 软件作者： 迈克尔·莫斯特罗姆（Michael A.Mostrom）。；杜山米特罗维奇；Dale R.韦尔奇。 相关软件： ELBA；Vador；FreeFem++… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；数值分析（65-XX）…
密度编译器 7份文件引用(2015–2022) 软件作者： 曼纽尔·埃贝尔、约翰·霍兹尔、托比亚斯·尼普科 相关软件： Isabelle/HOL；HOL；存档正式证据… 主要字段： 范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
科根（Cogent） 3份文件引用(2016–2022) 软件作者： 里兹卡拉，克莉丝汀；利姆，贾菲斯；永田县长岛；Thomas Sewell；陈子琳；利亚姆·奥康纳；托比·穆雷；加布里埃尔·凯勒；格温·克莱恩 相关软件： 锈带；哈斯克尔；旋风… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
神经构筑物 1份文件引用(2019) 软件作者： Gleeson，P.、Steuber，V.、Silver，R.A。 相关软件： 神经元；蟒蛇；SpineML… 主要字段： 生物学和其他自然科学（92-XX）
PICN公司 1份文件引用(2024) 软件作者： 史鹏鹏；曾志；梁天寿 相关软件： PhyGeoNet；PhyCRNet；转换PDE-UQ 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；概率论与随机过程（60-XX）…
Q*证书 1份文件引用(2018) 软件作者： 奥尔巴赫，J.S.、赫泽尔，M.、曼德尔，L.、辛纳，A.、西蒙，J。 相关软件： 序列；HoTTSQL；SQLCert… 主要字段： 计算机科学（68-XX）