BSP接口 41篇文献引用(1997–2020) 软件作者： 贾维斯，S.A。；希尔，J.M.D。；Siniolakis，C.J。；瓦西列夫。 相关软件： BSPedupack公司；PVM；多核心BSP… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
CC-Pi公司 28篇文献引用(2007–2022) 软件作者： 玛丽亚·格拉齐亚·巴斯米（Maria Grazia Buscemi），乌戈·蒙塔纳里（Ugo Montanari） 相关软件： 奶牛；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
PSync（同步） 9份文件引用(2016–2023) 软件作者： 塞扎拉奥盖医生；托马斯·亨辛格。；达米安·祖弗里 相关软件： 威尔第；常春藤；ByMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
生物SPI 8份文件引用(2004–2022) 软件作者： – 相关软件： 棱镜；BioNetGen；游戏… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；生物学和其他自然科学（92-XX）
杰克 8份文件引用(2017–2023) 软件作者： 马古利斯，F。；G·比克皮·贝尼桑。 相关软件： Alinea；Gmsh；Getfem++… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
戈弗利泽 2份文件引用(2016) 软件作者： Kai Stadtmüller、Martin Sulzmann、Peter Thiemann 相关软件： 去；TyPiCal；GitHub… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
CyNC公司 1份文件引用(2023) 软件作者： 亨利克·席勒（Henrik Schioler）；汉斯·施维费尔（Hans P.Schwefel）。；马丁·汉森。 相关软件： 科雷利；NC-Maude；德波拉… 主要字段： 信息与通信理论，电路（94-XX）