Egy nemtriviális geometriai tétel nemtriviális számítógépes bizonyítása (Ein nichttrivialer Computerbeweis eines nichttrivialen Satzes in der Geometrie)
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einer Fachzeitschrift
LL Nr
9067
Dis Auftri
DIS_ZEITSC_9067
Jahr
2025
Titel
Egy nemtriviális geometriai tétel nemtriviális számítógépes bizonyítása (Ein nichttrivialer Computerbeweis eines nichttrivialen Satzes in der Geometrie)
Quelle
-, 27(1), 70-90, https://www.math.u-szeged.hu/polygonlap/p443.pdf
Autoren
