Using Automated Reasoning Tools to Explore Geometric Statements and Conjectures
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einem Sammelwerk
LL Nr
1026
Dis Auftri
DIS_SAMMEL_1026
Jahr
2019
Titel
Using Automated Reasoning Tools to Explore Geometric Statements and Conjectures
Quelle
Proof Technology in Mathematics Research and Teaching, -, Springer
Autoren
