Abstract: Math library functions are widely used in embedded software to implement the complex computations. However, it is difficult for most abstract domains to analyze non-linear math library ...

Library with support for summation, transcedental and statistical functions, where some of them are accelerated (see table with supported functions below), wrapped SIMD instructions into templated ...

Moonbit Math Library is a comprehensive collection of mathematical functions implemented in the Moonbit programming language. This library aims to provide high-precision mathematical operations. It ...