加利福尼亚州 4份文件引用(2007–2014) 软件作者： Fonseca MJ、Pimentel C、Jorge JA 相关软件： SketchREAD；塔胡提；HCRF… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
科梅特 4份文件引用(2002–2005) 软件作者： Calmet，J.、Jekutsch，S.、Kullmann，P.、Schü，J。 相关软件： FRIL；PVS；SPASS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）