名义伊莎贝尔 82份文件引用(2005–2023) 软件作者： 城市，基督教；塞萨里·卡利西克 相关软件： Isabelle/HOL；流行标志；Coq… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
CC-Pi公司 28篇文献引用(2007–2022) 软件作者： 玛丽亚·格拉齐亚·巴斯米（Maria Grazia Buscemi），乌戈·蒙塔纳里（Ugo Montanari） 相关软件： 奶牛；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
mipmatch公司 27篇文献引用(2012–2023) 软件作者： 祖比扎雷塔，Jos'e R。 相关软件： 多斯；精细平衡；nbpMatching… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
空间ML 在0个文档中引用 软件作者： Inderjeet Mani、Janet Hitzeman、Justin Richer、Dave Harris、Rob Quimby、Ben Wellner 相关软件： VerbNet；SUMO公司 主要字段： ——