CoALP公司 25篇文献引用(2011–2023) 软件作者： 叶卡捷琳娜·科门丹茨卡亚；权力，约翰；马丁·施密特 相关软件： CoCaml公司；coFJ；ProbLog… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
AmiCo公司 8份文件引用(2017–2023) 软件作者： Jasmin Christian布兰切特；Bouzy，艾默尔；安德烈亚斯·洛赫比勒；安德烈·波佩斯库；德米特里·特拉泰尔 相关软件： Isabelle/HOL；精益；Paco… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）