On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving

  1. Botana, F.
  2. Recio, T.
Zeitschrift:
Mathematics in Computer Science

ISSN: 1661-8289,  1661-8270

Datum der Publikation: 2016

Ausgabe: 10

Nummer: 1

Seiten: 5-25

Art: Artikel

DOI: 10.1007/S11786-016-0246-4 GOOGLE SCHOLAR
Datenquelle: Scopus