几何专家──Geometry Expert is a software for dynamic diagram drawing and automated geometry theorem proving and discovering.

Java Geometry Expert

Cabri: Dynamic geometry software

CoCoA

GAP: Groups, Algorithms and Programming

Gb and FGb

Geometer's sketchpad: Dynamic Geometry software

Macaulay 2

Maple

Mathematica

The Magma System for Algebra, Number Theory and Geometry (U Sydney)

Pari: computer-aided number theory

Risa/Asir

Singular: A Computer Algebra System for Polynomial Computations

wsolve: A Maple Package for Solving System of Polynomial Equations