Category/Mathematics

ATLAS

Generates high-performance mathematical libraries

Apophenia

Statistics library for C

Aris

A formal logical proof program

Autoclass

Automatic classification or clustering

Axiom

Axiom is a general purpose Computer Algebra system

BLAS

Basic Linear Algebra Subprograms

Bc

Interactive algebraic language

BigMath

Light Weight, Fast Code for Arbitrary Precision Arithmetic

Bitwise enums

Type safe bitwise enumerations for C++

C-Graph

software for visualizing convolution and demonstrating the convolution theorem

Calc

C-style arbitrary precision arithmetic system

Choose

Computes permutations and "choose functions"

Collab

real-time shared painting software (paint chat)

Coq

a formal proof management system

CrocoPat

Tool for relational querying

DUNE-Common

contains the basic classes used by all DUNE-modules.

DUNE-Grid

defines nonconforming, hierarchically nested, multi-element-type, parallel grids in arbitrary space dimensions.

DUNE-Grid How To

is a tutorial on the grid/mesh interface.

DUNE-Istl

provides generic sparse matrix/vector classes and a variety of solvers based on these classes.

Dap

Statistics and graphics package

DataCaptureTool

This is a TCl/Tk package for getting data out of scientific plots (or from any other plot for that matter).

DataStatix

A free software to manage data and statistics with MySql

Easyval

Basic implementation of interval arithmetic

Euler

Program for computing with real and complex numbers and matrices

FroZenLight

line drawing program based on modeling light moving through a grid of mirrors

FunkyPlot

interactive plotting tool

GAP

GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory.

GNU libmatheval

Library for evaluating mathematical expressions

GNumExp

Gui frontend to to the NumExp language

GSL

Routines for numerical computing

GTybalt

Computer algebra system

Genius

Arbitrary precision integer and multiple precision floating point calculator

GiNaC

Open framework for symbolic computation within C++

Giac

Free computer algebra system

Gnu Math

Unfinished software to simplify programming for scientific applications

IT++

C++ library of mathematical, signal processing, speech processing, and communications classes and functions.

Jacal

Mathematics program

KSEG

Euclidean geometry simulator

Kiss FFT

Small and simple FFT library

Kmplot

Plots mathematical functions

L2P

Creates PNG images from LaTeX math expressions

LAPACK

Linear Algebra PACKage

LibreOffice

Personal productivity suite with six feature-rich applications for all your document production and data processing needs: Writer, Calc, Impress, Draw, Math and Base.

MCS Libre (Monte-Carlo simulation)

utility for Monte-Carlo simulation

MPC

C library for the arithmetic of complex numbers with arbitrarily high precision and correct rounding of the result

MUNTL

Multiprecision unsigned number template library

Macaulay 2

Software for algebraic geometry research

Mantissa

Algorithms for dynamics simulation and 3D geometry computation

Mastrave

Library for effective semantic array programming. It is as compatible as possible with both GNU Octave and MATLAB computing environments, offering general purpose, portable and freely available features for the scientific community.

Math MatrixReal

Manipulate NxN real matrices

MathStudio

Equation editor and math engine

Mathomatic

General purpose symbolic math program

Maxima

Computer algebra system

Mcsim

Simulation software for designing, analyzing and calibrating mathematical models

MedianTracker

Tracks the overall median of a stream of values "on-line" in reasonably efficient fashion.

Minfx

The minfx optimisation library

NMod nBody Modelling Toolkit

Particle-particle nbody model

NumExp

Math-oriented programming language

Numdiff

Numdiff compares putatively similar files line by line and field by field, ignoring small numeric differences or/and different numeric formats.

Octave

High-level language for numerical computations

Octave-ann

use the ANN library from within Octave

OpenPlaG

Is a function graph plotter for websites in PHP

Otter Mace

automated deduction system

PSPP

Statistics package

Ploticus

Plotting/data display package

Plotutils

Plotting and graphics utilities

Poly ML

The Poly/ML implementation of Standard ML

ProofGeneral

Emacs-based frontend to a variety of theorem provers

Prover 9

Prover 9 and Mace 4

PyChem

A cross-platform multivariate analysis package, including a graphical user interface

PyGSL

Python interface for GNU Scientific Library

RKCheck

Checks the order of Runge-Kutta methods

ReferenceFinder

Finds sequence to locate a point in a square

Reverse Polish Lisp 2

an extension of RPL, including graphic capability

Rpncalc

RPN calculator emulating H-P 28S

Sage

SAGE is free and open software that supports research and teaching in algebra, geometry, number theory, cryptography, etc.

SalStat

Analyzes statistical (especially psychological) data

SciGraphica

Data analysis and technical graphics

Scilab

Scilab is free software for numerical computation providing a powerful computing environment for engineering and scientific applications.

Slib

Portable scheme library

Snow Path Formation Simulator

Graphically displays the formation of paths in the snow formed by people.

Spline

Akima spline interpolation

Statist

Statistics program

StatistX

GTK-based statistics program

Statlib

A collection of statistical modules (stats.py, pstats.py, matfunc.py).

TOCHNOG

Finite element analysis program

UMFPACK

Routines for solving unsymmetric sparse linear systems

Unit Circle

A program to show the relationship between angles and trigonometric functions.

Universal crc

utility for generating optimized ANSI C code for CRC calculation

Vilno

data transformation, prepare data for analysis, use for statistics, reporting or ETL.

Zenon

ML Automated Prover

Zimpl

Translate the mathematical model of a problem into a linear or (mixed-) integer mathematical program