explorer

tools for exploring geometric constructions with symbolic algebra