• 数学机械化自动推理平台

GEOMETRY EXPERT (GEX)

• Geometry Expert
• 几何专家
• Java Geometry Expert

MAPLE PACKAGES

• WSOLVE
• POLY_SOLVE