APA Citation

Olšák, M. (2020). GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry. Mathematical Software – ICMS 2020.

Citação norma Chicago

Olšák, Miroslav. "GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry." Mathematical Software – ICMS 2020 2020.

MLA Citation

Olšák, Miroslav. "GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry." Mathematical Software – ICMS 2020 2020.

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.