650 projects tagged "Mathematics"
Updated 06 Mar 2011
number
| Pop | 77.97 |
|---|---|
| Vit | 8.23 |
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.
Updated 07 Apr 2005
OBJ3
| Pop | 34.99 |
|---|---|
| Vit | 2.52 |
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.
Updated 24 Apr 2003
PARI/GP
| Pop | 61.97 |
|---|---|
| Vit | 1.58 |
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.
Updated 28 Apr 2011
Proof General
| Pop | 53.67 |
|---|---|
| Vit | 4.58 |
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.
Updated 30 Jan 2001
PyPolyhedron
| Pop | 19.95 |
|---|---|
| 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.
Updated 18 Aug 2001
PyGiNaC
| Pop | 30.66 |
|---|---|
| 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.
Updated 17 Apr 2009
R
| Pop | 465.47 |
|---|---|
| Vit | 13.77 |
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.
Updated 30 Jan 2001
random-tester
| Pop | 22.18 |
|---|---|
| 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.
Updated 12 Mar 2005
rcalc
| Pop | 29.87 |
|---|---|
| Vit | 4.09 |
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.
Updated 05 Jan 2009
SLFFEA
| Pop | 68.52 |
|---|---|
| Vit | 5.02 |
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.
