APA (7th ed.) Citation

Stojanović-Ðurđević, S. (2019). From informal to formal proofs in Euclidean geometry. Annals of mathematics and artificial intelligence, 85(2-4), 89-117. https://doi.org/10.1007/s10472-018-9597-7

Chicago Style (17th ed.) Citation

Stojanović-Ðurđević, Sana. "From Informal to Formal Proofs in Euclidean Geometry." Annals of Mathematics and Artificial Intelligence 85, no. 2-4 (2019): 89-117. https://doi.org/10.1007/s10472-018-9597-7.

MLA (9th ed.) Citation

Stojanović-Ðurđević, Sana. "From Informal to Formal Proofs in Euclidean Geometry." Annals of Mathematics and Artificial Intelligence, vol. 85, no. 2-4, 2019, pp. 89-117, https://doi.org/10.1007/s10472-018-9597-7.