Højsted IH. Proof as an explanation of dynamic geometry generated conjectures – task design in a toolbox puzzle approach. NOMAD [Internet]. 2023 Dec. 1 [cited 2025 Jan. 7];28(3-4):157–176. Available from: https://tidsskrift.dk/NOMAD/article/view/149266