TY  - RPRT
TI  - Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal
AU  - Jacques Carette
AU  - William M. Farmer
AU  - Michael Kohlhase
AU  - Florian Rabe
PY  - 2019
UR  - https://arxiv.org/abs/1904.10405
ID  - 1904.10405
ER  -