SACLIB公司 23篇文献引用(1993–2009) 软件作者： David G.Richardson：沃纳·克兰迪克 相关软件： QEPCAD；枫树；FOXBOX… 主要字段： 数理逻辑与基础（03-XX）；代数几何（14-XX）；数值分析（65-XX）…
CompCertTSO公司 14篇文献引用(2013–2022) 软件作者： 什耶夫切克，雅罗斯拉夫；维克多·瓦菲亚迪斯；弗朗西斯科·扎帕·纳德利（Francesco Zappa Nardelli）；苏雷什·贾甘纳森；彼得·休厄尔 相关软件： 辅酶q；CompCert公司；皮尔斯纳… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
mplot（英里/小时） 4份文件引用(2019–2022) 软件作者： 加思·塔尔（Garth Tarr）、塞缪尔·米勒（Samuel Mueller）、阿兰·韦尔什（Alan Welsh） 相关软件： R；bestglm；robustbase… 主要字段： 统计学（62-XX）
备忘录 引用于3份文件(2014–2020) 软件作者： 阿卜杜拉，帕罗什·阿齐兹；穆罕默德·法乌齐（Mohamed Faouzi Atig）；陈玉芳；Carl Leonardsson；艾哈迈德·雷兹 相关软件： 小卧室；Mcmt；检查围栏… 主要字段： 计算机科学（68-XX）