低成本融资 163篇文献引用(1972–2023) 软件作者: 罗宾·米尔纳 相关软件: 毫升;Coq;HOL… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);范畴理论;同调代数(18-XX)…
乐高 116篇文献引用(1991年-2023年) 软件作者: 罗,Z.,波拉克,R。 相关软件: Coq;Nuprl公司;自动… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
ALF公司 68篇文献引用(1993–2018) 软件作者: 莉娜·马格努森 相关软件: Coq;自动化;数字(amp;N)… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);几何(51-XX)…
那不勒斯 在14份文件中引用(2010–2021) 软件作者: Cramer,M.,Koepke,P.,Schröder,B。 相关软件: 米扎尔;对于TheL;Flyspeck… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…