DFLGEN公司 10篇文献引用(2015–2022) 软件作者： Giampaolo Liuzzi；露西迪、斯特凡诺；弗朗西斯科·里纳尔迪 相关软件： DFLBOX；DFL；野马… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
ACuLa博士 2份文件引用(2007–2012) 软件作者： Dale Vaillancourt、Rex Page、Matthias Felleisen 相关软件： DrScheme；ACL2；校样板… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
艾丽尔 2份文件引用(1991) 软件作者： 詹姆斯·M·莫里斯。；马克·霍华德 相关软件： 卡利班；克里奥；米兰达 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
卡利班 2份文件引用(1991) 软件作者： 詹姆斯·M·莫里斯。；马克·霍华德 相关软件： 阿里尔；克里奥；米兰达 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）