铆钉 引用于9份文件(2020–2023) 软件作者: 迈克尔·莱斯尼克、马修·赖特 相关软件: 裂土器;辛巴;GitHub… 主要字段: 交换代数(13-XX);代数拓扑(55-XX);流形和细胞复合体(57-XX)…