4ti2

software package for algebraic, geometric and combinatorial problems

acl2

agda

Proof assistant in Haskell

agda-stdlib

alberta

alt-ergo

arb

bertini

cado-nfs

calc

An arbitrary precision C-like arithmetic system

cgal

C++ library for geometric algorithms and data structures

chaco

cipi

cliquer

coq

Coq is a proof assistant written in O'Caml

cu2

cubex

cvc4

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

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

isabelle

jags

kayali

latte-int

lcalc

libsfmt

lie

lpsolve

lrcalc

ltl2ba

mathematica

mathmod

mathomatic

Automatic algebraic manipulator

matlab

maxima

Free computer algebra environment based on Macsyma

mcube

minisat

modular_resolution

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

pGroupCohomology

planarity

plink

polymake

research tool for polyhedral geometry and combinatorics

prng

prover9

psmt2-frontend

pspp

Program for statistical analysis of sampled data.

pulp

pybrain

pymc3

qsieve

ratpoints

reduce

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-flatsurf

sagemath-standard

sage_docbuild

sage_numerical_backends_coin

scilab

scilab-bin

sha1-polyml

shared_meataxe

singular

Computer algebra system for polynomial computations

slepc

snappy

snappy_manifolds

sofastatistics

spherogram

spin

spline3

surface_dynamics

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

glpk

pulp

acl2

gmm

pybrain

agda

gmp-ecm

pymc3

agda-stdlib

gp2c

qsieve

alberta

gretl

ratpoints

alt-ergo

gsl-shell

reduce

arb

isabelle

relational

bertini

jags

ripser

cado-nfs

kayali

rkward

calc

latte-int

rngstreams

cgal

lcalc

rstudio

chaco

libsfmt

rw

cipi

lie

sage

cliquer

lpsolve

sage-data-combinatorial_designs

coq

lrcalc

sage-data-conway_polynomials

cu2

ltl2ba

sage-data-elliptic_curves

cubex

mathematica

sage-data-graphs

cvc4

mathmod

sage-data-polytopes_db

dataplot

mathomatic

sage-flatsurf

diagrtb

matlab

sagemath-standard

dikcube

maxima

sage_docbuild

dsfmt

mcube

sage_numerical_backends_coin

dunshire

minisat

scilab

eclib

modular_resolution

scilab-bin

ent

msieve

sha1-polyml

euler

nauty

shared_meataxe

ExportSageNB

nestedsums

singular

fann

netgen

slepc

flint

normaliz

snappy

flintqs

num-utils

snappy_manifolds

flocq

octave

sofastatistics

form

octave-epstk

spherogram

frama-c

Oid

spin

freefem++

open-axiom

spline3

fricas

optimal

surface_dynamics

frobby

otter

sympow

gambit

palp

topcom

gap

pari

twelf

gap-core

pari-data

unuran

gappa

petsc

why3

gappalib-coq

pGroupCohomology

why3-for-spark

genius

planarity

wxmaxima

geogebra-bin

plink

xcas

geomview

polymake

xmds

gfan

prng

yacas

giac

prover9

yafu

gimps

psmt2-frontend

yorick

ginac

pspp

z3