Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System

摘要

Real Euclidean geometry is a basic mathematical dialect, not only of high school students, but also of mechanical engineers, graphics programmers, architects, surveyors, machinists, and many more. In this paper, we present "Geometry Expressions": an interactive symbolic geometry package. The aim of the software is to generate algebraic formulas from geometry. It is a further intention of the software that the model should be entered interactively in a style which is convenient to both the geometry consumer groups identified above.