4ti2

software package for algebraic, geometric and combinatorial problems

acl2

agda

Proof assistant in Haskell

agda-lib-ffi

agda-stdlib

alberta

alt-ergo

arb

bertini

burrtools

cado-nfs

calc

An arbitrary precision C-like arithmetic system

cgal

C++ library for geometric algorithms and data structures

cipi

cliquer

coq

Coq is a proof assistant written in O'Caml

cu2

cubex

cvc4

dafny

dataplot

A program for scientific visualization and statistical analyis

diagrtb

dikcube

dsfmt

dunshire

eclib

ent

euler

Mathematical programming environment

ExportSageNB

fann

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

flint

flintqs

flocq

form

frama-c

Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C.

freefem++

fricas

FriCAS is a fork of Axiom computer algebra system

frobby

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

gambit

gap

System for computational discrete algebra

gap-core

gappa

gappalib-coq

genius

Genius Mathematics Tool and the GEL Language

geogebra-bin

geomview

Interactive Geometry Viewer

gfan

Gfan computes Groebner fans and tropical varities

ggnfs

giac

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

htk

isabelle

jags

jessie2

kash-bin

kayali

lattE-macchiato

lcalc

libsfmt

lie

lpsolve

lrcalc

ltl2ba

Macaulay2

mathematica

mathmod

mathomatic

Automatic algebraic manipulator

matlab

maxima

Free computer algebra environment based on Macsyma

mcube

minisat

msieve

nauty

nestedsums

netgen

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

Oid

open-axiom

optimal

otter

An Automated Deduction System.

palp

pari

A software package for computer-aided number theory

pari-data

petsc

pff

planarity

polymake

research tool for polyhedral geometry and combinatorics

prng

prover9

psmt2-frontend

pspp

Program for statistical analysis of sampled data.

pulp

pvs

pybrain

pymc3

qsieve

ratpoints

reduce

regina

relational

Qt4 relational algebra application

ripser

rkward

An IDE/GUI for the R-project

rngstreams

rstudio

rw

sage

sage-data-combinatorial_designs

sage-data-conway_polynomials

sage-data-elliptic_curves

sage-data-graphs

sage-data-polytopes_db

sage_numerical_backends_coin

scilab

sha1-polyml

singular

Computer algebra system for polynomial computations

slepc

sofastatistics

spin

spline3

sympow

topcom

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

twelf

unuran

why3

why3-for-spark

wxmaxima

Graphical frontend to Maxima, using the wxWidgets toolkit.

xcas

xmds

XMDS - The eXtensible Multi-Dimensional Simulator

yacas

Powerful general purpose computer algebra system

yafu

yorick

z3

4ti2

giac

planarity

acl2

gimps

polymake

agda

ginac

prng

agda-lib-ffi

glpk

prover9

agda-stdlib

gmm

psmt2-frontend

alberta

gmp-ecm

pspp

alt-ergo

gp2c

pulp

arb

gretl

pvs

bertini

gsl-shell

pybrain

burrtools

htk

pymc3

cado-nfs

isabelle

qsieve

calc

jags

ratpoints

cgal

jessie2

reduce

cipi

kash-bin

regina

cliquer

kayali

relational

coq

lattE-macchiato

ripser

cu2

lcalc

rkward

cubex

libsfmt

rngstreams

cvc4

lie

rstudio

dafny

lpsolve

rw

dataplot

lrcalc

sage

diagrtb

ltl2ba

sage-data-combinatorial_designs

dikcube

Macaulay2

sage-data-conway_polynomials

dsfmt

mathematica

sage-data-elliptic_curves

dunshire

mathmod

sage-data-graphs

eclib

mathomatic

sage-data-polytopes_db

ent

matlab

sage_numerical_backends_coin

euler

maxima

scilab

ExportSageNB

mcube

sha1-polyml

fann

minisat

singular

flint

msieve

slepc

flintqs

nauty

sofastatistics

flocq

nestedsums

spin

form

netgen

spline3

frama-c

normaliz

sympow

freefem++

num-utils

topcom

fricas

octave

twelf

frobby

octave-epstk

unuran

gambit

Oid

why3

gap

open-axiom

why3-for-spark

gap-core

optimal

wxmaxima

gappa

otter

xcas

gappalib-coq

palp

xmds

genius

pari

yacas

geogebra-bin

pari-data

yafu

geomview

petsc

yorick

gfan

pff

z3

ggnfs