PLMan, or Propositional LogicMan, is a user-friendly and powerful
propositional logic (sometimes called sentential logic or
propositional calculus) sentence shell/interpreter written in Java,
capable of handling many existing propositional systems of
propositional logic, especially the important ones.
Statistics::Frequency is a simple class for counting elements, in other
words, their frequencies. The goal of Statistics::Frequency is simply to
be provide container for sets of elements and their respective frequencies.
The Statistics::Lite module is a lightweight, functional alternative
to larger, more complete, object-oriented statistics packages.
As such, it is likely to be better suited, in general, to smaller
data sets.
This package attempts to make it easier to write scripts that use
BigInts/BigFloats in a transparent way. They use the rewritten
versions of Math::BigInt and Math::BigFloat, Math::BigRat (for
bigrat) and optionally Math::BigInt::Lite.
This python module implements constants and functions for working with
IEEE754 double-precision special values. It provides constants for
Not-a-Number (NaN), Positive Infinity (Inf), and Negative Infinity (-Inf),
as well as functions to test for these values.
NZMATH is a Python based number theory oriented calculation system.
The centre of development in origin is Tokyo Metropolitan University.
It is freely available and distributed under the BSD license.
A C-coded Python extension module that wraps the GMP library to provide
to Python code fast multiprecision arithmetic (integer, rational, and
float), random number generation, advanced number-theoretical functions,
and more.
Physcalc is a neat mathematical calculator that does conversions
from many different units in many forms, and is extremely flexible
as far as specifying math problems go. You can also add your own
types of conversions.
PRNG is a collection of portable, high-performance ANSI-C implementations of
pseudorandom number generators such as linear congruential, inversive
congruential, and explicit inversive congruential random number generators (LCG,
ICG and EICG, respectively) created by Otmar Lendl and Josef Leydold.
Luminol is a light weight python library for time series data analysis.
The two major functionalities it supports are anomaly detection and
correlation. It can be used to investigate possible causes of anomaly.