Zoltan Kovács,
"Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools"
: Intelligent Computer Mathematics. Conference on Intelligent Computer Mathematics, Seite(n) 1-14, 2018
Original Titel:
Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools
Sprache des Titels:
Englisch
Original Buchtitel:
Intelligent Computer Mathematics. Conference on Intelligent Computer Mathematics