Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
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)
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)
Todd, P.: A k-tree generalisation that characterises consistency of dimensioned engineering drawings. SIAM Journal of Discrete Mathematics 2, 255–261 (1989)
Weisstein, E.W.: ”Excircles.” From MathWorld–A Wolfram Web Resource, http://mathworld.wolfram.com/Excircles.html
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Todd, P. (2007). Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System. In: Botana, F., Recio, T. (eds) Automated Deduction in Geometry. ADG 2006. Lecture Notes in Computer Science(), vol 4869. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77356-6_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-77356-6_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77355-9
Online ISBN: 978-3-540-77356-6
eBook Packages: Computer ScienceComputer Science (R0)