基础知识 8份文件引用(2010–2022) 软件作者: 雷吉斯·布朗;托马斯·亨辛格(Thomas A.Henzinger)。;Hottelier,Thibaud;劳拉·科瓦奇 相关软件: AProVE;速度;TiML… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
夏季时间 引用于9份文件(2016–2023) 软件作者: Lee,Roman N。;基里尔·明古洛夫。 相关软件: LiteRed;表格;天秤座… 主要字段: 数值分析(65-XX);量子理论(81-XX)
爱马仕 5份文件引用(2021–2023) 软件作者: 王锐;赵润东;Emily Ribando-Gros;陈家辉;童一英;魏国伟 相关软件: 拓扑网;古迪;AGL评分… 主要字段: 组合数学(05-XX);代数拓扑(55-XX);流形和细胞复合体(57-XX)…
高速马 1份文件引用(2022) 软件作者: 梁九阳;袁、嘉兴;徐振丽 相关软件: HSMA3D;车灯 主要字段: 数值分析(65-XX);光学、电磁理论(78-XX);统计力学,物质结构(82-XX)