×

找到6个软件包(结果1-6)

基础知识

8份文件引用(2010–2022)
软件作者: 雷吉斯·布朗;托马斯·亨辛格(Thomas A.Henzinger)。;Hottelier,Thibaud;劳拉·科瓦奇
相关软件: AProVE;速度;TiML…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

多重齐塔值

10篇文献引用(2021–2024)
软件作者: Au,Kam Cheong(金昌)
相关软件: ——
主要字段: 组合数学(05-XX);数论(11-XX);特殊功能(33-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)…

随机BST

2份文件引用(2018年-2020年)
软件作者: 曼纽尔·埃贝尔
相关软件: 伊莎贝尔·霍尔;密度编译器;根平衡树…
主要字段: 计算机科学(68-XX)

高速马

1份文件引用(2022)
软件作者: 梁九阳;袁、嘉兴;徐振丽
相关软件: HSMA3D;车灯
主要字段: 数值分析(65-XX);光学、电磁理论(78-XX);统计力学,物质结构(82-XX)

筛选结果依据…