2L_枚举 14篇文献引用(2015–2024) 软件作者: 亚当·波恩(Adam Bohn);尤里·法恩扎;塞缪尔·菲奥里尼;Fisikopoulos、Vissarion;马可·马奇亚;坎斯坦钦·帕什科维奇 相关软件: 01聚乙烯;麦考利2号;SageMath… 主要字段: 组合数学(05-XX);交换代数(13-XX);凸和离散几何(52-XX)…
Algolib公司 5份文件引用(2004–2022) 软件作者: INRIA的Algo团队 相关软件: 枫树;组织环境信息系统;HOL灯… 主要字段: 阶、格、有序代数结构(06-XX);数论(11-XX);计算机科学(68-XX)
坎比 2份文件引用(2017–2019) 软件作者: Akhilesh Srikanth;Burak Sahin;威廉·R·哈里斯。 相关软件: Coq;沙丘;AProVE… 主要字段: 计算机科学(68-XX)