焦点 66份文件引用(2004–2023) 软件作者： 兰吉特·贾拉（Ranjit Jhala）、肯尼思·麦克米兰（Kenneth L.McMillan） 相关软件： 公主；z3；CSIsat… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
Symstra公司 12份文件引用（2005年至2021年） 软件作者： 谢、陶；达科·马里诺夫；沃尔夫拉姆·舒尔特；大卫·诺金 相关软件： 科拉特；Java PathFinder；飞镖… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）