The Electronic library of mathematics