Geometric constraint solver
scientific article; zbMATH DE number 818579