A mathematical library