伊莎贝尔/HOL 1076份文件引用(1996–2024) 软件作者： 沃尔夫冈·纳拉斯切夫斯基（Wolfgang Naraschewski）；托比亚斯·尼普科 相关软件： 伊莎贝尔；Coq；HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
马蒂塔 78篇文献引用(2007–2024) 软件作者： 安德烈亚·阿斯佩蒂（Andrea Asperti）；里奇奥蒂，威尔默；Sacerdoti Coen，Claudio；恩里科·塔西 相关软件： Coq；米扎尔；Isabelle/HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
LightDP（光DP） 4份文件引用(2017–2023) 软件作者： 张丹峰；丹尼尔·基弗 相关软件： PrivateLR公司；河豚；z3… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
触摸开发 1份文件引用(2017) 软件作者： 尼古拉·蒂尔曼（Nikolai Tillmann）、米查尔·莫斯卡尔（Michal Moskal）、乔纳森·德哈勒克斯（Jonathan de Halleux）、曼努埃尔·法恩德里奇（Manuel Fahndrich） 相关软件： 划伤；爱丽丝；绿脚… 主要字段： 计算机科学（68-XX）
DLT年 在0个文档中引用 软件作者： 卡斯珀·布恩（Casper Boone）、尼尔斯·德布鲁恩（Niels de Bruin）、阿尔扬·朗格拉克（Arjan Langerak）、费比安·斯特马赫（Fabian Stelmach） 相关软件： 乱劈；TypeScript；NL2类型… 主要字段： –
模糊逻辑.jl 在0个文档中引用 软件作者： 卢卡·费兰蒂（Luca Ferranti）、贾尼·布特利埃（Jani Boutellier） 相关软件： 模糊；模糊J；NEFCLASS-X… 主要字段： –