Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System

  • Philip Todd
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4869)


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.


Computer Algebra System Envelope Curve Dynamic Geometry Geometry System Explicit Assumption 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Chou, S.C., Gao, X.S., Ye, Z.: Java Geometry Expert. In: Proceedings of the 10th Asian Technology Conference in Mathematics, pp. 78–84 (2005)Google Scholar
  2. 2.
    Lozano, E.R., Macáas, E.R., Mena, M.V.: A Bridge Between Dynamic Geometry and Computer Algebra. Mathematical and Computer Modelling 37(9-10), 1005–1028 (2003)zbMATHCrossRefGoogle Scholar
  3. 3.
    Lozano, E.R.: Boosting the Geometrical Possibilities of Dynamic Geometry Systems and Computer Algebra Systems Through Cooperation. In: Borovcnik, M., Kautschitsch, H. (eds.) Technology in Mathematics Teaching. Proceedings of ICTMT– 5. öbv & hpt, Schrifrenreihe Didaktik der Mathematik, Viena, vol. 25, pp. 335–348 (2002)Google Scholar
  4. 4.
    Wang, D.: GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically. In: Hong, H., Wang, D. (eds.) ADG 2004. LNCS (LNAI), vol. 3763, pp. 92–110. Springer, Heidelberg (2006)Google Scholar
  5. 5.
    Todd, P., Cherry, G.: Symbolic analysis of planar drawings. In: Gianni, P. (ed.) Symbolic and Algebraic Computation. LNCS, vol. 358, pp. 344–355. Springer, Heidelberg (1989)Google Scholar
  6. 6.
    Todd, P.: A k-tree generalisation that characterises consistency of dimensioned engineering drawings. SIAM Journal of Discrete Mathematics 2, 255–261 (1989)zbMATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Weisstein, E.W.: ”Excircles.” From MathWorld–A Wolfram Web Resource,

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Philip Todd
    • 1
  1. 1.Saltire Software, POB 1565 Beaverton ORU.S.A.

Personalised recommendations