依偎 引用于7份文件(2010–2021) 软件作者： Chandra，S.、Fink，S.J.、Sridharan，M。 相关软件： 投掷；z3；STP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ARGES公司 5份文件引用(2021–2023) 软件作者： 丹尼尔·利蒂姆（Daniel F.Litim）、汤姆·斯特特纳（Tom Steudtner） 相关软件： 莎拉；峰值电阻@TE;RGBeta… 主要字段： 特殊功能（33-XX）；代数拓扑（55-XX）；计算机科学（68-XX）…
伊曼德拉 5份文件引用(2020–2022) 软件作者： 格兰特·奥尼·帕斯莫尔（Grant Olney Passmore）、西蒙·克鲁恩斯（Simon Cruanes）、丹尼斯·伊格纳托维奇（Denis Ignatovich）、戴夫·艾特肯（Dave Aitken）、马特·布雷（Matt Bray 相关软件： VAMPIRE公司；SMT-LIB；芝诺… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
单峰归一化 1份文件引用(2020) 软件作者： Joshua Schneider、Manuel Eberl、Andreas Lochbihler 相关软件： Isabelle/HOL；概率_素数_测试；密度编译器… 主要字段： 计算机科学（68-XX）
npSolver（npSolver） 1份文件引用（2015年） 软件作者： Manthey，N.，Steinke，P。 相关软件： 迷你卫星；BoolVar/PB；PBLib… 主要字段： 计算机科学（68-XX）