math-library collaboration