Geometry expressions: A constraint based interactive symbolic geometry system. (English) Zbl 1195.68116

Todd, Philip

Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 189-202 (2007).

Summary: 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.
For the entire collection see [Zbl 1132.68006].

MSC:

68W30	Symbolic computation and algebraic computation
51-04	Software, source code, etc. for problems pertaining to geometry
51M04	Elementary problems in Euclidean geometries

Software:

Geometry Expressions; GEOTHER 1.1