腿 116篇文献引用(1991–2023) 软件作者： Luo，Z.，波拉克，R。 相关软件： Coq；Nuprl；自动… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
科奎利科 22篇文献引用(2015–2024) 软件作者： 西尔维·博尔多；凯瑟琳·莱莱；纪尧姆·梅尔金德 相关软件： Coq；Isabelle/HOL；伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；实函数（26-XX）；常微分方程（34-XX）…
数学检查 13份文件引用(2015–2021) 软件作者： 明亮，柯蒂斯；维杰·加内什；阿尔伯特·海因勒；科齐里亚斯、伊利亚斯；赛义德·内贾蒂；Czarnecki，Krzysztof；爱德华·祖尔科斯基 相关软件： 山猫；枫树；FFTW… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
FoCaLiZe公司 9份文件引用(2015–2023) 软件作者： INRIA公司；佩索，F.，维娅，P.，多利盖兹，D。 相关软件： Coq；dedukti；PVS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
Plat-Omega平台 3份文件引用(2007–2019) 软件作者： 马克·瓦格纳（Marc Wagner）；谢尔盖·奥特西耶；克里斯托夫·本兹穆勒 相关软件： 乳胶；OMDoc；MMTTeX… 主要字段： 计算机科学（68-XX）