霍尔 592份文件引用(1985–2023) 软件作者： 迈克尔·J·C·戈登。 相关软件： 伊莎贝尔；Isabelle/HOL；ML… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
斯莫德尔斯 231篇文献引用(1999–2022) 软件作者： 伊尔卡·尼梅尔；西蒙斯，P；Syrjänen，汤米 相关软件： 亚萨特；C模型；XSB… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
SATO公司 190份文件引用(1996–2023) 软件作者： 张，H 相关软件： 糠；伯克敏；PSATO… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
高尔夫 158份文件引用(1996–2024) 软件作者： 赫克托·J·列夫斯克（Hector J.Levesque）。；雷蒙德·雷特（Raymond Reiter）；Lespérance，伊夫斯；林方珍；理查德·谢尔（Richard B.Scherl）。 相关软件： ConGolog；AgentSpeak；METATEM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
图形库 140篇文献引用(1993–2023) 软件作者： 唐纳德·科努特（Donald E.Knuth）。 相关软件： LOLIB；LEDA；Pajek数据集… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
格林戈 110篇文献引用(2007–2023) 软件作者： 马丁·格布瑟、罗兰·卡明斯基、本杰明·考夫曼、马克斯·奥斯特罗斯基、托尔斯滕·绍布、斯文·蒂勒 相关软件： 克林戈；卡环；WASP… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
扣环 104篇文献引用(2007–2022) 软件作者： 马丁·格布瑟（Martin Gebser）、本杰明·考夫曼（Benjamin Kaufmann）、安德烈·诺依曼（AndréNeumann）、托尔斯滕·绍布（Torsten Schaub） 相关软件： 格林戈；克林戈；WASP… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
VeriFast公司 75篇文献引用(2009–2023) 软件作者： 巴特·雅各布斯；简·斯曼斯；弗兰克·皮森斯 相关软件： 达夫尼；布吉；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
巴贝尔 72份文件引用(1988–2013) 软件作者： 马里奥·罗德里格斯-阿塔莱霍 相关软件： 核叶；玩具；咖喱… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
序言 58篇文献引用(1984–2022) 软件作者： 丹尼尔·迪亚兹 相关软件： SICStus公司；SWI-预测；芯片… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
C模型 68篇文献引用(2004–2022) 软件作者： 尤利娅·利勒 相关软件： 亚萨特；平滑；格林戈… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
WASP公司 63份文件引用(2014–2023) 软件作者： 阿尔维亚诺，马里奥；多达罗、卡明；沃尔夫冈·费伯（Wolfgang Faber）；尼古拉·利昂内（Nicola Leone）；弗朗西斯科·里卡 相关软件： 克林戈；卡环；格林戈… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
阿勒夫 59篇文献引用(2004–2023) 软件作者： 斯里尼瓦桑，A 相关软件： 探测日志；GitHub；Metagol… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
凯伊马拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
小脚 55份文件引用(2004–2023) 软件作者： J.伯丁、C.加尔卡尼奥、P.W.奥赫恩。 相关软件： VeriFast；jStar公司；臀部… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
玩具 56篇文献引用(2001–2022) 软件作者： F.J.López Fraguas，J.Sánchez Hernández 相关软件： 巴贝尔；哈斯克尔；PAKCS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Daikon公司 41篇文献引用(2005–2022) 软件作者： 迈克尔·D·恩斯特。；Jeff H.Perkins。；菲利普·郭（Philip J.Guo）。；斯蒂芬·麦卡曼特；卡洛斯·帕切科；马修·桑茨（Matthew S.Tschantz）。；肖，陈 相关软件： JML；胡迪尼；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
GHC公司 36篇文献引用(1986–2014) 软件作者： Kazunori上田 相关软件： PARLOG；SICStus公司；基玛… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
常春藤 45篇文献引用(2000–2023) 软件作者： 威廉·麦库恩；奥尔加·舒姆斯基 相关软件： 常春藤；z3；TPTP… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）
棱镜 41篇文献引用(2006–2022) 软件作者： 佐藤，T.，卡梅亚，Y。 相关软件： 探测日志；CP逻辑；PITA… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
Lparse（L解析） 42篇文献引用（2001年至2020年） 软件作者： 托米·西尔贾宁 相关软件： 格林戈；亚萨特；MiniSat… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
KL-ONE公司 37篇文献引用(2001–2022) 软件作者： 弗兰茨·巴德；乌尔里克·萨特勒 相关软件： FaCT++；赛车手；颗粒… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Clingcon公司 39篇文献引用(2009–2022) 软件作者： 马丁·格布瑟；马克斯·奥斯特罗斯基；托尔斯滕·绍布 相关软件： 克林戈；卡环；格林戈… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
ITSM2000标准 36篇文献引用(2016–2023) 软件作者： 彼得·布罗克韦尔（Peter J.Brockwell）。；理查德·戴维斯（Richard A.Davis）。 相关软件： 其mr；astsa；tscount… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
CiME公司 38篇文献引用(1997–2022) 软件作者： 埃维琳·孔特让、克劳德·马奇、安德烈·帕斯科维奇、泽维尔·乌尔班 相关软件： AProVE；蒂罗尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
LUPS公司 37篇文献引用(1999–2019) 软件作者： 何塞·朱利奥·阿尔弗雷斯；佩雷拉，路易斯·莫尼兹；哈利娜·普尔兹穆森斯卡（Halina Przymusinska）；Przymusinski，Teodor C。 相关软件： XSB；平滑；EVOLP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
莱布尼兹 36篇文献引用(1997–2022) 软件作者： K.Truempha公司 相关软件： SATO；糠；HeerHugo… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
TVLA公司 引用于33份文件(2000–2022) 软件作者： 塔尔·列夫·阿米；穆利·萨吉夫 相关软件： ESC/Java；简化；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
jStar公司 32篇文献引用(2008–2022) 软件作者： DiStefano，D.，Parkinson，M。 相关软件： 小脚；VeriFast；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Ynot公司 34份文件引用(2008–2019) 软件作者： 阿列克桑达尔·纳内夫斯基；格雷格·莫里塞特（Greg Morrisett）；Avraham Shinnar；保罗·戈维罗（Paul Govereau）；Lars Birkedal公司 相关软件： Coq；Isabelle/HOL；哈斯克尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
DLV公司 29篇文献引用(2001–2022) 软件作者： 乔瓦尼·格拉索；萨尔瓦多伊里塔诺；尼古拉·利昂内（Nicola Leone）；弗朗西斯科·里卡 相关软件： WASP；格林戈；扣… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
HIP（热等静压） 引用于33份文件(2007–2023) 软件作者： 魏恩根；Huu Hai Nguyen；克里斯蒂娜·戴维；克里斯蒂安·吉尔吉纳（Cristian Gherghina）；Quang Loc Le；Ton-Chanh Le；阿桑卡亚·夏尔马 相关软件： 小脚；VeriFast；幻灯片… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
箔 21篇文献引用(1991–2022) 软件作者： J.R.昆兰；R.M.卡梅隆-琼斯 相关软件： C4.5；GOLEM公司；UCI-ml… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；统计学（62-XX）…
质量管理清单 32篇文献引用(2007–2023) 软件作者： 托尔斯滕·阿滕柯奇；乔纳森·格拉塔奇 相关软件： QPL；奎珀；qGCL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几个复变量和分析空间（32-XX）…
爪哇风扇 30篇文献引用（2004年至2018年） 软件作者： 阿扎德·法尔赞；陈峰；何塞·梅塞盖尔；格里高·罗什乌 相关软件： 莫德；K校准仪；MMT… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
卡宴 30篇文献引用(1997–2020) 软件作者： L·奥古斯森。 相关软件： Coq；阿格达；乐高… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
天秤座 29篇文献引用(2019–2023) 软件作者： 谢天成；张嘉恒；张玉鹏；Papamanthou、Charalampos；宋，黎明 相关软件： 性欲；斯巴达人；利盖罗… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
CoALP公司 25篇文献引用(2011–2023) 软件作者： 叶卡捷琳娜·科门丹茨卡亚；权力，约翰；施密特，马丁 相关软件： CoCaml公司；coFJ；ProbLog… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
皮塔 24篇文献引用(2010–2023) 软件作者： 法布里齐奥·里古齐（Fabrizio Riguzzi）；Swift，Terrance公司 相关软件： 探测日志；CP逻辑；棱镜… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
罗塞塔 21篇文献引用(1998–2021) 软件作者： 亚历山大·赫恩；Komorowski，Jan；安德烈·斯科伦（Andrzej Skowron）；彼得·西纳克 相关软件： UCI-ml；LERS；RSES… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
LARS公司 23篇文献引用(2016–2022) 软件作者： Beck，H.、Dao-Tran，M.、Eiter，T.、Fink，M。 相关软件： 克林戈；o临床；SPARQL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
GNT公司 20篇文献引用（1997年至2013年） 软件作者： 汤米·詹胡宁；伊尔卡·尼梅尔；帕特里克·西蒙斯；托米·詹胡宁 相关软件： 亚萨特；平滑；模型… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
LPL软件 20篇文献引用(2000–2023) 软件作者： Dave Barker-Plummer、Jon Barwise、John Etchemendy；Albert Liu、Michael Murray、Emma Pease 相关软件： EPGY；减少；OTTER… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
无MoRe 22篇文献引用（2001年至2012年） 软件作者： 愤怒，基督徒；Kathrin Konczak；托马斯·林奇 相关软件： 亚萨特；C模型；平滑… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）
阿司匹林 21篇文献引用(2015–2023) 软件作者： 格哈德·布鲁卡、詹姆斯·德尔格兰德、哈维尔·罗梅罗、托尔斯滕·绍布 相关软件： 克林戈；Potassco；WASP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
CP逻辑 20篇文献引用(2009–2023) 软件作者： Joost Vennekens；马克·德内克（Marc Denecker）；莫里斯·布吕诺格 相关软件： 探测日志；PITA；棱镜… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
NP-SPEC公司 21篇文献引用(1999–2022) 软件作者： 马可·卡多利；乔瓦姆巴蒂斯塔·伊安尼；路易吉·帕洛波利；安德烈·谢尔夫（Andrea Schaerf）；多梅尼科·瓦西莱 相关软件： 平滑；ESRA；图形库… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
cminor（小） 17篇文献引用(2007–2016) 软件作者： A.W.阿佩尔、S.布拉齐。 相关软件： Coq；CompCert；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
捕食者 15篇文献引用(2012–2021) 软件作者： 卡米尔·杜德卡；彼得·米勒；彼得·佩林格（Petr Peringer）；汤姆·沃纳 相关软件： CPA检查员；CBMC；幻灯片… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
特尤斯 18篇文献引用(2001–2022) 软件作者： Nadathur，G.，Mitchell，D.J。 相关软件： Twelf；阿贝拉；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
粘合剂 14篇文献引用(2005–2022) 软件作者： J.德特雷维尔。 相关软件： DKAL；SWI-预测；鲁比… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
DLV-EX公司 16篇文献引用(2007–2021) 软件作者： 弗朗西斯科·卡利默里；苏珊娜·科萨；乔瓦姆巴蒂斯塔·伊安尼 相关软件： 克林孔；克林戈；接通DLV… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
天基信息平台 12份文件引用(2012–2021) 软件作者： 弗布拉罗，奥诺弗里奥；里尔，克里斯蒂安；弗朗西斯科·里卡 相关软件： 海狮；卡拉；APE… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
蚱蜢 14篇文献引用(2015–2023) 软件作者： R.Piskac、T.Wies和D.Zufferey 相关软件： 达夫尼；VeriFast；毒蛇… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
OPTYap公司 14篇文献引用(2001–2022) 软件作者： 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 相关软件： XSB；YAP-Prolog；YapOr… 主要字段： 计算机科学（68-XX）
VerCors公司 12份文件引用(2014–2023) 软件作者： 阿米吉，阿夫申；斯特凡·布洛姆；赛义德·达拉比；赫斯曼（Marieke Huisman）；沃伊切赫·莫斯托夫斯基；玛丽娜·扎哈里耶瓦·斯托亚诺夫斯基 相关软件： 蝰蛇；布吉；Dafny… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
KiCS2系列 8份文件引用(2009–2022) 软件作者： 伯恩德·布拉埃尔；迈克尔·哈努斯（Michael Hanus）；皮默勒，比约恩；费比安·雷克 相关软件： 咖喱；哈斯克尔；PAKCS… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
Lpopt公司 10篇文献引用(2017–2022) 软件作者： Manuel Bichler；迈克尔·莫拉克（Michael Morak）；斯特凡·沃尔特兰 相关软件： 克林戈；格林戈；格拉帕… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
分离逻辑 10篇文献引用(2015–2022) 软件作者： 彼得·兰米奇（Peter Lammich）；蕾妮·梅斯 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
Metaopt公司 9份文件引用(2019–2022) 软件作者： 安德鲁·克洛珀（Andrew Cropper）；史蒂芬·H·马格尔顿。 相关软件： 梅塔戈里；GitHub；GOLEM… 主要字段： 计算机科学（68-XX）
NP数据日志 6篇文献引用(2005–2016) 软件作者： 塞尔吉奥·格雷科；克里斯蒂安·莫里纳罗；伊琳娜·特鲁比通娜；埃斯特·赞帕诺 相关软件： 酸；XSB；数据日志… 主要字段： 计算机科学（68-XX）
出售 9份文件引用(2019–2022) 软件作者： Manuel Bichler、Michael Morak、Stefan Woltran 相关软件： 克林戈；htd；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
提洛语 6篇文献引用(2005–2022) 软件作者： Dunlop AE鱼缸JP 相关软件： JiffyTune；兰斯洛特；Mosek… 主要字段： 组合数学（05-XX）；光学、电磁理论（78-XX）；运筹学，数学规划（90-XX）…
VST-弗洛伊德 9份文件引用(2018–2023) 软件作者： 曹勤祥；Lennart Beringer；塞缪尔·格鲁特（Samuel Gruetter）；约西亚·多兹；安德鲁·W·阿佩尔。 相关软件： Coq；工具链；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
自动校对 7份文件引用(2015–2023) 软件作者： Tschannen，J。；加利福尼亚州福利亚；诺迪奥，M。；Polikarpova，N。 相关软件： 达夫尼；VCC；VeriFast… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
电动汽车 6篇文献引用(2001–2021) 软件作者： 拉尔斯-奥克·弗雷德隆德；迪利安·古罗夫；托马斯·诺尔；Mads大坝；托马斯艺术；根纳迪·楚格诺夫 相关软件： 埃尔朗；伊莎贝尔；Coq… 主要字段： 计算机科学（68-XX）
lp2正常 8份文件引用(2014–2023) 软件作者： 乔里·博曼森 相关软件： 克林戈；WASP；ASSAT… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
RGITL公司 8份文件引用(2014–2022) 软件作者： 格哈德·谢尔霍恩（Gerhard Schellhorn）；托凡、博格丹；吉登•恩斯特（Ernst，Gidon）；Pf“ahler，Jörg；Reif，Wolfgang 相关软件： 自旋蛋白；KIV；Dafny… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
蜗牛 7份文件引用(2010–2021) 软件作者： Chandra，S.、Fink，S.J.、Sridharan，M。 相关软件： 投掷；z3；STP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
BousiProlog公司 6篇文献引用(2017–2023) 软件作者： 伊兰佐、帕斯夸尔·朱利安、克莱门特·鲁比奥·曼扎诺 相关软件： Likelog；SWI-预测；快速… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
cplint（cplint） 7份文件引用(2017–2022) 软件作者： 法布里齐奥·里古齐（Fabrizio Riguzzi）；朱塞佩·科塔；埃琳娜·贝洛迪；里卡多·泽斯 相关软件： 探测日志；SWI-预测；棱镜… 主要字段： 计算机科学（68-XX）
密度编译器 7份文件引用(2015–2022) 软件作者： 曼纽尔·埃贝尔、约翰·霍兹尔、托比亚斯·尼普科 相关软件： Isabelle/HOL；HOL；存档正式证据… 主要字段： 范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
目标 6篇文献引用(2009–2015) 软件作者： Tsay，Y.-K.，Chen，Y.-F.，Tsai，M.-H.，Wu，K.-N.，Chan，W.C。 相关软件： 自旋蛋白；LTL2BA；Matlab… 主要字段： 计算机科学（68-XX）
磅/吨 5份文件引用(2009–2015) 软件作者： H.Tauriainen；K.赫尔扬科 相关软件： LTL2BA；SPOT；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
实际HEX 5份文件引用(2016–2021) 软件作者： Fink，M.、Germano，S.、Ianni，G.、Redl，C.、Schüller，P 相关软件： 克林戈；o临床；WASP… 主要字段： 计算机科学（68-XX）
ASMKeY公司 6篇文献引用（2004年至2012年） 软件作者： 南城，斯坦尼斯拉斯；Robert F.Stärk。 相关软件： 凯伊；ANTLR；Why3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ASPeRiX公司 4份文件引用(2009–2016) 软件作者： Claire Lefèvre、Pascal Nicolas、Stéphane Ngoma 相关软件： 亚萨特；格林戈；OMiGA… 主要字段： 计算机科学（68-XX）
证书密码 5份文件引用(2009–2017) 软件作者： 吉尔·巴特；本杰明·格雷戈里；圣地亚哥Zanella Béguelin 相关软件： Coq；Coq/SS反射；EasyCrypt… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
dCAQE公司 6篇文献引用(2019–2022) 软件作者： Tentrup，Leander；马库斯·拉贝。 相关软件： HQPre；iProver；CAQE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
霍恩洛格 6篇文献引用（1987年至1993年） 软件作者： 让·H·加利耶。；斯坦·拉茨 相关软件： Ltur公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
艾朱利安 5份文件引用(2014–2020) 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；弗朗西斯科·弗雷奇纳；朱莉娅·萨皮娜 相关软件： 莫德；Web-TLR；动画… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
KeY-C公司 5份文件引用(2009–2023) 软件作者： 穆尔克，奥列格；丹尼尔·拉尔森（Daniel Larsson）；雷纳·哈内尔 相关软件： Isabelle/HOL；Why3；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
千对数 6篇文献引用(2014–2022) 软件作者： 保罗·弗雷斯科尼；法布里齐奥·科斯塔；Luc De Raedt；库尔特·德·格雷夫 相关软件： 探测日志；PyTorch；Aleph… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
LMS公司 5份文件引用(2010–2022) 软件作者： 蒂亚克·隆普夫（Tiark Rompf），马丁·奥德斯基（Martin Odersky） 相关软件： 科卡；博客；TMB… 主要字段： 计算机科学（68-XX）
MSVL公司 6篇文献引用(2019–2020) 软件作者： 王晓兵、丛田、段振华、梁昭 相关软件： 自旋蛋白；CPA检查员；CESAR… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
辐条 4份文件引用(2008–2020) 软件作者： Gebser，M.、Pührer，J.、Schaub，T.、Tompits，H.、Woltran，S。 相关软件： 格林戈；天基信息平台；SeaLion… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
国歌 4份文件引用(2019–2020) 软件作者： Lifschitz，V.、Lühne，P.、Schaub，T。 相关软件： 格林戈；TPTP；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CLPGUI公司 3份文件引用(2009–2016) 软件作者： Fages，F.、Soliman，S.、Coolen，R。 相关软件： 彼得里韦布；生物模型；元工具… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
Cplus2ASP 5份文件引用(2011–2022) 软件作者： 约瑟夫·巴贝；Lee，Joohyng先生 相关软件： CCalc；f2lp；Coala… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Crowfoot公司 5份文件引用(2011–2015) 软件作者： 纳撒尼尔·查尔顿；本·霍斯福尔（Ben Horsfall）；罗伊斯，伯恩哈德 相关软件： 小脚；VeriFast；jStar… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
距离-弧度 5份文件引用(2011–2015) 软件作者： 穆萨布·阿尔图尔基；何塞·梅塞盖尔 相关软件： 莫德；爪哇风扇；Java+ITP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）