A library that can quantitatively describe mathematical functions.