Abstract: Recent developments in formal verification of arithmetic datapaths make efficient use of symbolic computer algebra algorithms. The circuit is modeled as an ideal in polynomial rings, and ...

Abstract: This article presents a method based on graph theory and Boolean algebra, to obtain dynamic zone selection for busbar protection applications. The solution is an offline software-based tool ...

An illustration of a magnifying glass. An illustration of a magnifying glass.

This is a powerful android calculator that contains most of the features needed. The power of the application is through the use of the Symja library. The results are displayed by Latex. This project ...

passagemath is open source mathematical software in Python, released under the GNU General Public Licence GPLv2+. It is a fork of SageMath, which has been developed 2005-2025 under the motto "Creating ...