斯卡拉 88篇文献引用(2005–2023) 软件作者： Christos K.K.Loverdos。；阿波斯托洛斯·西罗普洛斯 相关软件： Coq；z3；轻量级Java… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
立方agda 17篇文献引用(2020–2023) 软件作者： 安德烈亚·维佐西（Andrea Vezzosi）；莫特伯格，安德斯；安德烈亚斯·亚贝尔 相关软件： 立方体；github；Coq… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…