CESAR公司 160篇文献引用(1982–2023) 软件作者： Queille，J.P。；J.西法基斯。 相关软件： 自旋蛋白；SLAM；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
伊甸园 23篇文献引用(2001–2018) 软件作者： U.Klusik、Y.Ortega-Mallén、R.Peña 相关软件： 哈斯克尔；胶；GHC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CCSL公司 24篇文献引用(2001–2015) 软件作者： Jan Rothe、Bart Jacobs和Hendrik Tews 相关软件： PVS；CoCasl；CASL… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
常春藤 21篇文献引用(2017–2023) 软件作者： McMillan，K.L.，Padon，O。 相关软件： 常春藤；z3；IronFleet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
连续可变电压 18篇文献引用(1998–2021) 软件作者： 普努利，A。；Shtrickman，O。；西格尔，M。 相关软件： TVOC；CVC；系统C… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；计算机科学（68-XX）…
HACL公司* 12份文件引用(2018–2023) 软件作者： Jean Karim Zinzindohoue、Karthikeyan Bhargavan、Jonathan Protzenko、Benjamin Beurdouche 相关软件： Why3；github；茉莉花… 主要字段： 数论（11-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
墨西哥煎玉米卷 6篇文献引用(2013–2021) 软件作者： 胡安·加莱奥蒂（Juan P.Galeotti）；尼古拉·罗斯纳（Nicolas Rosner）；卡洛斯·洛佩斯·蓬博（Carlos G.Lopez Pombo）；马塞洛·F·弗里亚斯 相关软件： TestEra；Java PathFinder；GitHub… 主要字段： 数学逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
莫德哈特 5份文件引用（1997年至2017年） 软件作者： F.贾哈尼安；A.K.Mok先生 相关软件： 酯类；Uppaal；Kronos… 主要字段： 数学逻辑与基础（03-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
SCTL-MUS公司 5份文件引用(2001–2006) 软件作者： JoséJ.Pazos Arias。；加西亚·杜克（Jorge García Duque） 相关软件： PVS；SLAM；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GEZEL公司 6篇文献引用(2002–2018) 软件作者： 迈克尔·R·汉森。；Madsen，Jan；布莱克·怀德 相关软件： Uppaal；克罗诺斯；UPPAAL TIGA… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
海伦娜 5份文件引用(2014–2019) 软件作者： Hennicker，R.、Klarl，A.和Wirsing，M。 相关软件： DEECO公司；SCEL；重新规范… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
URSA公司 6篇文献引用(2012–2022) 软件作者： 贾尼奇，P。 相关软件： z3；卡环；MiniSat… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Verics公司 6篇文献引用(2003–2018) 软件作者： 彼得亚·德米因斯基；阿加塔·雅诺夫斯卡；Pawe Janowskił；沃伊切赫·彭泽克（Wojciech Penczek）；Półrola，阿加塔；马西耶·斯兹特尔（Maciej Szreter）；沃兹纳，博泽纳；安德烈·兹布雷泽兹尼 相关软件： MCMAS；MCK；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Z2sal公司 5份文件引用(2008–2012) 软件作者： J Derrick，S North，A J H Simons公司 相关软件： 自旋蛋白；Z；Z/EVES… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
PolyAML公司 5份文件引用(2005–2012) 软件作者： 丹塔斯，D.S。；Walker，D。；Washburn，G。；魏里奇，S 相关软件： Aspectual Caml；方面J；MAVEN… 主要字段： 计算机科学（68-XX）
G小调 4份文件引用(2010–2019) 软件作者： 麦克赖特，安德鲁；蒂姆·骑士；安德鲁·托尔马赫 相关软件： Coq；CompCert；CompCertTSO… 主要字段： 计算机科学（68-XX）
欧洲广告标准 2份文件引用(2001–2005) 软件作者： Vivek K.Shanbhag。；Gopinath，K。；马尔库·图伦；阿里·阿赫蒂安；马蒂·卢克凯宁 相关软件： – 主要字段： 计算机科学（68-XX）
语言2LTL 2份文件引用（2023年） 软件作者： 刘新余；杨，Z。；Idrees，I。；Liang，S。；肖恩斯坦，B。；Tellex，S.公司。；A.沙阿。 相关软件： OpenAI健身房；AMYTISS公司；深度合成… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；系统论；对照（93-XX）
dlvhex-sparql 1份文件引用(2013) 软件作者： Polleres，A.、Schindlauer，R。 相关软件： R2RML；乌龟；nSPARQL… 主要字段： 计算机科学（68-XX）
凯洛伊 1份文件引用(2012) 软件作者： 马蒂亚斯·乌尔布里奇；乌尔里希·盖尔曼；艾尔·加齐（El Ghazi），阿布巴克·阿赫拉夫（Aboubakr Achraf）；马纳·塔赫迪里 相关软件： 雅典娜；JKelloy；凯伊… 主要字段： 计算机科学（68-XX）
NMTPY公司 在0个文档中引用 软件作者： Ozan Caglayan、Mercedes García-Martínez、Adrien Bardet、Walid Aransa、Fethi Bougares、Loíc Barrault 相关软件： 胭脂；亚当；CIDEr… 主要字段： –