Mathematical library