|
Geometry Expressions is an interactive symbolic geometry system. Constraints such as lengths, angles, coordinates etc. may be specified symbolically. Expressions are generated for measurements such as lengths, areas, coordinates, and slopes. These expressions may be exported to Mathematica for analysis. In this presentation we focus on the use of sketch information in the geometry resolution, and on the interplay between Geometry Expressions and Mathematica.
|
|