¼¸ºÎ×¨¼̉©¤©¤Geometry Expert is a software for dynamic diagram drawing and automated geometry theorem proving and discovering.

Cabri: Dynamic geometry software

GAP: Groups, Algorithms and Programming

Geometer's sketchpad: Dynamic Geometry software

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

Pari: computer-aided number theory

Singular: A Computer Algebra System for Polynomial Computations

wsolve: A Maple Package for Solving System of Polynomial Equations