FODD-计划 15篇文献引用(2008–2022) 软件作者： Joshi，S。；R.卡顿。 相关软件： FluCaP；图形平面图；高尔夫… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
StreamQRE（流QRE） 5份文件引用(2019–2023) 软件作者： 马穆拉斯，K。；拉霍塔曼，M。；阿鲁尔（Alur，R.）。；艾夫斯，Z.G。；南卡罗来纳。 相关软件： LOLA；蒙保利；奈德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
克拉罗 4份文件引用(2013–2021) 软件作者： Thanh T.L.Tran、Liping Peng、Yanlei Diao、Andrew McGregor、Anna Liu 相关软件： 五月BMS；神秘感；三重奏… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）