皮塔 24篇文献引用(2010–2023) 软件作者： 法布里齐奥·里古齐（Fabrizio Riguzzi）；Swift，Terrance公司 相关软件： 探测日志；CP逻辑；棱镜… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
乔托 17篇文献引用(2001–2022) 软件作者： Thomas A.Henzinger、Benjamin Horowitz、Christoph Meyer Kirsch 相关软件： 卢斯特；Uppaal；酯类… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
蚱蜢 14篇文献引用(2015–2023) 软件作者： R.Piskac、T.Wies和D.Zufferey 相关软件： 达夫尼；VeriFast；毒蛇… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
瑞士法郎 14篇文献引用(2008–2019) 软件作者： 克里斯托夫·本兹穆勒；弗洛里安·拉贝（Florian Rabe）；杰夫·萨特克利夫 相关软件： TPTP；E定理证明；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
cplint（cplint） 引用于7份文件(2017–2022) 软件作者： 法布里齐奥·里古齐（Fabrizio Riguzzi）；朱塞佩·科塔；埃琳娜·贝洛迪；里卡多·泽斯 相关软件： 探测日志；SWI-预测；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
卢比 6篇文献引用(2007–2010) 软件作者： Andrej Bauer、Christopher A.Stone 相关软件： OCaml；RealLib；iRRAM… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
EVALPSN公司 5份文件引用(2003–2020) 软件作者： 中松（Kazumi Nakamatsu）；森野、东崎；亚伯、杰尔·米诺罗；铃木、铃木 相关软件： 图论；枫树 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
AgsyHOL公司 4份文件引用(2013–2015) 软件作者： F.林布拉德。 相关软件： TPTP；Nitpick公司；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
科梅特 4份文件引用(2002–2005) 软件作者： Calmet，J.，Jekutsch，S.，Kullmann，P.，Schü，J。 相关软件： FRIL；PVS；SPASS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
i-Cube（i-Cube） 3份文件引用(2001–2011) 软件作者： 弗兰基·彭；科斯塔斯·孔托吉安尼斯 相关软件： – 主要字段： 结合环与代数（16-XX）；微分几何（53-XX）；计算机科学（68-XX）…
选择差距 1份文件引用(2016) 软件作者： 埃多亚多·塞拉（Edoardo Serra）；弗朗西斯卡·斯佩萨诺（Francesca Spezzano）；苏布拉马尼安，V.S。 相关软件： 数据日志；ProbLog（问题日志） 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）
HAMAP公司 1份文件引用(2017) 软件作者： Pedruzzi I等人 相关软件： ZCURVE；基因标记S；RDP2… 主要字段： 一般性和全局性主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
PLINI公司 在0个文档中引用 软件作者： 阿尔巴内塞，马西米利亚诺；马蒂亚斯·布罗切勒；约翰·格兰特；Martinez，Maria Vanina；苏布拉曼尼亚，V.S。 相关软件： – 主要字段： –