隔间 23篇文献引用(2013–2023) 软件作者： Conchon S.、Goel A.、KrstićS.、Mebsout A.、Zaidi F。 相关软件： Mcmt；z3；常春藤… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
Matchmakereft配对 17篇文献引用(2022–2024) 软件作者： 阿德里安·卡莫纳（Adrian Carmona）、阿奇利亚斯·拉佐普洛斯（Achilleas Lazopoulos）、巴勃罗·奥尔戈索（Pablo Olgoso）、何塞·圣地亚哥（Jose Santiago） 相关软件： SuperTracer；STrEAM；CoDEx… 主要字段： 组合数学（05-XX）；偏微分方程（35-XX）；粒子力学与系统（70-XX）…
EFTofPNG公司 14篇文献引用(2019–2023) 软件作者： 米歇尔·列维（Michele Levi）、扬·斯坦霍夫（Jan Steinhoff） 相关软件： x法案；基拉；LiteRed… 主要字段： 拓扑群，李群（22-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
ABC4EFT公司 14篇文献引用(2012–2023) 软件作者： 李浩林；任哲；肖明磊；于江浩；郑宇辉 相关软件： Z；REPSN；目标@形状; … 主要字段： 数论（11-XX）；代数几何（14-XX）；偏微分方程（35-XX）…
DEFT公司 8份文件引用(2019–2023) 软件作者： 本·格里帕奥斯（Ben Gripaios）、戴夫·萨瑟兰（Dave Sutherland） 相关软件： 基本发电机；匹配工具；CoDEx… 主要字段： 可变形固体力学（74-XX）；量子理论（81-XX）；相对论和引力理论（83-XX）
AEtnaNova公司 8份文件引用(2011–2018) 软件作者： Eugenio G.Omodeo、Domenico Cantone、Alberto Policriti、Jacob T.Schwartz 相关软件： 裁判；SETL；Mizar… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；复变量函数（30-XX）…
基本发电机 7份文件引用(2021–2023) 软件作者： 胡安·卡洛斯·克里亚多 相关软件： DEFT；费恩规则；SuperTracer… 主要字段： 可变形固体力学（74-XX）；量子理论（81-XX）；相对论和引力理论（83-XX）
裁判 7份文件引用（2013年至2018年） 软件作者： Eugenio G.Omodeo；多梅尼科·坎通纳；阿尔贝托·波利克里蒂；雅各布·T·施瓦茨 相关软件： AEtnaNova；SETL；Mizar… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
SMEFT风味 5份文件引用(2022–2023) 软件作者： 海军上将格雷乔；Ajdin Palavrić；安德斯·埃勒·汤姆森 相关软件： SuperTracer；STrEAM；Matchmakereft… 主要字段： 可变形固体力学（74-XX）；量子理论（81-XX）
FeynOnium公司 4份文件引用(2020–2024) 软件作者： Nora Brambilla、Hee Sok Chung、Vladyslav Shtabovenko、Antonio Vairo 相关软件： FeynCalc；费恩规则；FeynHelpers… 主要字段： 组合数学（05-XX）；偏微分方程（35-XX）；代数拓扑（55-XX）…
克莱戈 3份文件引用（2011年至2017年） 软件作者： 霍斯特（Christoph Horst）；尤尔根路透社 相关软件： E6张量；Mathematica；SOSpin… 主要字段： 群论与推广（20-XX）；拓扑群，李群（22-XX）；数值分析（65-XX）…
MARMOSET公司 3份文件引用(2010–2016) 软件作者： 尼玛·阿卡尼·哈梅德、布鲁斯·克努特森、斯蒂芬·姆雷纳、菲利普·舒斯特、杰西·泰勒、娜塔莉亚·托罗、王莲涛 相关软件： NMHDECAY公司；NMSDECAY公司；希格斯信号… 主要字段： 粒子和系统力学（70-XX）；量子理论（81-XX）；相对论和引力理论（83-XX）
NetSMF公司 引用于2份文件(2022–2023) 软件作者： 邱洁忠、董玉霄、马浩、李健、王驰、王宽三、唐杰 相关软件： 节点2vec；PTE；metatah2vec… 主要字段： 统计学（62-XX）；统计力学，物质结构（82-XX）
CertiStr证书 引用于2份文件(2022) 软件作者： Kan双龙、Anthony W.Lin、Philipp Rümmer、Micha Schrader 相关软件： CVC4；CLSAT；MiniSat… 主要字段： 计算机科学（68-XX）
MARTY公司 1份文件引用（2023年） 软件作者： G.Uhlrich、F.Mahmoudi、A.Arbey 相关软件： SmeftFR；基本发电机；SuperTracer… 主要字段： 量子理论（81-XX）
TC（牵引力控制）++ 引用于2份文件（2023年） 软件作者： Masayuki Ochi 相关软件： 特征值；FFTW；增强C++库 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；信息与通信理论，电路（94-XX）
ALP隧道 1份文件引用（2023年） 软件作者： 巴克什，Supratim Das；乔纳森·马查多·罗德里格斯（Jonathan Machado-Rodríguez）；玛丽亚·拉莫斯 相关软件： CoDEx；Matchmakereft；窗体计算器 主要字段： 量子理论（81-XX）
EFT装配工 在0个文档中引用 软件作者： 努诺·卡斯特罗；约翰·埃德曼（Johannes Erdmann）；科尼利厄斯·格伦沃尔德；凯文·柯宁格（Kevin Kröninger）；尼尔斯·阿恩·罗西安 相关软件： 匹配工具；威尔逊；DsixTools… 主要字段： –
SCFs分析 1份文件引用（2023年） 软件作者： Rahmouni，Faouzi；穆罕默德·埃拉杰拉米；库伊德·马达尼；Raul D.S.G.坎皮略。 相关软件： Matlab公司 主要字段： 可变形固体力学（74-XX）