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 ...

This is a simple console-based calculator written in C. It is a tool with support for powers, roots, trigonometric functions, factorials, and a history of recent results. It also lets you reuse the ...