4ti2

software package for algebraic, geometric and combinatorial problems

agda

Proof assistant in Haskell

agda-lib-ffi

agda-stdlib

alt-ergo

arb

bertini

calc

An arbitrary precision C-like arithmetic system

cgal

C++ library for geometric algorithms and data structures

cliquer

coq

Coq is a proof assistant written in O'Caml

cvc4

dataplot

A program for scientific visualization and statistical analyis

diagrtb

dunshire

eclib

ent

euler

Mathematical programming environment

fann

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

flint

flintqs

form

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

geogebra-bin

geomview

Interactive Geometry Viewer

gfan

Gfan computes Groebner fans and tropical varities

ggnfs

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

gmp-ecm

gp2c

gretl

Regression, econometrics and time-series library

gsl-shell

jags

lpsolve

lrcalc

mathematica

mathmod

mathomatic

Automatic algebraic manipulator

maxima

Free computer algebra environment based on Macsyma

minisat

msieve

nauty

nestedsums

normaliz

Normaliz is a tool for computations in affine monoids and more

num-utils

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

octave

High-level interactive language for numerical computations

octave-epstk

Graphical output functions for Matlab and Octave

otter

An Automated Deduction System.

pari

A software package for computer-aided number theory

pari-data

petsc

planarity

polymake

research tool for polyhedral geometry and combinatorics

prng

prover9

psmt2-frontend

pspp

Program for statistical analysis of sampled data.

relational

Qt4 relational algebra application

rkward

An IDE/GUI for the R-project

rngstreams

rstudio

rw

sha1-polyml

singular

Computer algebra system for polynomial computations

slepc

spin

sympow

topcom

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

twelf

unuran

why3-for-spark

wxmaxima

Graphical frontend to Maxima, using the wxWidgets toolkit.

yacas

Powerful general purpose computer algebra system

yafu

z3

4ti2

gfan

pari-data

agda

ggnfs

petsc

agda-lib-ffi

gimps

planarity

agda-stdlib

ginac

polymake

alt-ergo

glpk

prng

arb

gmm

prover9

bertini

gmp-ecm

psmt2-frontend

calc

gp2c

pspp

cgal

gretl

relational

cliquer

gsl-shell

rkward

coq

jags

rngstreams

cvc4

lpsolve

rstudio

dataplot

lrcalc

rw

diagrtb

mathematica

sha1-polyml

dunshire

mathmod

singular

eclib

mathomatic

slepc

ent

maxima

spin

euler

minisat

sympow

fann

msieve

topcom

flint

nauty

twelf

flintqs

nestedsums

unuran

form

normaliz

why3-for-spark

fricas

num-utils

wxmaxima

frobby

octave

yacas

genius

octave-epstk

yafu

geogebra-bin

otter

z3

geomview

pari