@article{MEM_2023_52_a11,
     author = {Bantchev, Boyko},
     title = {From construction to computation to symbolic calculation: an example in plane geometry},
     journal = {Mathematics and Education in Mathematics},
     pages = {148--153},
     publisher = {mathdoc},
     volume = {52},
     year = {2023},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MEM_2023_52_a11/}
}