A giant information shop gently being constructed can free huge swathes of mathematics for computer ...