Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal

Open in new window