FALCON公司 8份文件引用（1996年至2022年） 软件作者： 张，J。 相关软件： Mace4；MiniSat；ModGen… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
投影CAD 8份文件引用（2014年至2020年） 软件作者： 英格兰，马修；戴维·威尔逊（David Wilson）；拉塞尔·布拉德福德（Russell Bradford）；詹姆斯·H·达文波特。 相关软件： 正则链；QEPCAD；MetiTarski… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；代数几何（14-XX）…