From informal to formal proofs in Euclidean geometry
Crossref DOI link: https://doi.org/10.1007/s10472-018-9597-7
Published Online: 2018-08-29
Published Print: 2019-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Stojanović-Ðurđević, Sana http://orcid.org/0000-0002-5386-9100
Funding for this research was provided by:
Ministarstvo Prosvete, Nauke i Tehnološkog Razvoja (174021)
Text and Data Mining valid from 2018-08-29
Article History
First Online: 29 August 2018