Proofs produced by secondary school students learning geometry in a dynamic computer environment | Publicación