Freshml公司 49篇文献引用(2003–2023) 软件作者： Shinwell，M.R.、Pitts，A.M.、Gabbay，M。 相关软件： 名义上的伊莎贝尔；Coq；Twelf… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
半群 41篇文献引用(2011–2024) 软件作者： J.D.米切尔。 相关软件： 间隙；组织环境信息系统；Smallsemi… 主要字段： 组合数学（05-XX）；结合环与代数（16-XX）；范畴理论；同调代数（18-XX）…
偏序集 19份文件引用(1996–2019) 软件作者： J.R·斯坦布里奇 相关软件： 舵手；SF；OEIS… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
更窄的 在11份文件中引用(1985–1995) 软件作者： 皮埃尔·雷蒂（Pierre Rety）；克洛德·基什内尔；赫莱内·基什内尔；皮埃尔·莱斯坎 相关软件： PARLOG；收入；内核-叶… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；一般代数系统（08-XX）…
GLINTS公司 4份文件引用(2019–2023) 软件作者： 玛丽亚·阿尔普特（María Alpunte）、安吉尔·昆卡-奥尔加（Angel Cuenca-Ortega）、圣地亚哥·埃斯科瓦尔（Santiago Escobar）、朱莉娅·萨皮尼亚（Julia Sapiña） 相关软件： 莫德；教唆；咖喱… 主要字段： 一般代数系统（08-XX）；计算机科学（68-XX）