Search Results for "mathematics"

This project has created scientific firmware for the HP-20b and HP-30b business calculators. WP 34S turns either of these calculators into a powerful keystroke programmable scientific device. According to our customers, it's the most powerful and fastest RPN scientific pocket calculator ever built. WP 34S is alive and stable since 2011. We have succeeded in satisfying the most picky users - read about their experiences on http://www.hpmuseum.org/forum/forum-8.html. Since 2014, WP...

Basic Octave implementation of the matlab raspi extension, allowing communication to a Raspberry Pi board to control its hardware.

JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,...

Gurux Data Refinery collects data directly from physical device or data stream, processes it, and presents the results, with easy-to-use components. All data is collected and saved with a timestamp, and the data is always time-bound. To release durin

Specter - Abstract Arithmetics Library (AAL) is a library coded in native C which is able to do operations with numbers of virtually unlimited length. Specter is targeting mainly cryptography and big integer maths though.

Lightweight matrix lib, especially good for micro-blaze or other embedded processor which needs to do matrix operations. Supports Add, Subtract, Multiply, Transpose, and Invert (Cholesky Method). Compiles to 15kbs using -0s and is ISO C compliant.