×

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

低成本融资

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)…

罗素

2份文件引用(2011–2020)
软件作者: D.Yu,弗拉索夫。
相关软件: 元数学;小分子模型;github
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

小米

2份文件引用(2011–2012)
软件作者: D.Yu,弗拉索夫。
相关软件: 元数学;罗素
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…

全部的 前3名

主字段