Todd, Phil2022-02-142022-02-142006https://dl.gi.de/handle/20.500.12116/38158enGeometry Expressions – An Interactive Constraint Based Symbolic Geometry SystemText/Journal Article0933-5994