Todd, P. Geometry Expressions: An Interactive Constraint Based Symbolic Geometry System. Teach. Math. Comp. Sci. 2008, 6 (2), 303-310. https://doi.org/10.5485/TMCS.2008.0181.