Weber, T. mathlibs [Computer software]. https://github.com/t-weber/mathlibs