4ti2

Software package for algebraic, geometric and combinatorial problems

agda

A dependently typed functional programming language and proof assistant

agda-executable

Command-line program for type-checking and compiling Agda programs

agda-stdlib

Agda standard library

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

diagrtb

Calculation of some eigenvectors of a large real, symmetrical, matrix

drgeo

Interactive geometry package

ent

Pseudorandom number sequence test

euler

Mathematical programming environment

fann

Fast Artificial Neural Network Library

freemat

Environment for rapid engineering and scientific processing

fricas

FriCAS is a fork of Axiom computer algebra system

frobby

Frobby is a software system and project for computations with monomial ideals

genius

Genius Mathematics Tool and the GEL Language

geomview

Interactive Geometry Viewer

gfan

computes Groebner fans and tropical varities

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

isabelle

Isabelle is a generic proof assistant

jags

Just Another Gibbs Sampler for Bayesian MCMC simulation

lpsolve

Mixed Integer Linear Programming (MILP) solver

lybniz

A function plotter program written in PyGTK

Macaulay2

research tool for commutative algebra and algebraic geometry

mathomatic

Automatic algebraic manipulator

maxima

Free computer algebra environment based on Macsyma

minisat

Small yet efficient SAT solver with reference paper.

mlpy

Machine Learning PYthon (mlpy) is a high-performance Python library for predictive modeling

nauty

program for computing automorphism groups of graphs and digraphs.

nestedsums

A GiNaC-based library for symbolic expansion of certain transcendental functions

normaliz

tool for computations in affine monoids and more

num-utils

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

nusmv

NuSMV: new symbolic model checker

octave

High-level interactive language for numerical computations

octave-epstk

Graphical output functions for Matlab and Octave

otter

An Automated Deduction System.

p9m4

This is a Graphical User Interface for Prover9 and Mace4.

pari

A software package for computer-aided number theory

pari-data

Data sets for pari

polymake

research tool for polyhedral geometry and combinatorics

prng

Pseudo-Random Number Generator library

prover9

Prover9 is an automated theorem prover for first-order and equational logic

pspp

Program for statistical analysis of sampled data.

qtoctave

QtOctave is a Qt4 front-end for Octave

reduce

A general-purpose computer algebra system

relational

Qt4 relational algebra application

rkward

An IDE/GUI for the R-project

rngstreams

Multiple independent streams of pseudo-random numbers

scilab

Scientific software package for numerical computations (Matlab lookalike)

singular

Computer algebra system for polynomial computations

snns

Stuttgart Neural Network Simulator

spin

Tool for formal verification of distributed software systems.

topcom

A package for computing Triangulations Of Point Configurations and Oriented Matroids.

unuran

Universal Non-Uniform Random number generator

wxmaxima

Graphical frontend to Maxima, using the wxWidgets toolkit.

xmds

XMDS - The eXtensible Multi-Dimensional Simulator

yacas

Powerful general purpose computer algebra system

4ti2

ginac

p9m4

agda

glpk

pari

agda-executable

gmm

pari-data

agda-stdlib

gretl

polymake

axiom

isabelle

prng

calc

jags

prover9

cgal

lpsolve

pspp

coq

lybniz

qtoctave

dataplot

Macaulay2

reduce

diagrtb

mathomatic

relational

drgeo

maxima

rkward

ent

minisat

rngstreams

euler

mlpy

scilab

fann

nauty

singular

freemat

nestedsums

snns

fricas

normaliz

spin

frobby

num-utils

topcom

genius

nusmv

unuran

geomview

octave

wxmaxima

gfan

octave-epstk

xmds

gimps

otter

yacas