Big Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge

被引：5

作者：

Carette, Jacques ^{[1
]}

Farmer, William M. ^{[1
]}

Kohlhase, Michael ^{[2
]}

Rabe, Florian ^{[3
]}

机构：

[1] McMaster Univ, Dept Comp & Software, 1280 Main St, West Hamilton, ON L8S 4L7, Canada

[2] Univ Erlangen Nurnberg, Comp Sci, Martensstr 3,Room 11-139, D-91058 Erlangen, Germany

[3] Univ Erlangen Nurnberg, Comp Sci, Martensstr 3,Room 11-137, D-91058 Erlangen, Germany

来源：

基金：

欧盟地平线“2020”; 加拿大自然科学与工程研究理事会;

关键词：

PROOF;

D O I：

10.1007/s00283-020-10006-0

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

页码：78 / 87

页数：10