Zoltan Kovács,
"Automated Reasoning Tools for Euclidean Planar Geometry in GeoGebra"
, in Tomislav Dosli? & Ema Jurkin: 20th Scientific-Professional Colloquium on Geometry and Graphics Fuzine, September 3?7, 2017, Abstracts, Seite(n) 3-4, 2017
Original Titel:
Automated Reasoning Tools for Euclidean Planar Geometry in GeoGebra
Sprache des Titels:
Englisch
Original Buchtitel:
20th Scientific-Professional Colloquium on Geometry and Graphics Fuzine, September 3?7, 2017, Abstracts
Forschungs-