%0 Journal Article %1 journals/corr/abs-1904-10405 %A Carette, Jacques %A Farmer, William M. %A Kohlhase, Michael %A Rabe, Florian %D 2019 %J CoRR %K dblp %T Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal. %U http://dblp.uni-trier.de/db/journals/corr/corr1904.html#abs-1904-10405 %V abs/1904.10405

@article{journals/corr/abs-1904-10405, added-at = {2020-11-20T00:00:00.000+0100}, author = {Carette, Jacques and Farmer, William M. and Kohlhase, Michael and Rabe, Florian}, biburl = {https://www.bibsonomy.org/bibtex/293d3d5c8e8f030c3f7f6c199e1e2ebb2/dblp}, ee = {http://arxiv.org/abs/1904.10405}, interhash = {b90da52da3382f4c9dfee37cb223333f}, intrahash = {93d3d5c8e8f030c3f7f6c199e1e2ebb2}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-11-21T11:35:30.000+0100}, title = {Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1904.html#abs-1904-10405}, volume = {abs/1904.10405}, year = 2019 }