迷你ML 58篇文献引用(2000–2023) 软件作者： 罗文·戴维斯（Rowan Davies）；弗兰克·芬宁 相关软件： Coq；毫升；佩斯卡… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
CiME公司 38篇文献引用(1997–2022) 软件作者： 埃维琳·孔特让、克劳德·马奇、安德烈·帕斯科维奇、泽维尔·乌尔班 相关软件： AProVE；蒂罗尔；Coq… 主要字段： 数理逻辑与基础（03-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
LARS公司 23篇文献引用(2016–2022) 软件作者： Beck，H.、Dao-Tran，M.、Eiter，T.、Fink，M。 相关软件： 克林戈；o克林戈；SPARQL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CP逻辑 20篇文献引用（2009年-2023年） 软件作者： Joost Vennekens；马克·德内克（Marc Denecker）；莫里斯·布吕诺格 相关软件： ProbLog；PITA；棱镜… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
TTM公司 18篇文献引用(2007–2023) 软件作者： J.Gaintzarain、M.Hermo、P.Lucio、M.Navarro、F.Orejas 相关软件： TRP++；拉比尼泽；Dafny… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CSP防护 17篇文献引用(2005–2022) 软件作者： 吉野县Isobe；马库斯·罗根巴赫 相关软件： PVS；Isabelle/HOL；FDR2… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
MB基础 17篇文献引用(1999–2006) 软件作者： 安德烈亚斯·弗兰克；迈克尔·科尔哈斯 相关软件： TPS；欧米茄；Nuprl… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；数学教育（97-XX）
DLV-EX公司 16篇文献引用(2007–2021) 软件作者： 弗朗西斯科·卡利默里；苏珊娜·科萨；乔瓦姆巴蒂斯塔·伊安尼 相关软件： 克林孔；克林戈；接通DLV… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
OPTYap公司 14篇文献引用(2001–2022) 软件作者： 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 相关软件： XSB；YAP-Prolog；YapOr… 主要字段： 计算机科学（68-XX）
ArgoCLP公司 14篇文献引用(2011–2023) 软件作者： 萨那斯托亚诺维奇；巴甫洛维奇，韦斯纳；Janičić，普雷德拉格 相关软件： Coq；GCLC；TPTP… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）…
阳光 13份文件引用(2014–2023) 软件作者： 罗伯托·阿马迪尼；毛里齐奥·加布里埃利；雅各布·毛罗 相关软件： 萨齐拉；微量锌；变形杆菌… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
THF0 14篇文献引用(2008–2019) 软件作者： 克里斯托夫·本兹穆勒；弗洛里安·拉贝（Florian Rabe）；杰夫·萨特克利夫 相关软件： TPTP；E定理证明；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
LIPSAT公司 6篇文献引用(2018–2021) 软件作者： 马塞洛·芬格；桑德罗·普雷托 相关软件： MiniSat；玲玲；Yices… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；测量和集成（28-XX）…
TPtool公司 6篇文献引用(2014–2017) 软件作者： 萨博尔斯·纳吉；佐尔坦·佩特雷斯；彼得·巴拉尼 相关软件： Qhull；YALMIP；SDPT3… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
流浪汉 4份文件引用(2021–2022) 软件作者： Luigi Bellomarini、Georg Gottlob、Emanuel Sallinger 相关软件： 数据日志；RDFox；LUBM… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
SAFKASI公司 3份文件引用(2005–2015) 软件作者： D.S.Wallach、A.W.Appel、E.W.Felten 相关软件： 棱镜；JFlow；活页夹… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
fzn2毫米 4份文件引用(2012–2017) 软件作者： 博菲尔（Bofill，M.）、帕拉西（Palahí）、苏伊（Suy，J.）、维拉雷特（Villaret，M。 相关软件： 微量锌；Gecode公司；SCIP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
LPaaS公司 2份文件引用(2018–2022) 软件作者： 罗伯塔·卡莱加里；Enrico Denti；玛丽亚尼，斯特凡诺；安德烈亚·奥米西尼 相关软件： SWI-预测；TuCSoN；XSB… 主要字段： 计算机科学（68-XX）
格雷斯珀 1份文件引用(2009) 软件作者： R.D.维耶加斯；F.A.阿泽夫多 相关软件： CPGraph；CaSPER；红衣主教 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
林肯 2份文件引用(2017–2021) 软件作者： 艾娜·林·乔治斯（Aina Linn Georges）；阿加塔·穆拉夫斯卡；奥蒂斯，肖恩；碧姬·品特卡 相关软件： github；阿格达；丁香… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
链接 2份文件引用(2002–2017) 软件作者： 哈伯特，L。；诺丁，J.-M。；D.加尔米奇。 相关软件： JGraph；工作流FM；HOL灯… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
NN修复 2份文件引用(2022) 软件作者： 穆罕默德·乌斯曼；Divya Gopinath；孙友成；诺勒，亚尼克；科琳娜·帕萨雷努 相关软件： 马拉博；Reluplex；DL2… 主要字段： 计算机科学（68-XX）
VeriFly公司 2份文件引用(2021–2022) 软件作者： Sanchez-Ordaz，Miguel A。；伊莎贝尔·加西亚·孔特雷拉斯（Isabel Garcia-Contreras）；维克托·佩雷斯（Victor Perez）；JoséF.Morales。；佩德罗·洛佩兹·加西亚；曼努埃尔五世（Manuel V.Hermenegildo）。 相关软件： 汞；CiaoPP；再见… 主要字段： 计算机科学（68-XX）
牦牛牦牛 2份文件引用(2000–2009) 软件作者： 克拉伦德，尼尔斯；Niels Damgaard；迈克尔·施瓦茨巴赫。 相关软件： YACC；野牛；MONA公司 主要字段： 计算机科学（68-XX）
附着器 1份文件引用(2022) 软件作者： 苏珊娜·哈恩（Susana Hahn）；奥昆特Sabunu；托尔斯滕·绍布（Torsten Schaub）；托拜厄斯·斯托尔兹曼 相关软件： 卡拉；ASPVIZ公司 主要字段： 计算机科学（68-XX）
哈加 1份文件引用(2002) 软件作者： Oskar Mencer、Zhining Huang和Lorenz Huelsbergen 相关软件： —— 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
利瓦塔 1份文件引用(2019) 软件作者： Ondrej Lengal；吉里·西马切克；托马斯·沃伊纳；马丁·赫鲁斯卡；卢卡斯·霍利克 相关软件： 餐前小吃；反链；LTL2BA… 主要字段： 计算机科学（68-XX）
SIFT公司 1份文件引用(2014) 软件作者： Ozsoy、Meltem；德米特里·波诺马列夫；Abu-Ghazaleh，内尔；苏里、塔米什 相关软件： JFlow；电梯；M-Sim公司 主要字段： 计算机科学（68-XX）