660 projects tagged "Mathematics"

Download Website Updated 06 Mar 2011 number

Pop 69.61
Vit 7.01

The number perl script will print the English name of a number. One can print names of extremely large numbers (e.g. 1e1234567). Number can be run on the command line, or as a CGI script when run as 'number.cgi'. Number prints names in both the American and European naming system. It can also print the decimal expansion of a number in either naming system.

Download Website Updated 07 Apr 2005 OBJ3

Pop 40.29
Vit 2.46

OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems.

Download Website Updated 24 Apr 2003 PARI/GP

Pop 49.14
Vit 1.56

PARI/GP is a package aimed at efficient computations in number theory, containing a large number of other useful functions. It is somewhat related to a Computer Algebra System, but is not really one since it treats symbolic expressions as mathematical entities such as matrices, polynomials, series, etc., and not as expressions per se. However it is often much faster than other CAS, and contains a large number of specific functions not found elsewhere, essentially for use in number theory.

Download Website Updated 28 Apr 2011 Proof General

Pop 57.18
Vit 3.85

Proof General is a generic Emacs interface for proof assistants, suitable for use by pacifists and Emacs militants alike. It is supplied ready-customized for LEGO, Coq, and Isabelle. You can adapt Proof General to other proof assistants if you know a little bit of Emacs Lisp.

Download Website Updated 30 Jan 2001 PyPolyhedron

Pop 19.24
Vit 1.00

PyPolyhedron is a Python interface to cddlib, a C implementation of the Double Description Method for generating all vertices (i.e., extreme points) and extreme rays of a general convex polyhedron in R^d given by a system of linear inequalities.

Download Website Updated 18 Aug 2001 PyGiNaC

Pop 24.98
Vit 1.46

PyGiNaC is a Python package for symbolic mathematical calculation. It provides an interface to C++ library GiNaC, an open framework for symbolic computations.

Download Website Updated 17 Apr 2009 R

Pop 456.91
Vit 12.69

R is a language and environment for statistical computing and graphics. It is similar to S, which was developed at Bell Laboratories by John Chambers et al. It provides a wide variety of statistical and graphical techniques (linear and nonlinear modelling, statistical tests, time series analysis, classification, clustering, etc.). R is designed as a true computer language with control-flow constructions for iteration and alternation, and it allows users to add additional functionality by defining new functions. For computationally intensive tasks, Fortran and C code can be linked and called at run time.

Download No website Updated 30 Jan 2001 random-tester

Pop 18.44
Vit 1.00

random-tester is a set of random number generation and random number testing routines inplemented in C. It includes detailed documentation on the generators/testers and performance (speed and randomness) comparisons.

Download Website Updated 12 Mar 2005 rcalc

Pop 25.38
Vit 3.99

rcalc is a fast and light symbolic calculator for the GNOME desktop environment which aims to occupy the middle ground between simple point-and-click calculators and full featured mathematical packages. The emphasis is on useability; adding up should be as simple as on a handheld calculator, yet the more complex features should be there as required.

Download Website Updated 05 Jan 2009 SLFFEA

Pop 59.75
Vit 4.67

SLFFEA stands for San Le's Free Finite Element Analysis. It is a package of scientific software and graphical user interfaces for use in finite element analysis.


Project Spotlight


Agent Process Interaction Language


Project Spotlight


Intercepts and logs database statements of applications using JDBC