Multiplying Polynomials

The core of PolyBoRi is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique approach, binary decision diagrams are used as...


Platforms: Mac

TTMath is a small library which allows one to perform arithmetic operations with big unsigned integer, big signed integer and big floating point numbers. It provides standard mathematical operations like adding, subtracting, multiplying, dividing. With the library also goes a mathematical parser...


Platforms: Mac

nH2O is a "water property" calculator that calculates various thermodynamic properties of steam and water. nH2O is based upon the Modular Modeling System (MMS) steam property library which is composed of a set of routines, some polynomials and some table interpolations of the thermodynamic...


Platforms: Mac

Pymbolic is a small symbolic manipulation library. Two things set it apart from other libraries of its kind: * Users can easily write their own symbolic operations, simply by deriving from the builtin visitor classes. * Users can easily add their own symbolic entities to do calculations with....


Platforms: *nix

smib is a mosaic of FORTH and LISP, C Sauce and an experimental programming language close to mathematical language. In this version : law of large numbers, central limit theorem, hyperbolic trigonometry, warnings are cleaned . Features . Number theory : infinite size integers, arithmetic...


Platforms: *nix

The k6mult utility sets the CPU multiplier factor on AMD K6-III+ and K6-2+ processors featuring AMD PowerNow(tm). The CPU clock speed is determined by multiplying this factor by the Front Side Bus (FSB) speed. You should use the k6mult utility if you want to increase the multiplier factor after...


Platforms: *nix