On automated completion of geometry statements and proofs with GeoGebra Discovery | Publicación