On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving
- Botana, F.
- Recio, T.
ISSN: 1661-8289, 1661-8270
Année de publication: 2016
Volumen: 10
Número: 1
Pages: 5-25
Type: Article
Revue:
Mathematics in Computer Science