水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺，何塞·阿尔弗雷多；Miranda Perea、Favio Ezequiel 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
数据日志 282份文件引用(1978–2022) 软件作者： Ceri，S.、Gottlob，G.、Tanca，L 相关软件： 亚萨特；格林戈；Clingo… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
马德里 139篇文献引用（1998年至2024年） 软件作者： R.Venkata Rao 相关软件： 电气；VIKOR；NBI… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
SETHEO公司 引用于118篇文献(1990–2022) 软件作者： Letz，R。；舒曼，J。；拜耳，S。；比贝尔，W。 相关软件： TPTP；水獭；SPASS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
ELAN公司 106篇文献中引用（1996-2020） 软件作者： Peter Borovansky、Eric Deplagne、Claude Kirchner、Helene Kirchner、Pierre Etienne Moreau、Christophe Ringeisesen、Marian Vittek 相关软件： 莫德；咖啡馆；OBJ3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
赛车手 53篇文献引用(2001–2022) 软件作者： Volker Haarslev、Kay Hidde、Ralf Möller、Michael Wessel 相关软件： FaCT++；颗粒；KL-ONE… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
CeTA公司 49篇文献引用(2009–2023) 软件作者： 雷内·蒂曼；克里斯蒂安·斯特纳格尔 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；交换代数（13-XX）…
常春藤 45篇文献引用(2000–2023) 软件作者： 威廉·麦库恩；奥尔加·舒姆斯基 相关软件： 常春藤；z3；TPTP… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）
FRIL公司 38篇文献引用(1987–2022) 软件作者： 鲍德温，J.F。；马丁·T·P。；皮尔斯沃斯，B.W。 相关软件： Likelog；FPROLOG；XPath… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
违约 32篇文献引用(2011–2022) 软件作者： 亚历山大·唐泽 相关软件： S-TaLiRo；流量*；SpaceEx… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
智能_ 23篇文献引用(2000–2018) 软件作者： Ciardo，G。；Jones，R.L。；Miner，A.S.公司。；R·西米尼亚努。 相关软件： 自旋蛋白；棱镜；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
S-TaLiRo公司 26篇文献引用(2011–2023) 软件作者： 安普雷迪（Annpureddy），亚什旺斯（Yashwanth）；刘，车；费内科斯（Fainekos，Georgios）；桑卡拉纳拉亚南，斯里拉姆 相关软件： 违约；SpaceEx；流量*… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
显示 22篇文献引用(1993–2021) 软件作者： Andraus，Zaher S。；Mark H.Liffiton。；卡伦·萨卡拉。 相关软件： MiniSat；MUSer2；HMQV… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
乔托 17篇文献引用(2001–2022) 软件作者： 托马斯·汉津格、本杰明·霍洛维茨、克里斯托夫·梅耶·基尔希 相关软件： 卢斯特；Uppaal公司；酯类… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
内部控制系统 引用于19份文件(2001–2016) 软件作者： Jean-Christophe Filliátre；Owre，Sam；哈拉尔德街；Natarajan Shankar 相关软件： CVC-Lite；CVC；箔条… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；场论与多项式（12-XX）…
SCIFF公司 引用于19份文件(2006–2022) 软件作者： 马可·阿尔贝蒂、费德里科·切萨尼、马可·加瓦内利、伊芙琳娜·拉姆马、保拉·梅洛、保罗·托罗尼 相关软件： HYPROLOG；棱镜；ProbLog… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MMT公司 13份文件引用(2007–2019) 软件作者： Fabricio Chalub；克里斯蒂亚诺·布拉加 相关软件： 莫德；K校准仪；JavaFAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
天基信息平台 12份文件引用(2012–2021) 软件作者： 弗布拉罗，奥诺弗里奥；里尔，克里斯蒂安；弗朗西斯科·里卡 相关软件： 海狮；卡拉；APE… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
HyFIS公司 9份文件引用(2002–2022) 软件作者： Kim J、Kasabov N 相关软件： ANFIS；DENFIS；树… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
ANCFIS公司 14篇文献引用(2012–2023) 软件作者： 陈志飞；萨拉·阿格哈尼；詹姆斯·曼；斯科特·迪克 相关软件： ANFIS；蒂森；FLANN… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；运筹学，数学编程（90-XX）…
帕戈达 12份文件引用(2007–2015) 软件作者： 马丁·威辛；Denker，砂砾；卡罗琳·塔尔科特；安迪·波乔（Andy Poggio）；Briesemeister琳达 相关软件： 莫德；科莱姆；重新设置（amp；E）… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
E-KRHper公司 在11份文件中引用(2007–2021) 软件作者： 比约恩·佩尔泽；Christoph Wernhard公司 相关软件： E定理证明器；E-Darvin；萨奇莫… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
工厂 在11份文件中引用(2011–2020) 软件作者： 安德鲁·麦卡伦、卡尔·舒尔茨、萨米尔·辛格 相关软件： 教会；IBAL；ProbLog… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Z3-街道 10篇文献引用(2015–2023) 软件作者： Zheng Y、Zhang X、Ganesh V 相关软件： S3；z3；通过… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
KiCS2系列 8份文件引用(2009–2022) 软件作者： 伯恩德·布拉埃尔；迈克尔·哈努斯（Michael Hanus）；皮默勒，比约恩；费比安·雷克 相关软件： 咖喱；哈斯克尔；PAKCS… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
更窄的 11份文件引用(1985–1995) 软件作者： 皮埃尔·雷蒂（Pierre Rety）；克洛德·基什内尔；赫莱内·基什内尔；皮埃尔·莱斯坎 相关软件： PARLOG；版次：；内核-叶… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；一般代数系统（08-XX）…
Verilog公司 9份文件引用(1999–2020) 软件作者： 斯图亚特·萨瑟兰 相关软件： VPI；电源保护；卡米… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
KOOL公司 7份文件引用(2009–2016) 软件作者： Hills，M.，Rosu，G。 相关软件： K校准仪；莫德；K工具… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
lp2正常 8份文件引用(2014–2023) 软件作者： 乔里·博曼森 相关软件： 克林戈；WASP；ASSAT… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
张力 5份文件引用(2021–2022) 软件作者： 亚历山大·库内尔（Alexander Kuhnle）；Michael Schaarschmidt；凯·弗里克 相关软件： TensorFlow；OpenAI健身房；地平线… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）；生物学和其他自然科学（92-XX）
CLP（柔性） 7份文件引用(2007–2021) 软件作者： J.科埃略；M.弗洛里多 相关软件： 定理；Mathematica；验证日志… 主要字段： 数学逻辑与基础（03-XX）；特殊功能（33-XX）；计算机科学（68-XX）
MGTP公司 6篇文献引用(1995–2013) 软件作者： 长谷川龙子；藤田，广岛；宫崎骏小村；Shirai、Yasuyuki 相关软件： 萨奇莫；TPTP；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
实际HEX 5份文件引用(2016–2021) 软件作者： Fink，M.、Germano，S.、Ianni，G.、Redl，C.、Schüller，P 相关软件： 克林戈；o临床；WASP… 主要字段： 计算机科学（68-XX）
证书密码 5份文件引用(2009–2017) 软件作者： 吉尔·巴特；本杰明·格雷戈里；圣地亚哥Zanella Béguelin 相关软件： Coq；Coq/SS反射；EasyCrypt… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
DR-预测 4份文件引用(2018–2019) 软件作者： 安东尼斯·比卡基斯；君士坦丁诺·帕帕西奥多罗；格里戈里斯·安东尼奥 相关软件： DELORES公司；吐温；法律规则ML… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
模糊FTA 6篇文献引用（2006年至2018年） 软件作者： 安东尼奥·C.F.吉马ẽ锿；尼尔森F.F.埃贝肯 相关软件： Radyban；准备/套件；MOCUS… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
CLPGUI公司 3份文件引用(2009–2016) 软件作者： Fages，F.、Soliman，S.、Coolen，R。 相关软件： 彼得里韦布；生物模型；元工具… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
邓吉尼 5份文件引用(2009–2019) 软件作者： 南部，M。；弗里斯维克，G。；J.福克斯。 相关软件： ASPARTIX公司；MiniSat；ConArg2… 主要字段： 计算机科学（68-XX）
FML至HOL 4份文件引用（2013-2021） 软件作者： 克里斯托夫·本兹穆勒；托马斯·拉斯 相关软件： 尼特皮克；TPTP；Satallax… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
单足蹦跳 5份文件引用(2010–2019) 软件作者： Manuel Serrano、Erick Gallesio、Florian Loitsch 相关软件： 链接；用户/网络；哈斯克尔… 主要字段： 计算机科学（68-XX）
国内流离失所者 5份文件引用(2008–2017) 软件作者： DTAI-KU鲁汶；Wittocx，J.，Marién，M.，Denecker，M 相关软件： 平滑；MiniSat；本质… 主要字段： 计算机科学（68-XX）
Rely公司 5份文件引用(2018–2022) 软件作者： M.Carbin、S.Misailovic、M.Rinard 相关软件： 胡迪尼；APL；VeriFast… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TCHR公司 4份文件引用(2008–2019) 软件作者： 汤姆·施里杰弗斯（Tom Schrijvers）；Bart Demoen；大卫·沃伦。 相关软件： XSB；炸薯条；SWI-预测… 主要字段： 计算机科学（68-XX）；经典热力学，传热（80-XX）
活动性 3份文件引用(2008–2014) 软件作者： 史蒂文斯·D、德拉吉塞维奇·S和罗思利·K。 相关软件： LUCAS；FANN；AntNet… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）；运筹学，数学规划（90-XX）…
科梅特 4份文件引用(2002–2005) 软件作者： Calmet，J.、Jekutsch，S.、Kullmann，P.、Schü，J。 相关软件： FRIL；PVS；SPASS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PhyloWS公司 3份文件引用(2012–2022) 软件作者： Le，Tiep；阮，Hieu；恩里科·蓬泰利（Enrico Pontelli）；儿子Tran Cao 相关软件： Potassco；aspeed；LPaaS… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
ProGolem公司 3份文件引用(2010–2017) 软件作者： 斯蒂芬·马格尔顿（Stephen Muggleton）；何塞·桑托斯；塔马多尼·内扎德（Alireza Tamaddoni-Nezhad） 相关软件： GOLEM公司；阿列夫；SeqLog… 主要字段： 计算机科学（68-XX）
化学需氧量 3份文件引用(2012–2019) 软件作者： 鲍里斯·科涅夫、米歇尔·路德维希、弗兰克·沃尔特 相关软件： 内容CVS；MASTRO公司；Ontop… 主要字段： 计算机科学（68-XX）
差异_游戏_逻辑 3份文件引用(2015–2022) 软件作者： 安德烈·普拉泽 相关软件： 凯伊迈拉；贝勒红；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
dl2asp公司 3份文件引用(2010–2021) 软件作者： 陈，尹；万，海；张燕；周毅 相关软件： DeReS；CUDA；Lparse（L解析） 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
FMona公司 3份文件引用(2000–2021) 软件作者： Bodeveix，J.-P。；M·菲拉利。 相关软件： MONA；反链；臀部… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
游戏Pad 3份文件引用(2019–2023) 软件作者： Daniel Huang；Prafulla Dhariwal；宋，黎明；伊利亚·萨茨克沃 相关软件： E定理证明器；深度数学；FEMaLeCoP… 主要字段： 计算机科学（68-XX）
GLIMPSE公司 2份文件引用(1992–2004) 软件作者： 大卫·E·沃尔斯滕霍尔姆（David E.Wolstenholme）；卡尔·M·奥布莱恩（Carl M.O'Brien）；约翰·尼尔德 相关软件： GLIM；税务；GenStat公司 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
哈斯普林 2份文件引用(2009–2017) 软件作者： Lee，Junkyu；毕、余；Gregory D.Peterson。；Robert J.Hinde。；罗伯特·哈里森。 相关软件： SPRNG；测试U01；RngSteam… 主要字段： 数值分析（65-XX）
J-LO公司 3份文件引用(2009–2012) 软件作者： 埃里克·博登（Eric Bodden）；沃尔克·斯托尔茨 相关软件： 方面J；Java-MOP；DaCapo… 主要字段： 计算机科学（68-XX）
MLAT公司 3份文件引用(1993–2008) 软件作者： Sekizawa、Toshifusa；田边、吉诺里；Yuasa、Yoshifumi；高桥，Koichi 相关软件： 爆破；Kaskade7；PLTMG公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SNP最大值 3份文件引用(2007–2014) 软件作者： Anne-Laure，Boulesteix；卡罗琳·斯特罗布尔（Carolin Strobl）；斯特凡·韦丁格；Wichmann，H.-Erich；斯特凡·瓦根菲尔 相关软件： R；LogicReg；R/qtl… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
VeriStar公司 3份文件引用（2012年至2016年） 软件作者： 戈登·斯图尔特；Lennart Beringer；安德鲁·W·阿佩尔。 相关软件： Coq；jStar公司；小脚… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CBabel公司 2份文件引用(2005–2009) 软件作者： 亚历山大·雷德梅克；克里斯蒂亚诺，布拉加；亚历山大·斯塔金伯格 相关软件： 莫德；GraphML；SLMC… 主要字段： 计算机科学（68-XX）
数据娱乐 2份文件引用(2016–2022) 软件作者： 迈克尔·阿恩特泽尼乌斯（Michael Arntzenius）；尼拉坎坦·R·克里希纳斯瓦米。 相关软件： 汞；哈斯克尔；夏普… 主要字段： 计算机科学（68-XX）
ELRAFT公司 2份文件引用(1978–1994) 软件作者： S.N.塞曼德斯 相关软件： FATRAM；准备/套件；MOCUS… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
密集型 1份文件引用(2010) 软件作者： Johan Brichau；安迪·凯伦斯；塞尔吉奥·卡斯特罗；提奥·D’Hondt 相关软件： 检查样式；冬眠；蒙德里安… 主要字段： 计算机科学（68-XX）
杰克洛伊 1份文件引用(2012) 软件作者： Aboubakr Achraf El Ghazi、Mattias Ulbrich、Christoph Gladisch、Shmuel Tyszberowicz、Mana Taghdiri 相关软件： 雅典娜；凯洛伊；KeY… 主要字段： 计算机科学（68-XX）
坎加尔 2份文件引用(2004–2008) 软件作者： 印度坎普尔理工学院-遗传算法实验室；Kalyanmoy Deb公司 相关软件： MINLP；FEFLOW；DACE… 主要字段： 流体力学（76-XX）；地球物理学（86-XX）；运筹学、数学规划（90-XX）
OOASP（OOASP） 1份文件引用(2016) 软件作者： 安德烈亚斯·福克纳；Anna Ryabokon；戈特弗里德·施纳（Gottfried Schenner）；克斯特安提恩·什切科提金 相关软件： 格林戈；MiniSat；对夹2… 主要字段： 计算机科学（68-XX）
真实 2份文件引用(2016–2019) 软件作者： 尼科斯·安杰洛普洛斯；萨默·阿卜杜拉；乔治·贾马斯 相关软件： 字符串；原苏铁岩；SWI-预测… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
ROSCoq公司 2份文件引用(2015–2018) 软件作者： 阿布谢克·阿南德；克内珀，罗斯 相关软件： Coq公司 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
SMProbLog（SMProb日志） 2份文件引用(2022) 软件作者： Pietro Totis、Angelika Kimmig、Luc De Raedt 相关软件： 克林戈；探测日志；DeepProbLog… 主要字段： 计算机科学（68-XX）
SNet（网络） 1份文件引用(2002) 软件作者： 甘斯，Günter；Gerhard Lakemeyer；马蒂亚斯·贾克；托马斯·维茨 相关软件： ConGolog；高尔夫 主要字段： 计算机科学（68-XX）
STABLE（稳定） 2份文件引用(2014–2018) 软件作者： Pavlenko，E。；韦德勒，M。；斯托菲尔，D。；Kunz，W。；等。 相关软件： 单一；宠物老板；ABC… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
氩气2P 1份文件引用(2022) 软件作者： 罗伯塔·卡莱加里；安德烈亚·奥米西尼；朱塞佩·皮萨诺；乔瓦尼·萨托 相关软件： 2P-Kt；ConArg2公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DiscASP（磁盘ASP） 1份文件引用(2022) 软件作者： 李芳；王华多；巴苏，金加尔；Elmer Salazar；戈帕尔·古普塔 相关软件： xASP；中国科学院科学院；xclingo公司 主要字段： 计算机科学（68-XX）
电喷 在0个文档中引用 软件作者： Aayush Kumar、Jimiama Mafeni Mase、Divish Rengasamy、Benjamin Rothwell、Mercedes Torres Torres、David A.Winkler、Grazziela P.Figueredo 相关软件： 浓缩咖啡；NIMEFI；解释ML… 主要字段： ——