Dealing with Degeneracies in Automated Theorem Proving in Geometry
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einer Fachzeitschrift
LL Nr
4000
Dis Auftri
DIS_ZEITSC_4000
Jahr
2021
Titel
Dealing with Degeneracies in Automated Theorem Proving in Geometry
Quelle
Mathematics, 9, 16, 1964, https://www.mdpi.com/2227-7390/9/16/1964
Autoren
