agda

Proof assistant in Haskell

axiom

Axiom is a general purpose Computer Algebra system

calc

An arbitrary precision C-like arithmetic system

cgal

C++ library for geometric algorithms and data structures

coq

Coq is a proof assistant written in O'Caml

dataplot

A program for scientific visualization and statistical analyis

drgeo

Interactive geometry package

euler

Mathematical programming environment

fann

Fast Artificial Neural Network Library implements multilayer artificial neural networks in C

freemat

Environment for rapid engineering and scientific processing

fricas

FriCAS is a fork of Axiom computer algebra system

genius

Genius Mathematics Tool and the GEL Language

geomview

Interactive Geometry Viewer

gimps

GIMPS - The Great Internet Mersenne Prime Search

ginac

C++ library and tools for symbolic calculations

glpk

GNU Linear Programming Kit

gmm

Generic C++ template library for sparse, dense and skyline matrices

gretl

Regression, econometrics and time-series library

kseg

Interactive geometry program for exploring Euclidean geometry

lybniz

A function plotter program written in PyGTK

mathomatic

Automatic algebraic manipulator

maxima

Free computer algebra environment based on Macsyma

num-utils

A set of programs for dealing with numbers from the command line

nusmv

NuSMV: new symbolic model checker

octave

GNU Octave is a high-level language (MatLab compatible) intended for numerical computations

octave-forge

A collection of custom scripts, functions and extensions for GNU Octave

otter

An Automated Deduction System.

pari

A software package for computer-aided number theory

pspp

Program for statistical analysis of sampled data.

qtoctave

QtOctave is a Qt4 front-end for Octave

relational

Qt4 relational algebra application

rkward

An IDE/GUI for the R-project

scilab

Scientific software package for numerical computations (Matlab lookalike)

singular

Computer algebra system for polynomial computations

snns

Stuttgart Neural Network Simulator

wxmaxima

Graphical frontend to Maxima, using the wxWidgets toolkit.

xmds

XMDS - The eXtensible Multi-Dimensional Simulator

yacas

Powerful general purpose computer algebra system

agda

gimps

otter

axiom

ginac

pari

calc

glpk

pspp

cgal

gmm

qtoctave

coq

gretl

relational

dataplot

kseg

rkward

drgeo

lybniz

scilab

euler

mathomatic

singular

fann

maxima

snns

freemat

num-utils

wxmaxima

fricas

nusmv

xmds

genius

octave

yacas

geomview

octave-forge