MONA公司 142篇文献引用(1995–2023) 软件作者： 克拉伦德，尼尔斯；莫勒，安德斯；迈克尔·施瓦茨巴赫（Michael I.Schwartzbach）。；J·埃尔加德。 相关软件： z3；DCVALID；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
卢斯特 104篇文献引用(1992–2023) 软件作者： 卡斯皮，P。；Pilaud，D。；Halbwachs，N。；普拉斯，J.A。 相关软件： 酯类；信号；Simulink… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
MOPS公司 15篇文献引用(2003–2019) 软件作者： Chen，H.、Wagner，D。 相关软件： SLAM；爆炸；旋转… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
DCVALID公司 16篇文献引用(2001–2022) 软件作者： P.潘迪亚 相关软件： MONA；IDLVALID；Uppaal… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
国内流离失所者3 9份文件引用(2015–2020) 软件作者： 莫里斯·布鲁诺（Maurice Bruynooghe）；亨德里克·布洛克（Hendrik Blockeel）；博加特，巴特；De Cat，Broes；德普特（De Pooter，Stef）；约阿希姆·詹森；安东尼·拉巴尔；拉蒙，简；马克·德内克（Marc Denecker）；四川省韦尔市 相关软件： 卡环；WASP；DLV… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
OpenNWA公司 3份文件引用(2015–2021) 软件作者： 埃文·德里斯科尔（Evan Driscoll）；Aditya Thakur；托马斯代表 相关软件： VPAlib；GitHub；Java-MOP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
FASTUS公司 2份文件引用(2004–2011) 软件作者： 霍布斯，J.R.，阿佩尔特，D.，贝尔，J.，以色列，D.，卡梅亚马，M.，斯特克尔，M.和泰森，M。 相关软件： Unitex；INTEX公司 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
fsa图书馆 3份文件引用（2016年至2019年） 软件作者： Nuel，G。；德洛斯，V。 相关软件： 计数基序；BWA；R（右） 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
HyDI公司 3份文件引用(2013–2015) 软件作者： Cimatti A、Mover S、Tonetta S 相关软件： 太空探索技术公司；数学SAT；HySAT… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
TravMC公司 2份文件引用(2012–2017) 软件作者： 不远处，罗宾·P。；史蒂文·拉姆齐（Steven J.Ramsay）。；王志浩（音） 相关软件： TravMC2；GitHub；MoCHi… 主要字段： 计算机科学（68-XX）
分解器 1份文件引用(2017) 软件作者： Thomas N、Heather J、Ndifon W等人 相关软件： OpenDMAP；NoFold；卡纳… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
Vcsn公司 1份文件引用(2016) 软件作者： https://www.lrde.epita.fr/wiki/Vcsn/People（网址：https://www） 相关软件： 金融服务管理局；ASTL；SFST… 主要字段： 计算机科学（68-XX）