Lu Yang Distance Coordinates Used in Geometric Constraint Solving. 216-229 https://doi.org/10.1007/978-3-540-24616-9_13 2002 conf/adg/2002 Automated Deduction in Geometry db/conf/adg/adg2002.html#Yang02