海狮 7份文件引用(2012–2019) 软件作者： Johannes Oetsch、Jörg Pührer、Hans Tompits 相关软件： 天基信息平台；卡拉；APE… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）；数学教育（97-XX）
校样板 1份文件引用(2018) 软件作者： Caleb Eggensperger公司 相关软件： ACL2；ACuLa博士；DrJava… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
魅力FL 在0个文档中引用 软件作者： 库赛·伊德里斯·萨罕（Qusay Idrees Sarhan）、阿提拉·萨特马里（Attila Szatmari）、拉杰蒙德·托特（Rajmond Toth）、阿帕德·贝塞德斯（Arpad Beszedes） 相关软件： 酥脆；pytest；封面.py… 主要字段： –
Web-STAR网站 1份文件引用(2019) 软件作者： 罗德塞努斯，克里斯托斯·T。；米歇尔·洛伊索斯 相关软件： 在线SPARC；SWISH数据实验室；SeaLion… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）