反链 34份文件引用(2006–2022) 软件作者： De Wulf M、Doyen L、Henzinger TA、Raskin JF 相关软件： MONA；HIP；旋转… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
ATISBAT公司 5份文件引用(2017–2023) 软件作者： 加布里埃尔·阿奎列拉·维内加斯（Gabriel Aguilera-Venegas）；Galán-García，JoséL。；恩里克·梅里达·卡塞梅罗；佩德罗·罗德里格斯·西洛斯 相关软件： ATISMART公司；马克西玛；枫树… 主要字段： 复变量函数（30-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…