Media type: E-Article Title: On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving Contributor: Botana, Francisco; Recio, Tomas imprint: Springer Science and Business Media LLC, 2016 Published in: Mathematics in Computer Science Language: English DOI: 10.1007/s11786-016-0246-4 ISSN: 1661-8270; 1661-8289 Origination: Footnote: