4ti2

software package for algebraic, geometric and combinatorial problems

abc

acl2

alectryon

alt-ergo

arb

bertini

btor2tools

cadabra

cadical

calc

An arbitrary precision C-like arithmetic system

cgal

C++ library for geometric algorithms and data structures

clipper2

cliquer

coq

Coq is a proof assistant written in O'Caml

coq-mathcomp

coq-serapi

coq-stdlib

cryptominisat

cubicle

cudd

cvc4

dataplot

A program for scientific visualization and statistical analyis

diagrtb

dsfmt

dunshire

easycrypt

eclib

ent

eprover

euler

Mathematical programming environment

fann

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

flint

flocq

form

fricas

FriCAS is a fork of Axiom computer algebra system

frobby

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

functions-matlab-colormaps

gap

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

jags

kind2

kissat

lcalc

lean

libpoly

lpsolve

lrcalc

manifold

mathematica

mathmod

mathomatic

Automatic algebraic manipulator

maxima

Free computer algebra environment based on Macsyma

metamath

metamath-databases

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

opensmt

otter

An Automated Deduction System.

palp

pari

A software package for computer-aided number theory

pari-data

petsc

picosat

planarity

plfit

polymake

primecount

primesieve

prng

prover9

proverif

psmt2-frontend

pspp

Program for statistical analysis of sampled data.

rkward

An IDE/GUI for the R-project

rngstreams

rw

sha1-polyml

singular

Computer algebra system for polynomial computations

slepc

smtinterpol

spin

stp

sympow

topcom

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

twelf

unuran

vampire

verifpal

verit

why3

why3-for-spark

wxmaxima

Graphical frontend to Maxima, using the wxWidgets toolkit.

yacas

Powerful general purpose computer algebra system

yafu

yices2

z3

4ti2

gappa

otter

abc

gappalib-coq

palp

acl2

genius

pari

alectryon

geogebra-bin

pari-data

alt-ergo

geomview

petsc

arb

gfan

picosat

bertini

giac

planarity

btor2tools

gimps

plfit

cadabra

ginac

polymake

cadical

glpk

primecount

calc

gmm

primesieve

cgal

gmp-ecm

prng

clipper2

gp2c

prover9

cliquer

gretl

proverif

coq

gsl-shell

psmt2-frontend

coq-mathcomp

jags

pspp

coq-serapi

kind2

rkward

coq-stdlib

kissat

rngstreams

cryptominisat

lcalc

rw

cubicle

lean

sha1-polyml

cudd

libpoly

singular

cvc4

lpsolve

slepc

dataplot

lrcalc

smtinterpol

diagrtb

manifold

spin

dsfmt

mathematica

stp

dunshire

mathmod

sympow

easycrypt

mathomatic

topcom

eclib

maxima

twelf

ent

metamath

unuran

eprover

metamath-databases

vampire

euler

minisat

verifpal

fann

msieve

verit

flint

nauty

why3

flocq

nestedsums

why3-for-spark

form

normaliz

wxmaxima

fricas

num-utils

yacas

frobby

octave

yafu

functions-matlab-colormaps

octave-epstk

yices2

gap

opensmt

z3