Zoltan Kovács, Markus Hohenwarter, T. Recio,
"Using Automated Reasoning Tools to Explore Geometric Statements and Conjectures"
, in Gila Hanna, David A. Reid, and Michael de Villiers: Proof Technology in Mathematics Research and Teaching, Seite(n) 215-236, 2019
Original Titel:
Using Automated Reasoning Tools to Explore Geometric Statements and Conjectures
Sprache des Titels:
Englisch
Original Buchtitel:
Proof Technology in Mathematics Research and Teaching
Forschungs-