Freshml公司 48篇文献引用(2003–2021) 软件作者： M.R.Shinwell、A.M.Pitts、M.Gabbay。 相关软件： Coq；名义上的伊莎贝尔；Twelf… 主要字段： 数理逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）；一般代数系统（08-XX）…
自旋 26篇文献引用(2002–2022) 软件作者： ADRIAN PERRIG、ROBERT SZEWCYK、J.D.TYGAR、VICTOR WEN和DAVID E.CULLER 相关软件： TinyECC；标签；AVISPA… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…