An Introduction to Automated Discovery in Geometry through Symbolic Computation | Publicación